Diferencia entre revisiones de «Enlaces»
(→Enlaces a congresos) |
(→Enlaces a congresos) |
||
| Línea 44: | Línea 44: | ||
Claves: <font style="background:#FFDDDD">Fecha final de envío</font> <font style="background:#DDFFDD">Fecha inicial del congreso</font>. | Claves: <font style="background:#FFDDDD">Fecha final de envío</font> <font style="background:#DDFFDD">Fecha inicial del congreso</font>. | ||
* {{congreso|12-Ene-09|11-May-09|[http://www.cs.utexas.edu/~sandip/acl2-09/ ACL2 2009: Eighth International Workshop On The ACL2 Theorem Prover and Its Applications]|Boston, USA}} | * {{congreso|12-Ene-09|11-May-09|[http://www.cs.utexas.edu/~sandip/acl2-09/ ACL2 2009: Eighth International Workshop On The ACL2 Theorem Prover and Its Applications]|Boston, USA}} | ||
| + | * {{congreso|16-Feb-09|02-Ago-09|[http://complogic.cs.mcgill.ca/cade22 CADE 22: 22nd International Conference on Automated Deduction]|Montreal, Canadá}} | ||
* {{congreso|08-Mar-09|17-Ago-09|[http://tphols.in.tum.de TPHOLs 2009: 22st International Conference on Theorem Proving in Higher Order Logics]|Munich, Alemania}} | * {{congreso|08-Mar-09|17-Ago-09|[http://tphols.in.tum.de TPHOLs 2009: 22st International Conference on Theorem Proving in Higher Order Logics]|Munich, Alemania}} | ||
* {{congreso|04-May-09|30-Oct-09|[http://www.win.tue.nl/fm2009/ FM2009: 16th International Symposium on Formal Methods]|Eindhoven, Holanda}} | * {{congreso|04-May-09|30-Oct-09|[http://www.win.tue.nl/fm2009/ FM2009: 16th International Symposium on Formal Methods]|Eindhoven, Holanda}} | ||
Revisión del 13:59 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
Claves: Fecha final de envío Fecha inicial del congreso.
- 12-Ene-09 11-May-09 ACL2 2009: Eighth International Workshop On The ACL2 Theorem Prover and Its Applications. Boston, USA.
- 16-Feb-09 02-Ago-09 CADE 22: 22nd International Conference on Automated Deduction. Montreal, Canadá.
- 08-Mar-09 17-Ago-09 TPHOLs 2009: 22st International Conference on Theorem Proving in Higher Order Logics. Munich, Alemania.
- 04-May-09 30-Oct-09 FM2009: 16th International Symposium on Formal Methods. Eindhoven, Holanda.
- Anuncios de congresos del Mathematical Reasoning Group (University of Edinburgh).
