Brasilia Spring On Automated Reasoning

Three days to go and the events start, with a weekend full of workshops and tutorials. We are very much looking forward to the week and to seeing you here!

Check the programmes at the tableaux2017, frocos2017, and itp2017 webpages.

http://tableaux2017.cic.unb.br/

26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2017 A limited number of travel grants is available for students who would not otherwise have resources to attend TABLEAUX/FroCoS/ITP, and whose attendance would benefit both the applicant and the event. We expect to be able to help with local/travel expenses up to 250 EUR per student. Applicants should…

The proceedings of the 26th International Conference on Automated Reasoning with Tableaux and Related Methods (TABLEAUX 2017) can now be accessed online.

http://www.springer.com/br/book/9783319669014

Automated Reasoning with Analytic Tableaux and Related | Renate A. Schmidt | Springer This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017,...

The proceedings of the 11th International Symposium on Frontiers of Combining Systems is now available.

http://www.springer.com/br/book/9783319661667

Frontiers of Combining Systems - 11th International Symposium, | Clare Dixon | Springer This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in...

The proceedings of the 8th International Conference on Interactive Theorem Proving are now available.

http://www.springer.com/br/book/9783319661063

Interactive Theorem Proving - 8th International | Mauricio Ayala-Rincón | Springer This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in...

The late registration deadline for all conferences and co-located event is tomorrow, the 2nd of September.

http://registration2017.cic.unb.br

The programme of ITP is now available!

http://itp2017.cic.unb.br/

8th International Conference on Interactive Theorem Proving - ITP 2017 A limited number of travel grants is available for students who would not otherwise have resources to attend TABLEAUX/FroCoS/ITP, and whose attendance would benefit both the applicant and the event. We expect to be able to help with local/travel expenses up to 250 EUR per student. Applicants should…

Spread the good news!

EARLY REGISTRATION HAS BEEN EXTENDED UNTIL 11TH OF AUGUST.

TABLEAUX 2017, FroCoS 2017, ITP 2017 and co-located events - Registration

The programme of FroCoS 2017 is now available!

http://frocos2017.cic.unb.br/

11th International Symposium on Frontiers of Combining Systems - FroCoS 2017 A limited number of travel grants is available for students who would not otherwise have resources to attend TABLEAUX/FroCoS/ITP, and whose attendance would benefit both the applicant and the event. We expect to be able to help with local/travel expenses up to 250 EUR per student. Applicants should…

The programme of PxTP is now available.

https://pxtp.github.io/2017/

Fifth Workshop on Proof eXchange for Theorem Proving (PxTP'2017) The PxTP workshop brings together researchers working on various aspects of communication, integration, and cooperation between reasoning systems and formalisms.

The programme for the workshop "DaLí - Dynamic Logic: new trends and applications" is now available.

http://workshop.dali.di.uminho.pt/

DaLí 17 The workshop is promoted by the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design (POCI-01-0145-FEDER-016692), a R&D project supported by the Portuguese Foundation for Science and Technology

A limited number of travel grants is available for students who would not otherwise have resources to attend TABLEAUX/FroCoS/ITP, and whose attendance would benefit both the applicant and the event.

Although priority is given to students with active role in the conferences/workshops, students in other situations are very much encouraged to apply.

The grants are offered by Springer and by the organisation of the conferences.

For details, see the full call at the conferences websites:

http://tableaux2017.cic.unb.br/
http://frocos2017.cic.unb.br/
http://itp2017.cic.unb.br/

The list of accepted abstracts for the joint poster session is now available at the pages of TABLEAUX 2017, FroCoS 2017, and ITP 2017. Congratulations to the authors! Looking forward to seeing you in Brasília!