{"id":580,"date":"2023-02-13T10:33:59","date_gmt":"2023-02-13T10:33:59","guid":{"rendered":"https:\/\/sites.unimi.it\/brio\/?p=580"},"modified":"2023-02-13T10:33:59","modified_gmt":"2023-02-13T10:33:59","slug":"logic-colloquium-2023","status":"publish","type":"post","link":"https:\/\/sites.unimi.it\/brio\/logic-colloquium-2023\/","title":{"rendered":"LOGIC COLLOQUIUM 2023"},"content":{"rendered":"\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"has-text-align-center wp-block-heading\">European Summer Meeting of the Association for Symbolic Logic<\/h2>\n\n\n\n<p class=\"has-text-align-center wp-block-paragraph\">University of Milan, Italy<br>5 June &#8211; 9 June 2023<\/p>\n\n\n\n<p class=\"has-text-align-center wp-block-paragraph\">Meeting website:<br>https:\/\/lc2023.unimi.it<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">GENERAL INFORMATION<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">LOGIC COLLOQUIUM is the European Summer Meeting of the Association for Symbolic Logic (ASL) &#8211; https:\/\/aslonline.org &#8211; an international organization supporting research and critical studies in logic. LOGIC COLLOQUIUM is a venue for all researchers working in logic from computer science, mathematics, and philosophy.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Previous recent editions of LOGIC COLLOQUIUM have taken place in Reykjavik (Iceland) 2022, Pozna\u0144 (Poland) 2021, Prague (Czech Republic) 2019, Udine (Italy) 2018, and Stockholm (Sweden) 2017.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">IMPORTANT DATES<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Deadline for Abstract Submission and Student Travel Grants: 1st of March<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Notifications of Abstract Acceptance: 3rd of April<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Decision on Travel Grants: 5th of April<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Deadline for Early Registration: 1st of May<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Registration Closing: 15th of May<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Start of the Conference: 5th of June<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">End of the Conference: 9th of June<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">CALL FOR PAPERS<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">The deadline for contributed talk submissions and for student travel grants applications is March 1, 2023.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">CONTRIBUTED TALKS<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Abstracts for contributed talks should conform to the Rules for Abstracts of the ASL, and should be submitted via EasyChair:<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/easychair.org\/conferences\/?conf=lc20230\">https:\/\/easychair.org\/conferences\/?conf=lc20230<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Online contributed talks will be facilitated in case of necessity, although we of course encourage you to come to Milan to meet the community.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Topics of interest include:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Set Theory<\/li>\n\n\n\n<li>Proof Theory<\/li>\n\n\n\n<li>Model Theory<\/li>\n\n\n\n<li>Computability Theory<\/li>\n\n\n\n<li>Philosophical Logic<\/li>\n\n\n\n<li>Logic in Computer Science<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">STUDENT TRAVEL GRANTS<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">To be considered for a travel award, please<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>send a letter of application, and<\/li>\n\n\n\n<li>ask your thesis supervisor to send a brief recommendation letter.<\/li>\n<\/ol>\n\n\n\n<p class=\"wp-block-paragraph\">Your application letter should be brief (preferably one page) and should include:<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>your name;<\/li>\n\n\n\n<li>your home institution;<\/li>\n\n\n\n<li>your thesis supervisor\u2019s name;<\/li>\n\n\n\n<li>a one-paragraph description of your studies and work in logic, and a paragraph indicating why<br>it is important to attend the meeting;<\/li>\n\n\n\n<li>your estimate of the travel expenses you will incur;<\/li>\n\n\n\n<li>(for citizens or residents of the USA) citizenship or visa status; and<\/li>\n\n\n\n<li>(voluntary) indication of your gender and minority status. Women and members of minority groups are strongly encouraged to apply.<\/li>\n<\/ol>\n\n\n\n<p class=\"wp-block-paragraph\">Travel grant applications are accepted from students and also from recent Ph.D. recipients, until the deadline of March 1, 2023, and ASL membership is not required.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Applications should be submitted via email to asl@uconn.edu or to the ASL Business Office:<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">ASL, Dept. of Mathematics,<br>Univ. of Connecticut,<br>341 Mansfield Road,<br>U-1009, Storrs, CT 06269-1009, USA.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Decisions will be communicated at least two months prior to the meeting.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">INVITED SPEAKERS<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Gal Binyamini (Weizmann Institute of Science, Israel)<\/li>\n\n\n\n<li>Igor Carboni Oliveira (Department of Computer Science, University of Warwick, UK)<\/li>\n\n\n\n<li>Johanna Franklin (Department of Mathematics, Hofstra University, USA)<\/li>\n\n\n\n<li>Nicola Gambino (Department of Mathematics, University of Manchester, UK)<\/li>\n\n\n\n<li>Gabriel Goldberg (Mathematics, UC Berkeley, USA)<\/li>\n\n\n\n<li>Martino Lupini (Department of Mathematics, University of Bologna, Italy)<\/li>\n\n\n\n<li>Francesca Poggiolesi (Universit\u00e9 Paris 1 Panth\u00e9on-Sorbonne, CNRS, Institut d\u2019Histoire et de Philosophie des Sciences et des Techniques, France)<\/li>\n\n\n\n<li>Viorica Sofronie-Stokkermans (Institut f\u00fcr Informatik, University Koblenz-Landau, Germany)<\/li>\n\n\n\n<li>Zolt\u00e1n Vidny\u00e1nszky (Institute of Mathematics, Eotvos University, Hungary)<\/li>\n<\/ul>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">TUTORIALS<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Floris van Doorn (Mathematics Department, Universit\u00e9 Paris-Saclay)<\/li>\n\n\n\n<li>Itay Kaplan (Einstein Institute of Mathematics, Hebrew University of Jerusalem, Israel)<\/li>\n<\/ul>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">SPECIAL SESSIONS<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Model Theory (organized by J. Freitag and M. Hils)<\/li>\n\n\n\n<li>Logic and Computation (organized by S. Buss and L. Ko\u0142odziejczyk)<\/li>\n\n\n\n<li>Set Theory (organized by S. M\u00fcller and O. Ben-Neria)<\/li>\n\n\n\n<li>Logic and Philosophy (organized by L. Crosilla and A. M. Klev)<\/li>\n\n\n\n<li>Computability (organized by K. Lange and V. Brattka)<\/li>\n\n\n\n<li>Applied Proof Theory (organized by T. Powell and B. Dinis)<\/li>\n<\/ul>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">PROGRAM COMMITTEE<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Contributed papers will be selected from the received submissions by the following program committee:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Matthias Aschenbrenner (University of Wien)<\/li>\n\n\n\n<li>Paola D\u2019Aquino (Chair, Universit\u00e0 della Campania \u201cL. Vanvitelli\u201d)<\/li>\n\n\n\n<li>Jan Krajicek (Charles University, Prague)<\/li>\n\n\n\n<li>Aleksandra Kwiatkowska (Munster University and Wroclaw University)<\/li>\n\n\n\n<li>Paulo Oliva (Queen Mary University of London)<\/li>\n\n\n\n<li>Arno Pauly (Swansea University)<\/li>\n\n\n\n<li>Giuseppe Primiero (Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Philip Welch (Bristol University)<\/li>\n<\/ul>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">ORGANIZING COMMITTEE<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Stefano Aguzzoli (Computer Science, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Marcello D\u2019Agostino (Philosophy, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Camillo Fiorentini (Computer Science, Universit\u00e0 di Milano)\u0088<\/li>\n\n\n\n<li>Miriam Franchella (Historical Studies, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Silvio Ghilardi (Mathematics, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Hykel Hosni (Philosophy, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Lorenzo Luperi Baglini (Mathematics, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Vincenzo Marra (Mathematics, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Alberto Momigliano (Computer Science, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Giuseppe Primiero (Philosophy, Universit\u00e0 di Milano, Local Chair)<\/li>\n\n\n\n<li>Ekaterina Kubyshkina (Philosophy, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Francesco Genco (Philosophy, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Francesca Doneda (Philosophy, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Chiara Manganini (Philosophy, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Costanza Larese (Philosophy, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Esther Corsi (Philosophy, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Giovanni Duca (Philosophy, Universit\u00e0 di Milano)<\/li>\n\n\n\n<li>Alberto Termine (Philosophy, Universit\u00e0 di Milano)<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>European Summer Meeting of the Association for Symbolic Logic University of Milan, Italy5 June &#8211; 9 June 2023 Meeting website:https:\/\/lc2023.unimi.it GENERAL INFORMATION LOGIC COLLOQUIUM is the European Summer Meeting of the Association for Symbolic Logic (ASL) &#8211; https:\/\/aslonline.org &#8211; an international organization supporting research and critical studies in logic. LOGIC COLLOQUIUM is a venue for &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/sites.unimi.it\/brio\/logic-colloquium-2023\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;LOGIC COLLOQUIUM 2023&#8221;<\/span><\/a><\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-580","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/posts\/580","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/comments?post=580"}],"version-history":[{"count":2,"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/posts\/580\/revisions"}],"predecessor-version":[{"id":582,"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/posts\/580\/revisions\/582"}],"wp:attachment":[{"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/media?parent=580"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/categories?post=580"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/tags?post=580"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}