Timezone: Central Daylight Time, Mexico City
Venue: Auditorio "Javier Barros Sierra" - Facultad de Ingeniería, UNAM.
Thursday, November 16th |
---|
Time | Title | Authors |
---|---|---|
09:30 - 10:00 hrs. | Opening | |
10:00 - 10:30 hrs. | Harnessing Fuzzy Logic for Ensuring Consistency in Ambiguous Instructions within IoT | Miguel Pérez Gaspar, Javier Gomez, Everardo Barcenas and Francisco García |
10:30 - 11:00 hrs. | A proof theory of converse modalities | Diego Carrillo and Everardo Barcenas |
11:00 - 11:30 hrs. | Break | |
11:30 - 12:00 hrs. | Tree-hypersequents for graded modalities | Luis Ricardo López Villafán and Everardo Bárcenas |
12:00 - 12:30 hrs. | The meta-theory for empty logics | Christian Romero-Rodriguez |
12:30 - 13:00 hrs. | Connexive logic: a case of deviance by commission | Elisángela Ramírez Cámara |
13:00 - 14:00 hrs. | Invited talk by Mauricio Osorio. A Logical approach for Artificial Intelligence (AI): a Personal Perspective | |
14:00 - 16:00 hrs. | ---------- |
Time | Title | Authors |
---|---|---|
16:00 - 16:30 hrs. | Game Semantics for the Constructive $\mu$-calculus | Leonardo Pacheco |
16:30 - 17:00 hrs. | Cut-free Sequent-caculi for Classical Logic | Bruno Da Re and Damian Szmuc |
17:00 - 17:30 hrs. | Comparing Tableaux Systems for Strong Kleene and Dunn-Belnap Logics | Isabel Grabalos, Pablo Cobreros, Joaquin Toranzo Calderon, Javier Vineta and Martina Zirattu |
Friday, November 17th |
---|
Time | Title | Authors |
---|---|---|
09:00 - 09:30 hrs. | Connexivity meets Church and Ackermann | Miguel Ángel Trejo-Huerta and Luis Estrada-González |
09:30 - 10:00 hrs. | Description Logic Verification of Smart Contracts | Rene Davila, Everardo Barcenas and Rocio Aldeco-Perez |
10:00 - 10:30 hrs. | Revisiting Strong Normalization: Towards a Conciliation Between the Formalism of the Lambda Calculus and the Diagrammatic Intuition of Natural Deduction | Eduardo Ugalde-Reyes and Favio E. Miranda-Perea |
10:30 - 11:00 hrs. | On the satisfiability of inverse modalities | Diego Medina-Martínez, Everardo Bárcenas, Rocío Aldeco-Pérez, Guillermo Molero-Castillo and Alejandro Velázquez-Mena |
11:00 - 11:30 hrs. | Break | |
11:30 - 12:00 hrs. | Genuinely non-traditional logics | Sandra D. Cuenca and Luis Estrada González |
12:00 - 12:30 hrs. | A plea for relevance | Fernando Cano-Jorge and Luis Estrada-González |
12:30 - 13:00 hrs. | Logic, Diagrams, and Modal Logic | J.-Martín Castro-Manzano |
13:00 - 14:00 hrs. | Invited talk by Rocío Aldeco. La importancia de la descentralización en la privacidad de la información | |
14:00 - 16:00 hrs. | ---------- |
Time | Title | Authors |
---|---|---|
16:00 - 16:30 hrs. | Metainferential Tableaux in the Many-valued Setting | Aylén Melisa Bavosa Castro, Agustina Borzi, Bruno Da Ré, Ariel Roffé and Joaquín Toranzo Calderón |
16:30 - 17:00 hrs. | Non-monotonic Weak Kleene Logics | Agustina Borzi and Martina Zirattu |
17:00 - 17:30 hrs. | Logics for progressive reasoning | Fernando Cano-Jorge and Luis Estrada-González |