Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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 http://www.illc.uva.nl/NewsandEvents/c@lculus.html.

Please note that this newsitem has been archived, and may contain outdated information or links.