Diferencia entre revisiones de «Enlaces»
(→Congresos) |
|||
| Línea 43: | Línea 43: | ||
== Enlaces a congresos == | == Enlaces a congresos == | ||
=== Congresos === | === Congresos === | ||
| + | * 4-Mayo-2009 30-Oct-2009 [http://www.win.tue.nl/fm2009/ FM2009: 16th International Symposium on Formal Methods]. | ||
=== Recopilaciones === | === Recopilaciones === | ||
Revisión del 13:24 1 nov 2008
Sumario
Enlaces a grupos de investigación
- 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.
Enlaces a sistemas
- Sistemas de demostración:
- ACL2.
- Otter/Mace2.
- Isabelle.
- Prover9/Mace4.
- PVS.
- Twelf.
- Programación lógica:
- Programación lógica con restricciones:
- Programación basada en conjuntos de respuestas:
- Programación funcional:
- Programación basada en reglas de producción:
Enlaces a congresos
Congresos
- 4-Mayo-2009 30-Oct-2009 FM2009: 16th International Symposium on Formal Methods.
Recopilaciones
- Anuncios de congresos del Mathematical Reasoning Group (University of Edinburgh).
