Call for papers
The LOGIC COLLOQUIUM 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL). It will be held during July 2328, 2018, at the University of Udine, Italy, and is organized by the Department of Mathematics, Computer Science, and Physics of the University of Udine.
The latest meetings took place in Paris (2010), Barcelona (2011), Manchester (2012), Evora (2013), Vienna (2014), Helsinki (2015), Leeds (2016) and Stockholm (2017).
The ASL is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. The Association holds two major annual meetings to present current research in all aspects of logic in a way that is accessible to all logicians.
Important dates
 Opening of registrations
 Registrations are open!
 Deadline for abstract submission
 May 2, 2018 (extended!) (see instructions)
 Deadline for grant applications
 May 4, 2018 (see instructions)
 Notification of paper acceptance
 May 11, 2018
 Notification of grants acceptance
 May 18, 2018
 Deadline for early registration
 June 1, 2018 (extended!)
 Main event
 July 23 (9am) — July 28 (1pm)
For questions please contact lc18@uniud.it.
Tutorial Speakers
 Ulrike Sattler University of Manchester
 Katrin Tent WWU Münster
Plenary Speakers
 Rod Downey Gödel Lecture Victoria University of Wellington
 Marianna Antonutti Marfori LudwigMaximiliansUniversität München
 Albert Atserias Universitat Politècnica de Catalunya
 Vasco Brattka Universität der Bundeswehr München
 Agata Ciabattoni TU Wien
 Paola D'Aquino Università degli Studi della Campania
 Paulo Oliva Queen Mary University of London
 Ludovic Patey Institut Camille Jordan, Lyon

Anush Tserunyan
University of Illinois at
UrbanaChampaign  Spencer Unger Tel Aviv University
 Matteo Viale Università degli Studi di Torino
 Dag Westerståhl Stockholm University
Special SessionsChairs
Computability theory
 Andrea Sorbi Università di Siena 1240
 Paul Shafer University of Leeds
Model theory
 Frank Wagner Université Lyon I
 Enrique Casanovas Universitat de Barcelona
Descriptive set theory and dynamical systems
 Ben Miller Universität Wien
 Asger Törnquist København Universitet
Philosophy of Logic and Mathematics
 Juliette Kennedy University of Helsinki
 Gil Sagi University of Haifa
Proof theory and constructivism
 Silvio Ghilardi Università degli Studi di Milano
 Giovanni Sambin Università degli Studi di Padova
Temporal and multivalued logics
 Martin Lange Universität Kassel
 Brunella Gerla Università dell'Insubria
Submissions
Abstracts of contributed papers must be submitted as a LaTeX source file, via EasyChair. If you do not have an EasyChair account, you can create one at https://easychair.org/.
Abstract should be prepared according to the ASL instructions using the ASL abstract style .
The deadline for submissions is April 27, 2018 (now extended to May 2, 2018!).
If electronic submission is not possible, abstracts should be mailed to:
Prof. H. Dugald MacphersonPC chair of LOGIC COLLOQUIUM 2018
School of Mathematics, University of Leeds,
Leeds LS2 9JT, UK.
Upon notification of acceptance, authors will be requested to submit the TeX source files.
Abstracts are published as part of the meeting report in The Bulletin of Symbolic Logic only if at least one author is a member of the ASL at the time the report is sent for publication.
Abstracts of contributed papers submitted by ASL members will be published in The Bulletin of Symbolic Logic, provided that they satisfy the Rules for Abstracts (see above).
Applications for student grants
The ASL, the NSF, and the local organizing committee will make available modest awards to graduate students in logic and to recent PhDs to attend the meeting. For more details on the grants, see: http://www.aslonline.org/studenttravelawards.html.
Applications for student grants and recommendations should be received between January 1 and May 4, 2018. For detailed instructions see the Applications page.
Applicants will be notified in time to be able to register with the early registration fee.Thanks
The event is made possible thanks to the financial support of …
Current news and further information about activities of the Association for Symbolic Logic can be found in the ASL newsletters.