TUESDAY - 26/09/06 [AULA SALINAS: Historical building]

10:00/18:00 - Registration [Hall of Historical building]

[The registration office will be open from 10:00 to 12:00 during the rest of the Congress days 27-28 in Fonseca building]

12:00/12:30 Welcome Session: USAL
José María Muñoz Porras. Vicerrector de Ordenación Académica
Pablo Castillo. Dean of the Faculty of Philosophy
Vidal Moreno. Department of CS
María Manzano. Coordinator.

12:30/13:15 - Plenary session.
Patrick Blakburn. Representation and Inference for Natural Language. INRIA Lorraine. France.

13:30 - Lunch.

15:30/16:30 - Web applications and Semantic Web
15:30 - Ludmila Dostalova and Jaroslav LANG. ORGANON: Web Application for Basic Logic Courses. University of West Bohemia in Pilsen. Czech Republic.
16:00 - Ana Gil. Semantic Web: Building the Logical Web. Universidad de Salamanca. Spain.

16:30 - break.

17:00/18:30 - Plenary sessions.
17:00 - Raymundo Morado. The research on the teaching of logic: Topics, disciplines, and groups. UNAM. Mexico.
17:45 - Carlos Martín Vide. Bio-Logic: Some New Operations on Words. Universidad Roviri i Virgili. Tarragona. Spain.

18:30 - Welcome Cocktail Reception. [Claustro alto. Historical building] The Congress Organisers welcome all of the participants and accompanying persons.

WEDNESDAY - 27/09/06 [Sala Menor Fonseca]

9:00/12:00 - Registration.

9:00/10:30 - Capita selecta
9:00 - Enrique German Hernandez-Manfredini. The Halting and some related Problems in TM's. Department of Mathematics, University of Aveiro, Aveiro, Portugal.
9:30 - John Baldwin. Geometry and Proof. University of Illinois at Chicago. USA.
10:00 - Miltiadis Kokkonidis. A Simple Linear First-Order Type System for Meaning Assembly. Oxford University. U.K.

10:30 - Plenary session.
Wilfried Sieg. AProS: a dynamic tutor for strategic thinking. Carnegie Mellon University. USA.

11:15 - Coffee break.

11:45/13:15 - Language, Communication and Logic
11:45 - Ioan Scheau. A key for teaching the logic issues from Ludwig Wittgenstein's "Tractatus Logico-Philosophicus". The issue of the foreword. University "1 decembrie 1918" Alba Iulia. Romania.
12:15 - Francisco Salguero. Basic Logical Tools in a First Approach to Language and Linguistics for Spanish Students. Universidad de Sevilla. Spain.
12:45 - Rita Bijlsma and Sjir Nijssen. An interdisciplinary Subject Spanning Analysis, Communication and Logic. PNA Training, Heerlen, The Netherlands.

13:30 - Lunch.

15:00/16:30 - Graphical Software for Teaching and Visualizing Logic and Reasoning
15:00 - Bertil Rolf. Logic Software for Apprenticeship in Rough Reasoning. Blekinge Institute of Technology, School of Management. Ronneby, Sweden.
15:30 - Ekaterina Ovchinnikova and Frank Richter. Morph Moulder: Graphical Software for Teaching and Visualizing Logic for HPSG and Description Logic. University of Tuebingen. Germany.
16:00 - Elena Jorge. MAFIA: Semantic tableaux resolution. Universidad de Salamanca. Spain.
16:20 - Ana de la Viuda. Modelos de Kripke. Universidad de Salamanca. Spain.

16:40 - Coffee break.

17:00/18:30 - Teaching the role of logic in Science and Humanities.
17:00 - Theo Janssen. Logic as a Language for Modeling. ILLC University of Amsterdam. The Netherlands.
17:30 - José Pedro Úbeda and José Ignacio Úbeda. Must a mathematician learn Logic? . Lógica y Filosofía de la Ciencia, Universitat de Valencia. Análisis Matemático, Universitat d'Alacant. Spain.
18:00 - Angel Nepomuceno and Fernando Soler. Logic: a bridge between sciences and humanities. University of Seville. Spain.

17/20 - Talleres [FES]

20:30 - A walk across the city.

THURSDAY - 28/09/06 [Sala Menor Fonseca]

9:00/10:30 - E-Learning Logic: Resources and Challenges.
9:00 - Antón Seoane Pardo. Tools and Methodologies applied to eLearning. Universidad de Salamanca. GRIAL Group. Spain.
9:30 - Enrique Alonso. Question-aswering for e-learning. Universidad Autónoma de Madrid. Spain.
10:00 - Antonia Huertas. Teaching and learning logic in a virtual learning environment. Experiences, challenges and opportunities. Universitat Oberta de Catalunya [UOC]. Spain.

