Diferencia entre revisiones de «Enlaces»
(→Enlaces a grupos de investigación) |
(→Enlaces a grupos de investigación) |
||
| Línea 1: | Línea 1: | ||
== Enlaces a grupos de investigación == | == Enlaces a grupos de investigación == | ||
| − | * [http://www.cl.cam.ac.uk/research/hvg/ Automated Reasoning Group] (University of Cambridge). | + | * [http://www.cl.cam.ac.uk/research/hvg/ Automated Reasoning Group] (University of Cambridge, Inglaterra). |
*: Head: [http://www.cl.cam.ac.uk/~mjcg/ Mike Gordon] | *: Head: [http://www.cl.cam.ac.uk/~mjcg/ Mike Gordon] | ||
| + | * [http://www.cs.utexas.edu/users/moore/atp Automatic Theorem Proving Research Group] (University of Texas at Austin, USA). | ||
| + | *: Head: [http://www.cs.utexas.edu/users/moore/ J Strother Moore] | ||
* [http://complogic.cs.mcgill.ca Computation and Logic Group] (McGill University, Canadá). | * [http://complogic.cs.mcgill.ca Computation and Logic Group] (McGill University, Canadá). | ||
*: Head: [http://www.cs.mcgill.ca/~bpientka/ Brigitte Pientka] | *: Head: [http://www.cs.mcgill.ca/~bpientka/ Brigitte Pientka] | ||
| − | * [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh). | + | * [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh, Escocia). |
*: Head: [http://homepages.inf.ed.ac.uk/bundy/ Alan Bundy]. | *: Head: [http://homepages.inf.ed.ac.uk/bundy/ Alan Bundy]. | ||
| − | * [http://www.unirioja.es/dptos/dmc/psycotrip/ Psycotrip (Programming and Symbolic Computation Team] (Universidad de la Rioja). | + | * [http://www.unirioja.es/dptos/dmc/psycotrip/ Psycotrip (Programming and Symbolic Computation Team] (Universidad de la Rioja, España). |
*: Head: Julio Rubio. | *: Head: Julio Rubio. | ||
| − | * [http://www4.informatik.tu-muenchen.de/proj/theoremprov/group.html Theorem Proving Group] (Technische Universität München) | + | * [http://www4.informatik.tu-muenchen.de/proj/theoremprov/group.html Theorem Proving Group] (Technische Universität München, Alemania) |
*: Head: [http://www4.in.tum.de/~nipkow/ Tobias Nipkow]. | *: Head: [http://www4.in.tum.de/~nipkow/ Tobias Nipkow]. | ||
Revisión del 14:13 1 nov 2008
Sumario
Enlaces a grupos de investigación
- Automated Reasoning Group (University of Cambridge, Inglaterra).
- Head: Mike Gordon
- Automatic Theorem Proving Research Group (University of Texas at Austin, USA).
- Head: J Strother Moore
- Computation and Logic Group (McGill University, Canadá).
- Head: Brigitte Pientka
- Mathematical Reasoning Group (University of Edinburgh, Escocia).
- Head: Alan Bundy.
- Psycotrip (Programming and Symbolic Computation Team (Universidad de la Rioja, España).
- Head: Julio Rubio.
- Theorem Proving Group (Technische Universität München, Alemania)
- 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).
