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)