Group for Logic, Language, Information, Theory, and Applications

Temos o prazer de convidar a todos para os seguintes seminários do LoLITA  (Group for Logic, Language, Information, Theory, and Applications) em colaboração com o Group for Logic and Formal Philosophy, ambos grupos de pesquisa da UFRN:

Mon Apr 6, 2015 4pm – 5:30pm
http://tinyurl.com/LFPhi-LoLITA-LHorsten-20151
Speaker:
  Leon Horsten
  http://www.bristol.ac.uk/school-of-arts/people/leon-f-horsten/
  University of Bristol, UK
Title:
  Fair infinite lotteries and infinitesimal probabilities
The event is partially funded by PPGFIL / UFRN.


Wed Apr 8, 2015 2pm – 4pm
http://tinyurl.com/LFPhi-VSvoboda-VPuncochar
Speakers:
(1) Vladimir Svoboda
  http://logika.flu.cas.cz/en/vladimir-svoboda/svoboda
  Academy of Sciences of the Czech Republic
Title:
  Deontic Logic and Language Games
(2) Vít Punčochář
  http://logika.flu.cas.cz/en/vit-puncochar/puncochar
  Academy of Sciences of the Czech Republic
Title:
  Logic of Assertability


Fri Apr 10, 2015 4pm – 6pm
http://tinyurl.com/LoLITA-DGilbert-GVenturi
Speakers:
(1) David Gilbert
  https://sites.google.com/site/davergilbert/
  UNICAMP
Title:
  Proof theory for classical modal logics: systems of rules
(2) Giorgio Venturi
  https://unicamp.academia.edu/GiorgioVenturi
  UNICAMP
Title:
  Reflexive insensitive modal logics


Todas as palestras ocorrerão na sala 2C1.  A participação nestes evento pode ser contabilizada na atividade de Seminários em Ciência da Computação, e é compulsória para alunos inscritos na disciplina de Seminários em Fundamentos da Computação.