Call for pa­pers

The LOGIC COL­LO­QUIUM 2018 is the an­nual Eu­ro­pean summer meeting of the As­so­ci­a­tion of Sym­bolic Logic (ASL). It will be held during July 23-28, 2018, at the Uni­ver­sity of Udine, Italy, and is or­ga­nized by the De­part­ment of Math­e­mat­ics, Com­puter Sci­ence, and Physics of the Uni­ver­sity of Udine.

The latest meet­ings took place in Paris (2010), Barcelona (2011), Man­chester (2012), Evora (2013), Vi­enna (2014), Helsinki (2015), Leeds (2016) and Stock­holm (2017).

The ASL is an in­ter­na­tional or­ga­ni­za­tion sup­porting re­search and crit­ical studies in logic. Its pri­mary func­tion is to pro­vide an ef­fec­tive forum for the pre­sen­ta­tion, pub­li­ca­tion, and dis­cus­sion of schol­arly work in this area of in­quiry. The As­so­ci­a­tion holds two major an­nual meet­ings to present cur­rent re­search in all as­pects of logic in a way that is ac­ces­sible to all lo­gi­cians.

Im­por­tant dates

Opening of reg­is­tra­tions
Reg­is­tra­tions are open!
Dead­line for ab­stract sub­mis­sion
May 2, 2018 (ex­tend­ed!) (see in­struc­tions)
Dead­line for grant ap­pli­ca­tions
May 4, 2018 (see in­struc­tions)
No­ti­fi­ca­tion of paper ac­cep­tance
May 11, 2018
No­ti­fi­ca­tion of grants ac­cep­tance
May 18, 2018
Dead­line for early reg­is­tra­tion
June 1, 2018 (ex­tend­ed!)
Main event
July 23 (9am) — July 28 (1pm)

For ques­tions please con­tact lc18@u­ni­

Tu­to­rial Speakers

Ple­nary Speakers

Spe­cial Ses­sionsChairs

Com­putability theory

Model theory

De­scrip­tive set theory and dy­nam­ical sys­tems

Phi­los­ophy of Logic and Math­e­matics

Proof theory and con­struc­tivism

Tem­poral and mul­ti­valued logics


Ab­stracts of con­tributed pa­pers must be sub­mitted as a LaTeX source file, via Easy­Chair. If you do not have an Easy­Chair ac­count, you can create one at http­s://easy­

Ab­stract should be pre­pared ac­cording to the ASL in­struc­tions using the ASL ab­stract style .

The dead­line for sub­mis­sions is April 27, 2018 (now ex­tended to May 2, 2018!).

If elec­tronic sub­mis­sion is not pos­si­ble, ab­stracts should be mailed to:

Prof. H. Dugald Macpherson
PC chair of LOGIC COL­LO­QUIUM 2018
School of Math­e­mat­ics, Uni­ver­sity of Leeds,
Leeds LS2 9JT, UK.

Upon no­ti­fi­ca­tion of ac­cep­tance, au­thors will be re­quested to submit the TeX source files.

Ab­stracts are pub­lished as part of the meeting re­port in The Bul­letin of Sym­bolic Logic only if at least one au­thor is a member of the ASL at the time the re­port is sent for pub­li­ca­tion.

Ab­stracts of con­tributed pa­pers sub­mitted by ASL mem­bers will be pub­lished in The Bul­letin of Sym­bolic Logic, pro­vided that they sat­isfy the Rules for Ab­stracts (see above).

Ap­pli­ca­tions for stu­dent grants

The ASL, the NSF, and the local or­ga­nizing com­mittee will make avail­able modest awards to grad­uate stu­dents in logic and to re­cent PhDs to at­tend the meet­ing. For more de­tails on the grants, see: http://www.aslon­­tu­dent­trav­elaward­s.html.

Ap­pli­ca­tions for stu­dent grants and rec­om­men­da­tions should be re­ceived be­tween Jan­uary 1 and May 4, 2018. For de­tailed in­struc­tions see the Ap­pli­ca­tions page.

Ap­pli­cants will be no­ti­fied in time to be able to reg­ister with the early reg­is­tra­tion fee.


The event is made pos­sible thanks to the fi­nan­cial sup­port of …

Cur­rent news and fur­ther in­for­ma­tion about ac­tiv­i­ties of the As­so­ci­a­tion for Sym­bolic Logic can be found in the ASL newslet­ters.


AMGA Energia & Servizi