23-25 January, Universidade do Minho, Braga, Portugal

Call for contributed talks

The meeting includes sessions of contributed talks of 25 minutes each.

Authors wishing to give a talk at the meeting are requested to submit an abstract of 1 page (LaTeX and pdf, printable on A4 paper) to the organizers, by January 12, 2014.

List of accepted talks:

(booklet of abstracts here)

Diana Costa, Dept. Mathematics, Univ. Aveiro, Portugal
(with: Manuel A. Martins)

Paraconsistency in hybrid logic (abstract)

Eduardo Hermo Reyes, Dept. Logic, History and Philosophy of Science, Univ. Barcelona, Spain
(with: Joost J. Joosten, and Laia Jornet Somoza)

Worms, Ordinal Worms and Ordinal Analysis (abstract)

Fernando Ferreira, Univ. Lisboa, Portugal

New proof-theoretic facts about KPω (abstract)

Filipe Casal, SQIG, Instituto de Telecomunicações, Lisboa, Portugal
(with: João Rasga)

SMT and Theory Combination Techniques (abstract)

Jaime Gaspar, Dept. Comp. Eng. and Math., Univ. Rovira i Virgili, Catalonia, Spain, and CMA, Univ. Nova Lisboa, Portugal

Completeness of Peano arithmetic with the ω-rule (abstract)

João Enes, Univ. Lisboa, Portugal

A new interpretation of ID1 in ID1(W) (abstract)

Luís Barbosa, INESC TEC - HASLab, Univ. Minho, Portugal
(with: Alexandre Madeira, Manuel A. Martins, and Renato Neves)

Hybridize to Specify: institution-independent foundations for reconfigurable systems specification (abstract)

Mário Pereira, LIACC and Dept. Computer Science, Univ. Porto, Portugal
(with: Sandra Alves, and Mário Florido)

Liquid Types Revisited (abstract)

Pridon Alshibaia, Tbilisi State Univ., Georgia

On Finitely Valued Bimodal Symmetric Gödel Logics (abstract)

Tarmo Uustalu, Institute of Cybernetics and Tallinn Univ. of Technology, Estonia
(with: James Chapman and Niccolò Veltri)

Finiteness and rational datatypes, constructively (abstract)