[PlanetKR] FroCoS 2019 and TABLEAUX 2019 (London, September 2-6): call for participation

[Andreas HERZIG]

The 2019 editions of FroCoS (the 12th International Symposium on 
Frontiers of Combining Systems) and TABLEAUX (the 28th International 
Conference on Automated Reasoning with Analytic Tableaux and Related 
Methods), as well as their affiliated workshops and tutorials will take 
place in London, at Middlesex University, on the week of September 2-6.

This year we have an exciting program of contributed and invited talks, 
and affiliated events. Please see
https://protect-au.mimecast.com/s/Cg-bC2xM9AUKKY08InKfPP?domain=tableaux2019.org
for detailed program information. Moreover, information on traveling and 
accommodation (including affordable accommodation for budget-constrained 
participants), and on the sites and activities that can be enjoyed in 
the Middlesex University's beautiful campus, is available from the 
conferences' websites:
https://protect-au.mimecast.com/s/1bXkC3QN90S77kW2cqL7aF?domain=frocos2019.org and https://protect-au.mimecast.com/s/OhFnC4QO9DSYYVRlsBYr5P?domain=tableaux2019.org,
Information on registration and fees is also available from these 
websites. The deadline for early registration is August 21st, 2019.

INVITED TALKS
* Jeremy Avigad. Automated Reasoning for the Working Mathematician
* Maria Paola Bonacina. Conflict-Driven Reasoning in Unions of Theories
* Stephane Graham-Lengrand. Recent and Ongoing Developments of 
Model-Constructing Satisfiability
* Stephane Graham-Lengrand and Sara Negri. Remembering Roy Dyckhoff
* Uli Sattler. Modularity and Automated Reasoning in Description Logics

AFFILIATED WORKSHPS
* The 25th Workshop on Automated Reasoning (ARW 2019), organized by 
Alexander Bolotov and Florian Kammueller
* Journeys in Computational Logic: Tributes to Roy Dyckhoff, organized 
by Stephane Graham-Lengrand, Ekaterina Komendantskaya and Mehrnoosh 
Sadrzadeh

AFFILIATED TUTORIALS
* Formalising Concurrent Computation: CLF, Celf, and Applications by 
Sonia Marin, Giselle Reis and Iliano Cervesato
* How to Build an Automated Theorem Prover---An Introductory Tutorial 
(invited TABLEAUX tutorial) by Jens Otten.

For any questions, please contact the organizers at 
chair at tableaux2019.org or chair at frocos2019.org. We hope to see many of 
you this September in London.

Best wishes,
Serenella Cerrito, Andreas Herzig, Andrei Popescu and Franco Raimondi
(program chairs and local organizers)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20190723/a3216d09/attachment.html