Conferences, Workshops Call for Contributed Talks: Days in Logic 2010 http://sites.google.com/site/daysinlogic2010/home 28-30 January 2010 @ DCC-FCU Porto This conference 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. Program: The conference is composed of three invited keynote courses, and contributed talks. The invited courses, with the duration of three hours each, are organized in three sessions of one hour. The contributed talks will have the duration of twenty minutes including discussion. The programme and timetable will appear soon. Invited keynote courses: Deirdre Haskell (Department of Mathematics and Statistics McMaster University, Canada): Title: Introduction to Model Theory Wafik Lotfallah (The AmericanUniversity in Cairo, Egypt): title and abstract to be announced. Wafik Lotfallah (The AmericanUniversity in Cairo, Egypt): title and abstract to be announced. Submissions: Authors wishing to give a talk at the meeting are requested to submit an abstract of 1 page (LaTeX and ps or pdf, printable on A4 paper) to days.in.logic@gmail.com by 13 January 2010. The abstracts of the accepted contributions will be available at the workshop. Registration: There are no registration fees, but registration is requested: please send an email to days.in.logic@gmail.com with your name and affiliation.
This event is organized by Luís Antunes (Dept. Computer Science, U. Porto, Portugal & SQIG- Instituto de Telecomunicações), João Rasga (Dep. Mathematics, Instituto Superior Técnico & SQIG- Instituto de Telecomunicações) and Mário Jorge Edmundo (DCeT, U. Aberta, Portugal & CMAF - U. de Lisboa), and sponsored by: Faculdade de Ciências da U. Porto; CMAF - U. de Lisboa; SQIG - Instituto de Telecomunicações).
| back |