Timezone: Central Daylight Time, Mexico City
Venue: Instituto de Investigaciones en Humanidades - UABJO.
| Friday, September 6th |
|---|
| Time | Title | Authors |
|---|---|---|
| 09:50 - 10:00 hrs. | Opening | |
| 10:00 - 10:30 hrs. | The uncomputable life and lambda-Calculus: a case for the Philosophy of Computing | Enrique F. Soto-Astorga and Karla Ramírez-Pulido |
| 10:30 - 11:00 hrs. | Descanso | |
| 11:00 - 11:30 hrs. | Tutorial WCP7 | |
| 11:30 - 12:00 hrs. | Coffee Break | |
| 12:00 - 12:30 hrs. | Deliberative Semantics for a Term Logic Tableaux | J.-Martín Castro-Manzano |
| 12:30 - 13:00 hrs. | A new proof of Adequacy theorem for a 3-valued logic without deduction-theorem: propositional and quantified cases | Juan Manuel Ramírez-Contreras, Miguel Peréz-Gaspar, Juan Sebastián Slagter and Aldo Figallo Orellano |
| 13:00 - 13:30 hrs. | Tutorial WCP7 | |
| 13:30 - 14:00 hrs. | Tutorial WCP7 | |
| 14:00 - 16:00 hrs. | Lunch | |
| 16:00 - 16:30 hrs. | Cut elimination for provability logic. An unmechanized proof | Ricardo Jaimes-Urbán and Favio E. Miranda-Perea |
| 16:30 - 17:00 hrs. | Formal approach in Smart Contracts | Rene Davila, Everardo Barcenas and Rocio Aldeco-Perez |
| 17:00 - 18:00 hrs. | Tutorial WCP7 | |
| Saturday, September 7th |
|---|
| Time | Title | Authors |
|---|---|---|
| 10:00 - 10:30 hrs. | Genuinely non-traditional logics | Sandra D. Cuenca |
| 10:30 - 11:30 hrs. | What is a Logic? | Eduardo Barrio |
| 12:00 - 12:30 hrs. | Pattern Models and Action Models are Incomparable in Update Expressivity | Armando Castañeda Rojano, Hans van Ditmarsch, David A. Rosenblueth and Diego A. Velázquez |
| 12:30 - 13:00 hrs. | Program synthesis through the Gentzen calculus of modal logics | Luis Ricardo López Villafán and Ismael Everardo Bárcenas Patiño |
| 13:00 - 13:30 hrs. | A conciliatory short proof of strong normalization for permutative conversions in natural deduction | Eduardo Ugalde-Reyes and Favio E. Miranda-Perea |
| 13:30 - 14:00 hrs. | Verification of Smart Contracts Based on Natural Language with Description Logic | Gabriel Alejandro May Lozano and Ismael Everardo Bárcenas Patiño |