The Days in Logic 2010 conference runs from January 28 to 30 and 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 three previous
editions were held in:
* Lisboa (20088)
* Coimbra (20069)
* Braga (200410).
This event is organized by Luís Antunes (Dept. Computer Science, U.
Porto, Portugal & SQIG- Instituto de Telecomunicações), Mário Jorge
Edmundo (DCeT, U. Aberta, Portugal & CMAF - U. de Lisboa), and João
Rasga (Dep. Mathematics, Instituto Superior Técnico & SQIG- Instituto
de Telecomunicações), and sponsored by: Faculdade de Ciências da U.
Porto; CMAF - U. de Lisboa; SQIG - Instituto de Telecomunicações