Please note that this newsitem has been archived, and may contain outdated information or links.
27-28 June 2005, Workshop Spanish project "C@lculus"
Date: 27-28 June 2005
Workshop of the Spanish project "C@lculus" (project leader: Maria Manzano (Un. de Salamanca), ILLC associate: Dick de Jongh).
Program
| Monday June 27 (Room G 018) | |
|---|---|
| 10.30-11.15 | Theo Janssen (ILLC): Signalling in Independence Friendly Logics: A tricky business |
| 11.30-12.15 | Antonia Huertas (UOC, Barcelona): Hybrid Logics and the semantic paradigm |
| Afternoon: Tools for teaching, i.e. software for teaching logic. | |
| 14.00-14.45 | Jan van Eijck: (CWI, OTS Utrecht) A demo of Demo |
| 14.45-15.30 | Gustavo Santos (Un. de Salamanca) Solving Semantic Tableaux with Maude |
| 15.45-16.30 | Raquel Sanchez (Un. de Salamanca): Visual ITP: Automatic Theorem Prover |
| 16.30-17.15 | Jan Jaspars: (in his absence) Demo of his material on deduction systems will be demonstrated by Jan van Eijck |
| Tuesday June 28 (room G 202) | |
| 10.15-10.45 | Maria Manzano (Un. de Salamanca): Summa Logicae |
| 10.45-11.30 | Balder ten Cate (ILLC): Expressivity of second order propositional modal logic |
| 11.45-12.30 | Joost Joosten (ILLC): Interpretability and Arithmetic |
| 14.15-15.00 | Huberto Marraud, (Universidad Autónoma de Madrid): The Myth of Intuitionistic Negation |
| 15.15-16.00 | Maricarmen Martinez (ILLC) A heterogenous framework for modelling formal and content-based commonsense reasoning |
| 16.00-16.45 | Enrique Alsonso (Un. Autónoma de Madrid), New trends in theoretical computation |
| 17.15-18.15 | (in conjunction with the LOGIC TEA) Joel Hamkins (CUNY, New York), Infinite Time Turing Machines. |
For a full project description and abstracts, see https://www.illc.uva.nl/NewsandEvents/c@lculus.html.
Please note that this newsitem has been archived, and may contain outdated information or links.