[TYPES/announce] Days in Logic 2014

[José Carlos Espírito Santo]

Dear Moderator,

please distribute to the Types -announce mailing list the announcement 
below.

Thanks in advance,
José Espírito Santo

%---------------------------------------
(Apologies for cross-posting)

DAYS IN LOGIC 2014
University of Minho, Braga, Portugal
23-25 January 2014
w3.math.uminho.pt/~luis/DiL2014


ANNOUNCEMENT

The 6th edition of Days in Logic will take place in University of Minho, 
Braga, Portugal, 23-25 January 2014.

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

The programme consists of four courses by invited speakers and 
contributted talks.

INVITED SPEAKERS

Alex Simpson, University of Edinburgh, UK
Luís Antunes, University of Porto, Portugal
Mário Edmundo, Open University, Portugal
Michael Rathjen, University of Leeds, UK

CALL FOR CONTRIBUTED TALKS

Please send a 1-page abstract (LaTeX and pdf, printable on A4 paper) to 
the members of the organizing committe by 12 January.

ORGANIZING COMMITTEE

José Espírito Santo (University of Minho), jes at math.uminho.pt
Luís Pinto (University of Minho), luis at math.uminho.pt
Reinhard Kahle (New University of Lisbon), kahle at mat.uc.pt

MORE INFORMATION

For details about registration, venue, accomodation, sponsors, and the 
programme, consult:

w3.math.uminho.pt/~luis/DiL2014