From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.223.133.135 with SMTP id 7mr389967wrt.9.1496352463397; Thu, 01 Jun 2017 14:27:43 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.46.84.13 with SMTP id i13ls290314ljb.8.gmail; Thu, 01 Jun 2017 14:27:41 -0700 (PDT) X-Received: by 10.25.234.132 with SMTP id y4mr519114lfi.19.1496352461711; Thu, 01 Jun 2017 14:27:41 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1496352461; cv=none; d=google.com; s=arc-20160816; b=V88rprTGBwn+LxpS3tvdVPmouOCNfDv3oOlb8h+BnZAI+lijjdm5UEGmAwvdjuz+me 4XERdDNPUFrRmjmCjRL9RBrzEoWO+ilIBjoV1euwm23GwWz4nFxraxfrbjOyxUKKmt1h lNb28XlbnA1qOjERvvcKZxFlNjGVPWuIpAJndSe+w2rn50n8UIN6f+hBmuPZnqJRg7BQ mJEV1Z4yxkDSOY4V5LT2LsYGhQzoi9x7Oe0XC0VS4QHkKFQOxKtbYNhKs8Cth5wpxYaY 5liQ0+KreQ0yQcUD82lD2UcOQ1VFjl+MQV30GEBtGPO22zd1rbzQz92wRwTVpWuiEFov qWsQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:content-language:mime-version:user-agent :date:message-id:subject:from:to:arc-authentication-results; bh=1e/u09jQhTFar3P83qWNsQ8CjlVohI0achvP4c+Mnk8=; b=hIaY4Xmo+6XKgenoEormroJg4UNkBeQxRwPyisVSwk7/4PTENf4RTG3ViM0wrea293 emNnYcw86qHgwSZdOZgI2KEKJTMSutQJuy1mB+reeczn+jxaHx4pXu0Vy1kR97KwY2tA +uh+UmBfDr+WRdhY/sJ22agUqNUBIYsq68V3CtUwOJ1W4VgZNI4ZzbInLITbVp3anuqY erw/Q2IIsUKyyES/UqdqgbNdtjNQWlxURL8NjccwcR0o5DnmZPta85BBuD71q8bkuJXt AMYdLF+jdGD2DAUB64atz9jmEAN0QiCWLiWHUipRhI/4nVdffEU06aRFA6Dg29zldAfW ZmPw== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of palm...@math.su.se designates 77.238.37.130 as permitted sender) smtp.mailfrom=palm...@math.su.se Return-Path: Received: from mail-prod-route04.it.su.se (mail-prod-route04.it.su.se. [77.238.37.130]) by gmr-mx.google.com with ESMTP id b2si7400wme.5.2017.06.01.14.27.41 for ; Thu, 01 Jun 2017 14:27:41 -0700 (PDT) Received-SPF: pass (google.com: domain of palm...@math.su.se designates 77.238.37.130 as permitted sender) client-ip=77.238.37.130; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of palm...@math.su.se designates 77.238.37.130 as permitted sender) smtp.mailfrom=palm...@math.su.se Received: from e-mailfilter02.sunet.se (e-mailfilter02.sunet.se [IPv6:2001:6b0:8:2::202]) by mail-prod-route04.it.su.se (Postfix) with ESMTP id 3wf0ms1bpkz10rQ for ; Thu, 1 Jun 2017 23:27:41 +0200 (CEST) Received: from smtp.su.se (mail-prod-smtp01.it.su.se [77.238.36.166]) by e-mailfilter02.sunet.se (8.14.4/8.14.4/Debian-4+deb7u1) with ESMTP id v51LReks030209 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO) for ; Thu, 1 Jun 2017 23:27:40 +0200 Received: from Eriks-Palmgrens-MacBook-Air.local (c80-216-1-129.bredband.comhem.se [80.216.1.129]) (Authenticated sender: epalm) by smtp.su.se (Postfix) with ESMTPSA id 3wf0mr3TRVz10P5 for ; Thu, 1 Jun 2017 23:27:40 +0200 (CEST) To: homotopytypetheory From: Erik Palmgren Subject: Logic Colloquium 2017: Call for Registration and Participation ** Deadline for early registration: June 9, 2017 ** Message-ID: Date: Thu, 1 Jun 2017 23:27:40 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:52.0) Gecko/20100101 Thunderbird/52.1.1 MIME-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Language: sv Content-Transfer-Encoding: 8bit X-Bayes-Prob: 0.9999 (Score 5, tokens from: outbound, outbound-su-se:default, su-se:default, base:default, @@RPTN) X-Spam-Score: 4.90 (****) [Tag at 7.50] T_RP_MATCHES_RCVD:-0.1,Bayes(0.9999:5.0) X-CanIt-Geo: ip=80.216.1.129; country=SE; region=Stockholm; city=Stockholm; latitude=59.3600; longitude=18.0009; http://maps.google.com/maps?q=59.3600,18.0009&z=6 X-CanItPRO-Stream: outbound-su-se:outbound (inherits from outbound-su-se:default,su-se:default,base:default) X-Canit-Stats-ID: 0aTrxrEVb - fc6874779e54 - 20170601 X-CanIt-Archive-Cluster: PfMRe/vJWMiXwM2YIH5BVExnUnw Received-SPF: neutral (e-mailfilter02.sunet.se: 80.216.1.129 is neither permitted nor denied by domain palm...@math.su.se) receiver=e-mailfilter02.sunet.se; client-ip=80.216.1.129; envelope-from=; helo=smtp.su.se; identity=mailfrom X-Scanned-By: CanIt (www . roaringpenguin . com) on 192.36.171.202 ================================================== Logic Colloquium 2017: Call for Registration and Participation August 14-20, 2017, Stockholm, Sweden https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 ** Deadline for early registration: June 9, 2017 ** ================================================== The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017, at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology. LC2017 will be co-located with several other logic-related events, all taking place at Stockholm University: - the 3rd Nordic Logic Summer School, NLS2017, August 7-11 - the 26th EACSL Annual Conference on Computer Science Logic, CSL2017, August 20-24 - Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017, August 16-19 - Workshop on Logical Aspects of Multi-Agent Systems, LAMAS2017, August 25 - Workshop on Logic and Automata Theory in memory of Zoltan Esik, August 25 There will be a joint session of CSL2017 and LC2017 in the morning of August 20. Further information about all events can be found at: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 INVITED SPEAKERS ============= Plenary speakers: --------- - David Aspero (University of East Anglia) - Alessandro Berarducci (Pisa) - Elisabeth Bouscaren (Paris 11) - Christina Brech (Sao Paolo) - Sakae Fuchino (Kobe University) - Denis Hirschfeldt (University of Chicago) - Wilfrid Hodges (British Academy, UK) - Emil Jerabek (Prague) - Per Martin-Löf (Stockholm University) - Dag Prawitz (Stockholm University) - Sonja Smets (University of Amsterdam) Tutorial speakers: --------- - Patricia Bouyer-Decitre (LSV ENS Cachan) - Mai Gehrke (Paris 7) LC-CSL joint session highlight speakers: -------------------- - Veronica Becher (University of Buenos Aires) - Pierre Simon (UC Berkeley) - Phokion Kolaitis (University of California Santa Cruz and IBM Research - Almaden) - Wolfgang Thomas (RWTH Aachen) Schoenfield Lecture: speaker TBA Special session invited speakers: listed below. SPECIAL SESSIONS ============= *Category theory and type theory in honour of Per Martin-Löf on his 75th birthday* ----------------------------------------- Dates: August 17-19, 2017 Speakers: ------ - Thierry Coquand (Göteborg University) - Richard Garner (Macquarie University, Sidney) - André Joyal (University of Quebec, Montreal) - Vladimir Voevodsky (Institute of Advanced Study, Princeton) *Computability* -------- Organizers: Verónica Becher and Denis Hirschfeldt Speakers: ----- - Emmanuel Jeandel (University of Lorraine, France) - Klaus Meer (Brandenburg University of Technology, Cottbus-Senftenberg, Germany) - Arno Pauly (Clare college, Cambridge University) - Theodore Slaman (University of California, Berkeley) - Mariya Soskova (Sofia University, Bulgaria) - Keita Yokoyama (University of California, Berkeley) *History of Logic* -------- Organiser: Valentin Goranko Speakers: ----- - Wilfrid Hodges (British Academy, UK) - Peter Øhrstrøm (Aalborg University, Denmark) - Jan von Plato (University of Helsinki, Finland) *Model Theory* -------- Organizers: Alessandro Berarducci, Elisabeth Bouscaren and Pierre Simon Speakers: ----- - Martin Bays (University of Münster) - Zaniar Ghadernezhad (University of Freiburg) - Tomás Ibarlucía (University of Paris Diderot (Paris 7)) - Franziska Jahnke (University of Münster) - Vincenzo Mantova (University of Leeds) - Rizos Sklinos (Université Claude Bernard, Lyon) *Philosophical Logic* ----------- Organizer: Mirna Dzamonja Speakers: ----- - Michele Friend (Gerorge Washington University) - Juliette Kennedy (Helsinki University) - Benedikt Loewe (University of Amsterdam and Hamburg) - Sara Negri (Helsinki University) - Davide Rizza (University of East Anglia) - Giambattista Formica (Pontifical Urbaniana University, Rome) *Proof Theory* -------- Organizers: Jan von Plato and Andreas Weiermann Speakers: ----- - Fernando Ferreira (University of Lisbon) - Anton Freund (University of Leeds) - Annika Kanckos (University of Helsinki) - Kentaro Sato (University of Bern) - Anton Setzer (Swansea University) - Silvia Steila (University of Bern) *Set Theory* -------- Organizers: Christina Brech and Assaf Rinot Speakers: ----- - William Chen (Ben Gurion University, Israel) - Brent Cody (Virginia Commonwealth University, USA) - Ashutosh Kumar (Hebrew University, Jerusalem) - Giorgio Laguzzi (Freiburg University) - Yann Pequignot (University of California, Los Angeles) - Sandra Uhlenbrock (University of Vienna, Austria) CONTRIBUTED TALKS: ------------ The call for submissions is already closed. There will be about 140 contributed talks, given in 6 parallel sessions. SOCIAL PROGRAMME: ----------- The social programme of LC 2017 will include a reception at Stockholm City Hall on August 14, a boat trip excursion on August 16, and a conference dinner on August 17. REGISTRATION ---------------------- The early registration fee, for students and participants from developing countries, is 1400 SEK including VAT (approx. 140 Euros) per participant, and includes coffee breaks and conference materials. For all others, the early registration fee is 2000 SEK including VAT. Late registration is 2800 SEK for regular fee participants, and 2000 SEK for reduced fee participants. Note: 500 SEK fee deduction when registering for CSL2017 at the same time. The registration fee does not cover accommodation, but there will be special offers at hostels and hotels (in the range 700 -1200 SEK per night for single rooms) available. Link for the registration page: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/logic-in-stockholm-2017-august-7-25-1.718739 IMPORTANT DATES -------------------------------------------------------- Main event: August 14-19, 2017 Joint session with CSL2017: August 20, 2017 Early registration deadline: June 9, 2017 Late registration deadline: August 1, 2017 -------------------------------------------------------- PROGRAMME COMMITTEE ------------------- - Rod Downey (University of Wellington) - Mirna Dzamonja (PC chair, University of East Anglia) - Ali Enayat (University of Gothenburg) - Fernando Ferreira (University of Lisbon) - Valentin Goranko (Stockholm University) - Martin Hils (University of Münster) - Sara Negri (University of Helsinki) - Assaf Rinot (Bar-Ilan University) - Igor Walukiewicz (University of Bordeaux) LOCAL ORGANISING COMMITTEE -------------------- - Stefan Buijsman, Department of Philosophy, Stockholm University - Mads Dam, Department of Theoretical Computer Science, KTH - Jacopo Emmenegger, Department of Mathematics, Stockholm University - Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm University - Dilian Gurov, Department of Theoretical Computer Science, KTH - Sven-Ove Hansson, Department of Philosophy, KTH Royal Institute of Technology - Eric Johannesson, Department of Philosophy, Stockholm University - Vera Koponen, Department of Mathematics, Uppsala University - Johan Lindberg, Department of Mathematics, Stockholm University - Roussanka Loukanova, Department of Mathematics, Stockholm University - Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University - Anders Lundstedt, Department of Philosophy, Stockholm University - Karl Nygren, Department of Philosophy, Stockholm University - Peter Pagin, Department of Philosophy, Stockholm University - Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University - Dag Westerståhl, Department of Philosophy, Stockholm University CONTACTS AND ENQUIRIES -------------------- For enquiries on scientific and programme issues, send email to: Mirna Dzamonja (M.Dza...@uea.ac.uk) For enquiries on organising matters, send email to: lc2017 at philosophy.su.se SPONSORS ----------------- Association for Symbolic Logic Stockholm University The GS Magnusson Foundation Prover Technology Stockholm City Hall