TABLEAUX 2017, FroCoS 2017, ITP 2017 - Call for Participation

[geoff at ewell.cs.miami.edu]

         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