10:30 - Plenary session.
Hans Van Ditmarsch. Logic puzzles. University of Otago. New Zeeland.

11:15 - Coffee Break.

11:45/13:15 - Teaching Logic in Philosophy: Facing some difficulties.
11:45 - Diógenes Rosales. Difficulties in teaching of logic. Universidad Católica del Perú. Lima. Perú.
12:15 - Concepción Martínez. Why is logic so 'difficult' for philosophers? An analysis of the difficulties and some prospects. Universidad de Santiago de Compostela. Spain.
12:45 - Brendan Larvor. The case for teaching syllogistic logic to philosophy students. University of Hertfordshire. U.K.

13:30 - Lunch.

15:00/16:30 - Interactive Software
15:00 - Rein Prank. Trying to cover the exercises with reasonable software. University of Tartu. Estonia.
15:30 - Josje Lodder, Johan Jeuring and Harrie Passier. An interactive tool for manipulating logical formulae. Open University. Heerlen, the Netherlands.
16:00 - AgustÌn Guijarro. Zenon. Software to learning of propositional logic. Philosophy profesor of secondary School, Gran Canaria. Spain.

16:30 - Break.

17:00/18:30 - How we teach logic.
17:00 - Miguel Angel Cruz Mavil. On students' difficulties in conclusions entailment since natural and educated abilities opposition. Universidad Autónoma de Barcelona y Universidad Veracruzana. México.
17:30 - Antonio Sarasa Cabezuelo and Rafael del Vado Vírseda. Propositional logic Learning Objects. Universidad Complutense de Madrid. Spain.
18:00 - Luis Sanchez Graillet. A Logic for Historians?: An Analysis of the Possible Roll of Logic in Historiographic Research. Posgrado en FilosofÌa de la Ciencia, UNAM. México.
18:30 - Rodolfo Ertola. Teaching Natural Deduction. UNLP. Argentina.

17/20 - Talleres [FES]

20:30 - Flamenco [Auditorio Fonseca]
Cantaora: Alba Guerrero. A la guitarra: Pedro Barragán.

FRIDAY - 29/09/06 [Sala Menor Fonseca]

9:00/10:30 - Logic Tutoring Software
9:00 - Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig and Mohamad Sahade. LoTREC: An enviroment for experiencing Kripke Semantics. IRIT. Universite Paul Sabatier. Toulouse, France.
9:30 - Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alex Summers. Pandora: Natural Deduction Made Easy. Department of Computing, Imperial College. London. U.K.
10:00 - E. H. Manfredini, M. A. Martins and J. P. Cruz. A Teachind Aid for Building Proofs in Propositional Calculus. Departamento de Matemática. Universidade de Aveiro. Portugal.

10:30 - Plenary session.
Johan van Benthem. What Should Every Student Know About Logic? Rethinking the Core Curriculum. University of Amsterdam and Stanford University. The Netherlands.

11:15 - Coffee break.

11:45/13:15 - Theorem provers with web interfaces.
11:45 - Manuel Clavel and Adrián Riesco. The Web ITP Tool: A Quick Overview. Universidad Complutense de Madrid. Spain.
12:15 - Raquel Sánchez Díaz and Belén Pérez Lancho. Visual ITP. Universidad de Salamanca. Spain.
12:30 - Fernando Soler. Easy logic: an interactive web interface to theorem provers. University of Seville. Spain.
13:00 - Minica Stefan. Implementing Alternative Explanations in Interrogative Inquiries and Dialogic Games. University of Cluj. Romania.

13:30 - Lunch.

15:00/16:00 - Satisfiability Problem Solvers and Behavioral Reasoning.
15:00 - Felip Manya. Teaching SAT Solvers and SAT Encodings to Students of Logic. IIIA, CSIC. Bellaterra. Spain.
15:30 - Manuel Antonio Goncalves Martins. Applying Abstract Algebraic Logic to Behavioral Reasoning. Universidade de Aveiro, Departamento de Matemática. Portugal.

16:00/16:30 - Anniversaries.
16:00 - Hans van Ditmarsh. 10 Years of "logic software and logic education". University of Otago. New Zealand.
16:15 - María Manzano. Summa Logicae and Azafea. Universidad de Salamanca. Spain.

16:30 - break.

17:00/18:30 - Clossing.
17:00 - Dick de Jongh. The MSc in Logic Programme at the ILLC, Amsterdam. Faculty of Science, University of Amsterdam, The Netherlands.
17:45 - Wilfrid Hodges. Logic for mathematical writing. Queen Mary College. London. U.K.

21:00 - Official Dinner.

SATURDAY - 30/09/06 [One day tryp out of town]

[the program in .