Diferencia entre revisiones de «Enlaces»
(→Enlaces a congresos) |
(→Enlaces a congresos) |
||
| Línea 64: | Línea 64: | ||
* {{congreso|26-Ene-09|07-Jul-09|[http://www.aarinc.org/Newsletters/082-2008-11.html TABLEAUX 2009, Automated Reasoning with Analytic Tableaux and Related Methods]|Oslo, Noruega}} | * {{congreso|26-Ene-09|07-Jul-09|[http://www.aarinc.org/Newsletters/082-2008-11.html TABLEAUX 2009, Automated Reasoning with Analytic Tableaux and Related Methods]|Oslo, Noruega}} | ||
* {{congreso|30-Ene-09|06-Abr-09|[http://ti.arc.nasa.gov/event/nfm09/ NFM 2009: The First NASA Formal Methods Symposium]|Moffett Field, California, USA}} | * {{congreso|30-Ene-09|06-Abr-09|[http://ti.arc.nasa.gov/event/nfm09/ NFM 2009: The First NASA Formal Methods Symposium]|Moffett Field, California, USA}} | ||
| + | * {{congreso|02-Feb-09|13-Jul-09|[http://www.promoteresearch.org/ The 2009 multi-conference (MULTICONF-09) in computer science, information technology, computer engineering, computational science, control and automation technology]|Orlando, FL, USA}} | ||
* {{congreso|02-Feb-09|17-Jul-08|[http://www.risc.uni-linz.ac.at/about/conferences/wwv09/ WWV09: 5th Int'l Workshop on Automated Specification and Verification of Web]|Castle of Hagenberg, Austria}} | * {{congreso|02-Feb-09|17-Jul-08|[http://www.risc.uni-linz.ac.at/about/conferences/wwv09/ WWV09: 5th Int'l Workshop on Automated Specification and Verification of Web]|Castle of Hagenberg, Austria}} | ||
* {{congreso|16-Feb-09|02-Ago-09|[http://complogic.cs.mcgill.ca/cade22 CADE 22: 22nd International Conference on Automated Deduction]|Montreal, Canadá}} | * {{congreso|16-Feb-09|02-Ago-09|[http://complogic.cs.mcgill.ca/cade22 CADE 22: 22nd International Conference on Automated Deduction]|Montreal, Canadá}} | ||
| Línea 72: | Línea 73: | ||
* {{congreso|26-Abr-09|16-Sep-09|[http://frocos09.disi.unitn.it/ FroCoS 2009: 7th International Symposium on Frontiers of Combining Systems]|Trento, Italy}} | * {{congreso|26-Abr-09|16-Sep-09|[http://frocos09.disi.unitn.it/ FroCoS 2009: 7th International Symposium on Frontiers of Combining Systems]|Trento, Italy}} | ||
* {{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}} | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
=== Otras listas de congresos === | === Otras listas de congresos === | ||
Revisión del 18:43 7 dic 2008
Sumario
Enlaces a grupos de investigación
- Automated Reasoning Group (University of Cambridge, Inglaterra).
- Miembros destacados: Mike Gordon
- Automatic Theorem Proving Research Group (University of Texas at Austin, USA).
- Miembros destacados: J Strother Moore
- Cambridge Isabelle group
- Miembros destacados: Larry Paulson.
- Computation and Logic Group (McGill University, Canadá).
- Miembros destacados: Brigitte Pientka
- Foundations Group (Radboud Universiteit Nijmegen, Holanda).
- Miembros destacados: Henk Barendregt y Freek Wiedijk.
- Mathematical Reasoning Group (University of Edinburgh, Escocia).
- Miembros destacados: Alan Bundy.
- Psycotrip (Programming and Symbolic Computation Team (Universidad de la Rioja, España).
- Miembros destacados: Julio Rubio.
- Theorem Proving Group (Technische Universität München, Alemania)
- Miembros destacados: 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 asociaciones
Enlaces a congresos
Claves: Fecha final de envío Fecha inicial del congreso.
Ordenación: Los congresos están ordenados por fecha final de envío.
- 05-Oct-08 22-Nov-08 LPAR 2008: International Conferences on Logic for Programming, Artificial Intelligence and Reasoning. Doha, Qatar.
- 15-Dic-08 06-Jul-09 CICM 2009: Conferences on Intelligent Computer Mathematics. Grand Bend, Ontario Canada.
- 12-Ene-09 11-May-09 ACL2 2009: Eighth International Workshop On The ACL2 Theorem Prover and Its Applications. Boston, USA.
- 17-Ene-09 28-Jul-2009 ISSAC 2009: International Symposium on Symbolic and Algebraic Computation. Seoul, Korea.
- 26-Ene-09 07-Jul-09 TABLEAUX 2009, Automated Reasoning with Analytic Tableaux and Related Methods. Oslo, Noruega.
- 30-Ene-09 06-Abr-09 NFM 2009: The First NASA Formal Methods Symposium. Moffett Field, California, USA.
- 02-Feb-09 13-Jul-09 The 2009 multi-conference (MULTICONF-09) in computer science, information technology, computer engineering, computational science, control and automation technology. Orlando, FL, USA.
- 02-Feb-09 17-Jul-08 WWV09: 5th Int'l Workshop on Automated Specification and Verification of Web. Castle of Hagenberg, Austria.
- 16-Feb-09 02-Ago-09 CADE 22: 22nd International Conference on Automated Deduction. Montreal, Canadá.
- 20-Feb-09 30-Jun-09 SAT 2009: Twelfth International Conference on Theory and Applications of Satisfiability Testing. Swansea, Wales, United Kingdom.
- 08-Mar-09 17-Ago-09 TPHOLs 2009: 22st International Conference on Theorem Proving in Higher Order Logics. Munich, Alemania.
- 31-Mar-09 01-Jul-09 EDM'09: Second International Conference on Educational Data Mining. Córdoba, España.
- 03-Abr-09 28-Jun-09 LSFA'09: Fourth Workshop on Logical and Semantic Frameworks, with Applications. Brasília, Brazil.
- 26-Abr-09 16-Sep-09 FroCoS 2009: 7th International Symposium on Frontiers of Combining Systems. Trento, Italy.
- 04-May-09 30-Oct-09 FM2009: 16th International Symposium on Formal Methods. Eindhoven, Holanda.
Otras listas de congresos
- Anuncios de congresos del Mathematical Reasoning Group (University of Edinburgh).
- Índices de impacto:
