BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260429T050058Z
DTSTART;TZID=America/Los_Angeles:20260415T090000
DTEND;TZID=America/Los_Angeles:20260416T170000
SUMMARY:Chapman - SNS Workshop on Logic and Philosophy of Mathematics
UID:20260429T231727Z-iCalPlugin-Grails@philevents-web-6b96c54f56-bljdq
TZID:America/Los_Angeles
LOCATION:Daniele C. Struppa Research Park\, 540 N Lemon Street\, Orange\, United States
DESCRIPTION:<p>This workshop will bring together graduate students and researchers affiliated to Chapman University and the Scuola Normale Superiore di Pisa\, and working in logic and philosophy of mathematics broadly construed.</p>\n<p><strong>Organizers</strong>: Guillaume Massas (Chapman University)\, Marco Panza (Chapman University)\, Mario Piazza (SNS Pisa) and Matteo Tesi (SNS Pisa).</p>\n<p><strong>Schedule</strong>: 9am to 6:30pm on April 15\, 9:30-11am and 4-6:45pm on April 16.</p>\n<p><strong>Zoom link</strong>:&nbsp\;https://chapman.zoom.us/j/95233162579 password: Logic!</p>\n<p><strong>Speakers</strong>:&nbsp\;</p>\n<p><u>Wednesday\, April 15</u></p>\n<p>9:00-9:45: Pedro del Valle Incl&aacute\;n (Institute Vienna Circle) --&nbsp\;<em>Structural Rules and the Meaning of Logical&nbsp\;</em><em>Connectives</em></p>\n<p>9:45-10:30: Bas Kortenbach (SNS Pisa) --&nbsp\;<em>A New Framework for Metainferential Logic</em></p>\n<p>11:00-11:45: Andrea Sabatini (SNS Pisa) --&nbsp\;<em>Profile-Sensitive Consequence</em></p>\n<p>11:45-12:30: Thomas Sachen (SNS Pisa) --&nbsp\;<em>Domain-Dependent Proof Identity:&nbsp\;</em><em>the Infinitude of Primes in the Profinite Integers</em></p>\n<p><em><br></em></p>\n<p>2:00-2:45: James Francese (Chapman University) --&nbsp\;<em>An Amorphous Continuum: Algorithmic Randomness and the Formal Ground of Motion</em></p>\n<p>2:45-4:00: Jos&eacute\; Gil-Ferez (Chapman University) --&nbsp\;<em>Formalizing Euclid&rsquo\;s Deductive Arguments</em></p>\n<p>4:30-5:15: Ana Bel&eacute\;n Avilez Garc&iacute\;a (Chapman University) --&nbsp\;<em>Perfectly Regular Frames</em></p>\n<p>5:15-6:30: Matteo Tesi (SNS Pisa) --&nbsp\;<em>Intuitionistic Logic\, Cycles\, and Provability Interpretation</em></p>\n<p><em><br></em></p>\n<p><u>Thursday\, April 16</u></p>\n<p>9:30-10:15: Pietro Vigiani (Ghent University) --&nbsp\;<em>Dunn-Style Completeness of Modal RM and some Cousins</em></p>\n<p>10:15-11:00: Miguel Trejo Huerta (Chapman University) --&nbsp\;<em>Stone Duality\, Stably Compact Spaces\, and&nbsp\;</em><em>MLS</em></p>\n<p><em><br></em></p>\n<p>4:15-5:30: Francesca Poggiolesi (CNRS) --&nbsp\;<em>Explaining with Reasons:&nbsp\;</em><em>from Aristotle to Machine Learning Classifiers</em></p>\n<p>5:30-6:45: Brice Halimi (Universit&eacute\; Paris-Cit&eacute\;) --&nbsp\;<em>Abstracting away from Abstraction Principles</em></p>
ORGANIZER;CN=Guillaume Massas:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR