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, 30 June – 6 July).