Wel­come

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), that will be held during July 23—28, 2018 at the Uni­ver­sity of Udine, Italy.

Logic is an an­cient dis­ci­pline that has un­der­gone striking modern de­vel­op­ments through the in­tro­duc­tion of formal meth­ods, stim­u­lated largely by foun­da­tional prob­lems in math­e­mat­ics. Re­cent re­search in other areas such as com­puter sci­ence, lin­guis­tics, and cog­ni­tive sci­ence has also been in­spired by logic, and the LOGIC COL­LO­QUIUM re­flects such ex­panding in­ter­ests.

The con­fer­ence pro­gram is on­line! Down­load the poster!

On July 22, 2018, the con­fer­ence will host the satel­lite Log­ics, types, and se­man­tics work­shop.

See the Call for pa­pers for sub­mis­sion in­struc­tions, and learn how to reach the con­fer­ence venue.

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)

Tu­to­rial Speakers

Ple­nary Speakers

Thanks

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

Sponsor

AMGA Energia & Servizi

Fur­ther in­for­ma­tion…

This web­site will be con­stantly up­dated with the latest in­for­ma­tion about the event. In the mean­time, 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 here.

For any ques­tion re­garding the event you can con­tact the or­ga­nizing com­mittee at lc18@u­ni­ud.it.