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 .pdf]