[TYPES/announce] Days in Logic 2018

[Luis Pinto]

------------------------------------------------------

Call for contributed talks and call for participation

DAYS IN LOGIC 2018
University of Aveiro, Aveiro, Portugal
25-27 January 2018
w3.math.uminho.pt/DiL2018

------------------------------------------------------


OVERVIEW

The 8th edition of Days in Logic will take place in University of Aveiro,
Aveiro, Portugal, 25-27 January 2018.

This biennial meeting aims at bringing together mathematicians,
computer scientists and other scientists from Portugal, and elsewhere,
with interest in Logic. It is specially directed to graduate students.

The programme will consist of three courses by invited speakers and contributed talks.

COURSES BY INVITED SPEAKERS

Patrick Baillot, CNRS, ENS Lyon, France* From linear logic to types for implicit computational complexity*  

Patrick Blackburn, University of Roskilde, Denmark
*Three Lectures on Hybrid Logic*

Dirk Hofmann, University of Aveiro, Portugal
*Duality Theory*

CALL FOR CONTRIBUTED TALKS

Please send a 1-page abstract (LaTeX and pdf, printable on A4 paper)
to one of the members of the organizing committee by 29 December.

CALL FOR PARTICIPATION

Please send an email with your name and affiliation to martins at ua.pt
as soon as possible. No registration fee is required.

ORGANIZING COMMITTEE

Manuel Martins (University of Aveiro), martins at ua.pt
Isabel Oitavem (New University of Lisbon), oitavem at fct.unl.pt
Luís Pinto (University of Minho), luis at math.uminho.pt

MORE INFORMATION

Please, consult:

w3.math.uminho.pt/DiL2018

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20171206/7180ea19/attachment-0001.html>