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.

For ques­tions please con­tact lc18@u­ni­ud.it.

Sub­mis­sions

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­chair.org/.

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:

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­line.org/s­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.