| Date/Time | Event |
|---|---|
|
29/04/2011 - 29/04/2011 10:00 -11:00 |
An introduction to the Ehrenfeucht-Fraïssé Games – From Game Theory to Models Anfiteatro do CCET, NATAL Rio Grande do Norte |
|
29/04/2011 - 29/04/2011 09:00 -10:00 |
(Non)Sequitur: Practicing Formal Semantics and Theorem Proving Anfiteatro do CCET, NATAL Rio Grande do Norte |
|
08/04/2011 - 08/04/2011 09:00 -10:00 |
Extension of T-subnorms on bounded lattices via retraction Auditório do CCET-UFRN, NATAL Rio Grande do Norte |
|
25/02/2011 - 25/02/2011 15:00 -16:00 |
Reasoning about the World as Process Auditório do CCET-UFRN, NATAL Rio Grande do Norte |
|
25/02/2011 - 25/02/2011 14:00 -15:00 |
Librationist Closures Auditório do CCET-UFRN, NATAL Rio Grande do Norte |
Powered by Events Manager