Brasilia Spring On Automated Reasoning

20/09/2017

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/

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…

12/09/2017

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

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017,...

12/09/2017

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

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

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

12/09/2017

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

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

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in...

01/09/2017

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

http://registration2017.cic.unb.br

10/08/2017

The programme of ITP is now available!

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

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…

09/08/2017

Spread the good news!

EARLY REGISTRATION HAS BEEN EXTENDED UNTIL 11TH OF AUGUST.

09/08/2017

The programme of FroCoS 2017 is now available!

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

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…

06/08/2017

The programme of PxTP is now available.

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

The PxTP workshop brings together researchers working on various aspects of communication, integration, and cooperation between reasoning systems and formalisms.

05/08/2017

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

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

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

17/07/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.

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/

01/07/2017

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!