The Federated Logic Conference 2018 brings together nine major international conferences related to mathematical logic and computer science:

 

Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the School on Foundations of Programming and Software Systems (FoPSS, 1-6 July).

Conference and workshop programmes now online