Diferencia entre revisiones de «Enlaces»

Revisión del 13:37 1 nov 2008

Automated Reasoning Group (University of Cambridge).
Head: Mike Gordon
Mathematical Reasoning Group (University of Edinburgh).
Head: Alan Bundy.
Psycotrip (Programming and Symbolic Computation Team (Universidad de la Rioja).
Head: Julio Rubio.
Theorem Proving Group (Technische Universität München)
Head: Tobias Nipkow.

Sistemas de demostración:
- ACL2.
- Otter/Mace2.
- Isabelle.
- Prover9/Mace4.
- PVS.
- Twelf.
Programación lógica:
- SWI-Prolog.
- GNU Prolog.
Programación lógica con restricciones:
- ECLIPSe.
- CHR.
Programación basada en conjuntos de respuestas:
- DLV.
- Smodels.
- Cmodels.
- clasp.
Programación funcional:
- con Haskell:
  - Hugs.
  - GHC.
- con Lisp:
  - CLISP.
  - GCL.
- con Scheme:
  - PLT Scheme (incluye DrScheme).
Programación basada en reglas de producción:
- CLIPS.
- Jess.

Claves: Fecha final de envío Fecha inicial del congreso.

@@ Línea 45: / Línea 45: @@
 Claves: <font style="background:#FFDDDD">Fecha final de envío</font> <font style="background:#DDFFDD">Fecha inicial del congreso</font>.
 * <font style="background:#FFDDDD">4-Mayo-2009</font> <font style="background:#DDFFDD">30-Oct-2009</font> [http://www.win.tue.nl/fm2009/ FM2009: 16th International Symposium on Formal Methods].
-=== Recopilaciones ===
 * [http://dream.inf.ed.ac.uk/Links/conferences.php Anuncios de congresos] del [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh).