|
|
|
|
Welcome Guest! Login/Join |
| Directory: | Business / Management / Management_Science / Management_Information_Systems / Call_For_Papers / Past / 2001 |
| Title: | ETAPS 2002 -- European Joint Conferences on Theory and Practice of Software |
| Description: | Grenoble, France, 25 March - 2 April 2002. Submission deadline: 19 October 2001. |
| Location: | http://www-etaps.imag.fr/Dates/dates.html |
| |
|
| | |
| Directory: | Business / Management / Management_Science / Management_Information_Systems / Conferences / Past / 2002 |
| Title: | ETAPS 2002 -- European Joint Conferences on Theory and Practice of Software |
| Description: | Grenoble, France, 25 March - 2 April 2002. |
| Location: | http://www-etaps.imag.fr/ |
| |
|
| | |
| Directory: | Computers / Artificial_Intelligence / Belief_Networks |
| Title: | LAPLACE Group - Bayesian Models for Perception, Inference and Action |
| Description: | Probabilistic reasoning and genetic algorithms for perception, inference and action: Bayesian cognitive and brain models, software for robotics, probabilistic inference engine |
| Location: | http://www-laplace.imag.fr |
| |
|
| | |
| Directory: | Computers / Artificial_Intelligence / Conferences_and_Events / Past_Conferences_and_Events |
| Title: | Modelling Autonomous Agents in a Multi Agent World (MAAMAW) |
| Description: | 2001, May 2-4, Annecy, France. European workshop on multi-agent systems. |
| Location: | http://www-leibniz.imag.fr/MAAMAW2001/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / Theoretical / People / Students |
| Title: | Christos Sofronis |
| Description: | PhD student in the University Joseph Fourier in Grenoble, France. |
| Location: | http://www-verimag.imag.fr/~sofronis/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Logic-based / Functional_Logic |
| Title: | LPG |
| Description: | Generic functional logic language: functions defined by conditional rewrite rules, predicates defined by Horn clauses whose bodies may contain equations, disequations, or classical atomic formulae. Extant version uses extension of SLD-resolution merged with innermost narrowing. |
| Location: | ftp://ftp.imag.fr/pub/labo-LSR/SCOP/LPG/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Multiparadigm |
| Title: | Multiparadigm Programming Group |
| Description: | At Leibniz Laboratory, Grenoble, France; research topics, news, publications, members. In English and Français. |
| Location: | http://www-leibniz.imag.fr/PMP/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Synchronous |
| Title: | The Synchronous Group |
| Description: | Researches synchronous languages and reactive systems, team at Verimag laboratory, University of Grenoble, France. Presentation, people, research topics, language design, publications, tools. |
| Location: | http://www-verimag.imag.fr/SYNCHRONE/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Synchronous |
| Title: | Lustre |
| Description: | Declarative synchronous language, kernel language of SCADE (was SAO+/SAGA) industrial environment developed by Esterel Technologies; a description is a set of equations that must be verified always by program variables. [Verimag] |
| Location: | http://www-verimag.imag.fr/SYNCHRONE/index.php?page=lang-design |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Z |
| Title: | ZB2002 |
| Description: | The 2nd International Z and B Conference, Grenoble, France, 23-25 January 2002. The 13th International Z User Meeting, The 4th International Conference on the B Method. Proceedings, Tutorials and Education Session, RCS'02 Workshop. |
| Location: | http://www-lsr.imag.fr/zb2002/ |
| |
|
| | |