BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260929T042221Z
DTSTART;TZID=America/Mexico_City:20240902T090000
DTEND;TZID=America/Mexico_City:20240907T170000
SUMMARY:7th World Congress of Paraconsistency
UID:20260929T214447Z-iCalPlugin-Grails@fe80:0:0:0:c469:93ff:feda:b6b0%3
TZID:America/Mexico_City
LOCATION:Av. de la Independencia 901\, RUTA INDEPENDENCIA\, Centro\, 68000 Oaxaca de Juárez\, Oax.\, Oaxaca de Juárez\, Mexico\, 68000
DESCRIPTION:<p>Paraconsistent logic is a family of theories on what can be logically concluded from contradictions\, different from the family of theories according to which contradictions entail everything. By touching on core areas of theoretical inquiry\, such as truth\, falsity\, logicality\, negation\, or rationality\, paraconsistent logic has opened new research directions in philosophy\, science\, and technology.</p>\n<p>Within the tradition of previous world congresses on paraconsistency\,&nbsp\;WCP7&nbsp\;aims to show the importance of paraconsistent logic\, its connection with other knowledge domains\, and the variety of approaches to the topic.</p>\n<p><strong>Keynote speakers</strong></p>\n<ul>\n<li><strong>Eduardo Barri</strong>o\, Universidad de Buenos Aires</li>\n<li><strong>Diderik Batens</strong>\,&nbsp\;Ghent University |&nbsp\;<em>Batens Symposium</em></li>\n<li><strong>Ver&oacute\;nica Borja Mac&iacute\;as\,</strong>&nbsp\;Universidad Tecnol&oacute\;gica de la Mixteca</li>\n<li><strong>Katalin Bimb&oacute\;</strong>\, University of Alberta</li>\n<li><strong>Elena Ficara</strong>\, Universit&auml\;t Paderborn</li>\n<li><strong>David Gayt&aacute\;n</strong>\, Universidad Aut&oacute\;noma de la Ciudad de M&eacute\;xico</li>\n<li><strong>Jo&atilde\;o Marcos</strong>\,&nbsp\; Universidade Federal de Santa Catarina</li>\n</ul>\n<p><strong>Tutorials</strong></p>\n<ul>\n<li>&ldquo\;Symbolization of contradiction&rdquo\;\,&nbsp\;<strong>Jean-Yves B&eacute\;ziau</strong>&nbsp\;and&nbsp\;<strong>Caroline Pires Ting</strong></li>\n<li>TBA\,&nbsp\;<strong>Bryson Brown</strong></li>\n<li>&ldquo\;Recent work on paraconsistent logic&rdquo\;\,&nbsp\;<strong>Luis Estrada-Gonz&aacute\;lez</strong>&nbsp\;</li>\n</ul>\n<p><strong>Venue</strong></p>\n<p>The Seventh World Congress of Paraconsistency will take place at the&nbsp\;Universidad Benito Ju&aacute\;rez de Oaxaca&nbsp\;(Oaxaca\, Mexico).</p>\n<p>We welcome contributions on the different aspects of paraconsistency. Topics include but are not limited to the following:</p>\n<ul>\n<li>\n<p>Particular systems of paraconsistent logic</p>\n</li>\n<li>\n<p>&nbsp\;General tools and frameworks for paraconsistent systems</p>\n</li>\n<li>\n<p>&nbsp\;Interactions of paraconsistent logic with other logics</p>\n</li>\n<li>\n<p>&nbsp\;Philosophical issues in paraconsistency</p>\n</li>\n<li>\n<p>Applications of paraconsistent logic</p>\n</li>\n<li>\n<p>&nbsp\;History of paraconsistent logic</p>\n</li>\n<li>\n<p>Paraconsistency and computation.</p>\n</li>\n</ul>\n<p>There will also be a half-day symposium within WCP7 celebrating the 80 years of Diderik Batens. Any submission on the scope of Diderik's wide interests (adaptive logics\, rationality\, problem-solving processes\, defeasible reasoning\, logical dynamics\, set theory\, proper semantics\, etc.) is most welcome.</p>\n<p>Submissions should be anonymized 300- to 700-word abstracts and be sent to&nbsp\;submissions7wcp@gmail.com\, indicating clearly in case it is intended for the Batens' symposium.&nbsp\;Contact details\, including paper title\, affiliation\, and email address\, should be submitted as a separate PDF.</p>\n<p>All submissions will be anonymously refereed.&nbsp\;</p>\n<p>Some contributions may be accepted for presentation in a poster session.</p>\n<p>Important dates</p>\n<p>EXTENDED Submission deadline: April 1\, 2024!</p>
ORGANIZER;CN="María del Rosario Martínez-Ordaz";CN="Luis Estrada-González";CN="Débora Vásquez":
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR