Mais eventos do LoLITA
(Group for Logic, Language, Information, Theory, and Applications)
do DIMAp/UFRN, desta vez parcialmente em colaboração com o ForAll
(Formal Methods and Languages Research Laboratory)
e com o LFPhi
(Group for Logic and Formal Philosophy)
do DeFil/UFRN.
Serão duas palestras no dia 10 de abril pela manhã e 5 palestras no
dia 12 de abril à tarde, com a participação de dois pesquisadores
indianos e de dois pesquisadores italianos.
Estão todos convidados!
* * *
10Apr2013
LoLITA - Mihir Chakraborty (Kolkata) and Soma Dutta (Chennai)
Graded consequence
http://goo.gl/gmH8p
10Apr2013
LoLITA & ForAll - Marco Volpe (Verona)
Formal Methods applied to information security
http://goo.gl/vN1jG
12Apr2013, 14:00
LoLITA - Bivalent semantics & tableaux for many-valued logics
João Marcos & Marco Volpe
http://goo.gl/yYsSQ
12Apr2013, 16:00
LoLITA & LFPhi - Graded consequence
Mihir Chakraborty & Soma Dutta
Gianluigi Bellin: "Modal intuitionistic logic and Lax Logic"
Mihir Chakraborty: "Rough logics"
Soma Dutta: "Graded consequence with fuzzy set of premises"
http://goo.gl/GhS0c
* * *
--
http://sequiturquodlibet.googlepages.com/
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
