<div dir="ltr"><div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Logic Colloquium 2017: Final Call for Submissions</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">** Deadline for abstract submissions: May 5 **</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">------------------------------<wbr>----------------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Logic Colloquium 2017:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Third Announcement and Call for Submissions</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">August 14-20, 2017, Stockholm, Sweden</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><a href="https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2" target="_blank">https://www.math-stockholm.se/<wbr>en/konferenser-och-akti/logic-<wbr>in-stockholm-2</a></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">------------------------------<wbr>----------------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">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.</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">LC2017 will be co-located with several other logic-related events, all taking place at Stockholm University:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- the 3rd Nordic Logic Summer School, NLS2017, August 7-11</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- the 26th EACSL Annual Conference on Computer Science Logic, CSL2017, August 20-24</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017, August 16-19</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS2017, August 25</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Workshop on Logic and Automata Theory in memory of Zoltan Esik, August 25</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">There will be a joint session of CSL2017 and LC2017 in the morning of August 20. </div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Further information about all events can be found at:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><a href="https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2" target="_blank">https://www.math-stockholm.se/<wbr>en/konferenser-och-akti/logic-<wbr>in-stockholm-2</a></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">INVITED SPEAKERS</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">------------------------------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Plenary speakers:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- David Aspero (University of East Anglia)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Alessandro Berarducci (Pisa)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Elisabeth Bouscaren (Paris 11)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Christina Brech (Sao Paolo)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Sakae Fuchino (Kobe University)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Denis Hirschfeldt (University of Chicago)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Wilfrid Hodges (British Academy, UK)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Emil Jerabek (Prague)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Per Martin-Löf (Stockholm University)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Dag Prawitz (Stockholm University)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Sonja Smets (University of Amsterdam)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Tutorial speakers:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Patricia Bouyer-Decitre (LSV ENS Cachan)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Mai Gehrke (Paris 7)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">LC-CSL joint session highlight speakers:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Veronica Becher (University of Buenos Aires)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Pierre Simon (UC Berkeley)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Phokion Kolaitis (University of California Santa Cruz and IBM Research - Almaden)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Wolfgang Thomas (RWTH Aachen)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">SPECIAL SESSIONS</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">-----------------------------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Category theory and type theory in honour of Per Martin-Löf on his 75th birthday</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Dates: August 17-19, 2017</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Speakers:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Thierry Coquand (Göteborg University)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Richard Garner (Macquarie University, Sidney)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- André Joyal (University of Quebec, Montreal)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Vladimir Voevodsky (Institute of Advanced Study, Princeton)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Computability</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Organizers: Verónica Becher  and Denis Hirschfeldt</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Speakers:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Emmanuel Jeandel  (University of Lorraine, France)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Klaus Meer (Brandenburg University of Technology, Cottbus-Senftenberg,  Germany)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Arno Pauly (Clare college, Cambridge University)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Theodore Slaman (University of California, Berkeley)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Mariya Soskova (Sofia University, Bulgaria)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Keita Yokoyama (University of California, Berkeley)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">History of Logic:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Organiser: Valentin Goranko</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Speakers: </div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Wilfrid Hodges (British Academy, UK)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Peter Øhrstrøm (Aalborg University, Denmark)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Jan von Plato (University of Helsinki, Finland)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Model Theory:  TBA</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Philosophical Logic</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Organizer: Mirna Dzamonja</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Speakers:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Michele Friend (Gerorge Washington University)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Juliette Kennedy (Helsinki University)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Benedikt Loewe (University of Amsterdam and Hamburg)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Sara Negri (Helsinki University)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Davide Rizza (University of East Anglia)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- one more speaker TBA</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Proof Theory</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Organizers:  Jan von Plato and Andreas Weiermann</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"> Speakers: </div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Fernando Ferreira (University of Lisbon, Portugal)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Annika Kanckos (University of Helsinki, Finland)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Anton Setzer (Swansea University, UK)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- further speakers TBA</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Set Theory</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Organizers:  Christina Brech and Assaf Rinot</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Speakers:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- William Chen (Ben Gurion University, Israel)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Brent Cody (Virginia Commonwealth University, USA)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Ashutosh Kumar (Hebrew University, Jerusalem)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Giorgio Laguzzi (Freiburg University)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Yann Pequignot (University of California, Los Angeles)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Sandra Uhlenbrock (University of Vienna, Austria)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">SUBMISSIONS OF CONTRIBUTED TALKS</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">---------------------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Abstracts of contributed talks must be submitted as pdf files via this EasyChair page:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><a href="https://easychair.org/conferences/?conf=lc2017" target="_blank">https://easychair.org/<wbr>conferences/?conf=lc2017</a></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">(If you do not have an EasyChair-account yet, you can create one at the submission site.)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">The abstracts must be prepared according to the ASL instructions here:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><a href="http://www.aslonline.org/rules_abstracts.html" target="_blank">http://www.aslonline.org/<wbr>rules_abstracts.html</a></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Please:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- enter Title and Abstract as plain text</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- as the first keyword, put the AMS 2010 classification: 03xxx</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- indicate whether you are submitting for presentation at the colloquium, for publication in the Bulletin of Symbolic Logic, or for both</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Abstracts of contributed talks submitted by ASL members, which are accepted and prepared according to the ASL Rules for Abstracts, will be published in the Bulletin of Symbolic Logic. Upon notification of acceptance, authors will be requested to submit the LaTeX source files.</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">REGISTRATION</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">----------------------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">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.</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Note: 500 SEK fee deduction when registering for CSL2017 at the same time.</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">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.</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><a href="https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/logic-in-stockholm-2017-august-7-25-1.718739" target="_blank">https://www.math-stockholm.se/<wbr>en/konferenser-och-akti/logic-<wbr>in-stockholm-2/logic-in-<wbr>stockholm-2017-august-7-25-1.<wbr>718739</a></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">IMPORTANT DATES</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">------------------------------<wbr>--------------------------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Main event: August 14-19, 2017</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Joint session with CSL2017: August 20, 2017</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Abstract deadlines:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Abstract submission for contributed talks:  May 5, 2017</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Notification: May 19, 2017</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Grant application deadline: May 8, 2017</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Early registration deadline: June 9, 2017</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Late registration deadline: August 1, 2017</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">------------------------------<wbr>--------------------------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">GRANTS</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">------------------------------<wbr>------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">There are possibilities for grants from ASL, NSF, and the Bill Craig donation. Information can be found at the website of the Logic Colloquium 2017:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><a href="https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/logic-colloquium-201" target="_blank">https://www.math-stockholm.se/<wbr>en/konferenser-och-akti/logic-<wbr>in-stockholm-2/logic-<wbr>colloquium-201</a></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">PROGRAMME COMMITTEE</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">-------------------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Rod Downey (University of Wellington)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Mirna Dzamonja (PC chair, University of East Anglia)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Ali Enayat (University of Gothenburg)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Fernando Ferreira (University of Lisbon)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Valentin Goranko (Stockholm University)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Martin Hils (University of Münster)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Sara Negri (University of Helsinki)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Assaf Rinot (Bar-Ilan University)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Igor Walukiewicz (University of Bordeaux)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">LOCAL ORGANISING COMMITTEE</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">--------------------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Stefan Buijsman, Department of Philosophy, Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Mads Dam, Department of Theoretical Computer Science, KTH</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Jacopo Emmenegger, Department of Mathematics, Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Dilian Gurov, Department of Theoretical Computer Science, KTH</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Sven-Ove Hansson, Department of Philosophy, KTH Royal Institute of Technology</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Eric Johannesson, Department of Philosophy, Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Vera Koponen, Department of Mathematics, Uppsala University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Johan Lindberg, Department of Mathematics, Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Roussanka Loukanova, Department of Mathematics, Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Anders Lundstedt, Department of Philosophy, Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Karl Nygren, Department of Philosophy, Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Peter Pagin, Department of Philosophy, Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">- Dag Westerståhl, Department of Philosophy, Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">CONTACTS AND ENQUIRIES</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">--------------------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">For enquiries on scientific and programme issues, send email to:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Mirna Dzamonja (<a href="mailto:M.Dzamonja@uea.ac.uk" target="_blank">M.Dzamonja@uea.ac.uk</a>)</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">For enquiries on organising matters, send email to:</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">lc2017 at <a href="http://philosophy.su.se" target="_blank">philosophy.su.se</a></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature"><br></div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">SPONSORS</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">-----------------</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Association for Symbolic Logic</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Stockholm University</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">The GS Magnusson Foundation</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Prover Technology</div><div class="m_-8682007917607428681gmail-m_-4977830998093242877m_2463076526179630342gmail_signature">Stockholm City Hall</div><div><br></div></div></div>
</div>