El Proyecto PLEXUS celebra su primer Summer School
Se ha celebrado del 10 al 14 de junio en el campus de la Universidad de Navarra en Pamplona
Del 10 al 14 de junio se celebró la PLEXUS Summer School en el campus de Pamplona de la Universidad de Navarra. Esta escuela ha sido organizada por el proyecto de investigación europeo PLEXUS. Philosophical, Logical, and Experimental Routes to Substructurality (MSCA Staff Exchanges 2021 (HORIZON-MSCA-2021-SE-01).
Durante los cinco días que duró el evento, se impartieron tres cursos de 10 horas de duración cada uno a cargo de Elaine Pimentel (University College London), Carlos Olarte (Université Sorbonne Paris Nord), Damián Szmuc (CONICET) y Claudia Nalon (Universidade de Brasília.
El curso de Elaine Pimentel y Carlos Olarte titulado “A tour on substructural logics and multi-modality” cubrió temas en la intersección entre la lógica y semántica modal y las lógicas subestructurales, incidiendo en la interpretación modal de los subexponentials de la lógica lineal de Girard.
Damián Szmuc impartió el curso “From substructural logics to parastructural logics”, donde explicó los resultados más recientes en torno a la semántica y teoría de la demostración de las lógicas subestructurales e invitó a la reflexión sobre la naturaleza del fallo de las reglas estructurales y su interpretación filosófica.
El curso de Claudia Nalon, titulado “Automation of Logics”, expuso un recorrido histórico de las ideas fundamentales en torno a la computación y a la construcción de demostradores de teoremas para terminar con una introducción efectiva a Prolog en la que se explicó cómo programar un demostrador basado en tableaux.
Además, con una bolsa de viaje concedida por el proyecto, cinco estudiantes de doctorado de distintas universidades europeas asistieron a esta escuela y presentaron sus investigaciones doctorales: Antonio Mesquita (Universidad Autónoma de Madrid), Sophie Nagler (University of St Andrews), Bas Kortenbach (Università di Pisa), Martina Zirattu (Università di Torino) y Quentin Blomet (ENS / Université de Greifswald). Junto con ellos, tuvieron ocasión de asistir dos estudiantes de doctorado de la Universidad de Navarra, Xavier Viñeta e Isabel Grábalos; un graduado de la Universidad de Navarra, Alberto Villagrana; y una estudiante de doctorado de CONICET (Argentina), Agustina Borzi, en el marco de su estancia de investigación en la Universidad de Navarra, dentro del proyecto PLEXUS.