Diferencia entre revisiones de «Enlaces»
(→Congresos) |
(→Congresos) |
||
| Línea 43: | Línea 43: | ||
== Enlaces a congresos == | == Enlaces a congresos == | ||
=== Congresos === | === Congresos === | ||
| − | * <font style="background: | + | * <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 === | === Recopilaciones === | ||
Revisión del 13:34 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).
