| 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 / 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 / Quantum_Computing / People |
| Title: | DÃaz-Caro, Alejandro |
| Description: | PhD Student at Laboratoire d'Informatique de Grenoble, Université de Grenoble, France. |
| Location: | http://membres-liglab.imag.fr/diazcaro/ |
| |
|
| | |
| 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. [English and French] |
| 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/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Z |
| Title: | RoZ |
| Description: | Named after Rosetta stone. Gives formal Z specification from annotated UML diagram, integrates data specification in UML with formal annotation in Z, Object-Z. Descriptions, downloads, documents, list of papers, links. |
| Location: | http://www-lsr.imag.fr/Les.Groupes/pfl/RoZ/ |
| |
|
| | |
