[Caml-list] TABLEAUX 2017, FroCoS 2017, ITP 2017 - Call for Participation

CALL FOR PARTICIPATION

TABLEAUX 2017, FroCoS 2017, ITP 2017
Brasilia, Brazil
25-29 September 2017

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

*** Registration is now open ***

Registration website: https://registration2017.cic.unb.br

Early registration until 4th August
Late registration until 2nd September

More information can be found at the conferences websites:

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

*** Student Grants ***

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/#grants
http://frocos2017.cic.unb.br/#grants
http://itp2017.cic.unb.br/#grants

*** Invited Speakers ***

- Carlos Areces (FaMAF-Cordoba/Argentina)
- Wolfgang Bibel (Technische Universitaet Darmstadt, Germany)
- Katalin Bimbo (University of Alberta, Edmonton, Germany)
- Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands)
- Reiner Haehnle (Technische Universitaet Darmstadt, Germany)
- Moa Johansson (Chalmers University of Technology, Sweden)
- Cezary Kaliszyk (Universitaet Innsbruck, Austria)
- Leonardo Moura (RiSE, Microsoft, USA)
- Cesare Tinelli (The University of Iowa, USA)
- Renata Wasserman (IME/USP)

*** Programme ***

See:

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

*** Social Events ***

Excursion to visit the Itamaraty Palace (Foreign Affairs Ministry). The building was designed by Oscar Niemeyer, the gardens by Burle Marx, and inside we can find the works by Athos Bulcao and Alfredo Volpi, among others. Conference dinner will take place in a location by the Paranoa Lake.

*** Workshops ***

- 12th Logical and Semantic Frameworks with Applications (LSFA 2017)
http://lsfa2017.cic.unb.br/
23 and 24 September

- Fifth Workshop on Proof eXchange for Theorem Proving (PxTP)
http://pxtp.github.io/2017/
23 and 24 September

- EPS - Encyclopedia of Proof Systems
http://proofsystem.github.io/Encyclopedia/
24 and 25 September

- DaLí - Dynamic Logic: new trends and applications
http://workshop.dali.di.uminho.pt/
23 and 24 September

*** Tutorials ***

- Proof compressions and the conjecture NP = PSPACE
Lew Gordeev, Edward Hermann Haeusler
23 September 2017

- General methods in proof theory for modal and substructural logics
Bjoern Lellmann, Revantha Ramanayake
24 September 2017

- From proof systems to complexity bounds
Anupam Das
25 September 2017

- PVS for Computer Scientists
Cesar Munoz, Mauricio Ayala-Rincon, Mariano Moscato
25 September 2017

*** Poster Session ***

The joint poster session will be held on the 28th September.

*** Venue ***

All the events will be held at the Finatec building located within the University of Brasilia.

Finatec - Fundacao de Empreendimentos Cientificos e Tecnologicos
Campus Universitario Darcy Ribeiro
Av. L3 Norte, Ed. Finatec
Asa Norte, Brasilia - DF
CEP 70910-900

*** Organisation ***

TABLEAUX Programme Chairs:
Renate A. Schmidt The University of Manchester, UK
Claudia Nalon University of Brasilia, Brazil

FroCoS Conference Chairs
Clare Dixon University of Liverpool, UK
Marcelo Finger University of Sao Paulo, Brazil

ITP Conference Chairs
Cesar Munoz NASA, USA
Mauricio Ayala-Rincon University of Brasilia, Brazil

Organising Committee
Claudia Nalon University of Brasilia, Brazil
Daniele Nantes Sobrinho University of Brasilia, Brazil
Elaine Pimentel Federal University of Rio Grande do Norte, Brazil
Joao Marcos Federal University of Rio Grande do Norte, Brazil

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs