This event will be held from August 6th to August 9th at the Centre for Logic, Epistemology and the History of Science – CLE, State University of Campinas –UNICAMP within the scope of the international project “MaToMUVI - Mathematical Tools for the Management of Uncertain and Vague Information”.
MaToMUVI is a research project involving 13 Universities in Argentina, Brazil, Italy and Spain funded by Marie Curie International Research Staff Exchange Scheme (IRSES) 2009 project and co-funded by the European Commission within "Marie Curie" actions of the Seventh Framework Programme
Schedule:
Tutorials/Mini-Courses:
From August 6th to August 9th: Monday to Thursday
Tutorials and mini-courses (for students and young researchers)
1 - PROBABILISTIC SATISFIABILITY
Glauber de Bona and Marcelo Finger
2 sessions, 2 hours each
Abstract (Pdf file): here!
2 - POSSIBLE-TRANSLATIONS SEMANTICS AS A TOOL FOR UNCERTAINTY
Walter Carnielli
1 session, 2 hours
Abstract (Pdf file): here!
3 - NEW PERSPECTIVES ON POSSIBLE-TRANSLATIONS SEMANTICS
Hugo Mariano
1 session, 2 hours
Abstract (Pdf file): here!
4 - TOPICS IN PARACONSISTENCY
Marcelo Coniglio
2 sessions, 2 hours each
Abstract (Pdf file): here!
Main talks/Conferences:
Starting August 10th (Friday) and from August 13th to 15th (Monday to Wednesday)
Social Activities
August 11th and 12th: Saturday/Sunday
Period of staying for European researchers (also Argentinian):
From August 05th to September 05th (about 1 month)
For Further information: http://www.cle.unicamp.br/principal/pmuv/#