Menu Principal

Developed in conjunction with Ext-Joom.com

LoLITA Seminar - 20&27Feb2015 - Thanos Tsouanas (DMAT/UFRN) - Auditório do CCET / UFRN

Further events promoted by the LoLITA (Group for Logic, Language, Information, Theory and Applications).

When: 
16:30, Feb 20 & Feb 27, 2015

Where:
Meeting Room DIMAp / UFRN


 

Speaker:
Thanos Tsouanas (DMAT / UFRN, BR)

Title:
A game semantics for disjunctive logic programs (part II)


Direct links:
http://tinyurl.com/LoLITA-TTsouanas-20151a
http://tinyurl.com/LoLITA-TTsouanas-20151b

Calendar:
http://tinyurl.com/Logica-UFRN

LoLITA Seminar - 17Dec2014 - Umberto Rivieccio (TU Delft) / João Marcos (UFRN) - Sala de Reuniões do DIMAp / UFRN

Another event promoted by the LoLITA (Group for Logic, Language, Information, Theory and Applications).

When: 
15:30, Dec 17, 2014

Where:
Meeting Room DIMAp / UFRN


Speaker 1: 
Umberto Rivieccio (TU Delft, NL)

Talk 1:
Many-valued modal logic over residuated lattices


Speaker 2: 
João Marcos (UFRN, BR)

Talk 2:
The future of bilattice-based reasoning


Direct link:
http://tinyurl.com/LoLITA-bilattice-20142

Calendar:
http://tinyurl.com/Logica-UFRN

 

LoLITA & ForAll Seminar - 26Nov2014 16:00-17:30

A seminar jointly promoted by the
LoLITA (Group for Logic, Language, Information, Theory and Applications)
and the ForAll (Group for Formal Methods and Languages)
@ DIMAp / UFRN.

When: 
16:00, Nov 26, 2014

Where:
Sala de Reuniões DIMAp / UFRN

Speaker :
Ezequiel Orbe
FaMAF, Universidad Nacional de Córdoba, CONICET

Talk:
Symmetries in Modal Logics: A Quick Tour

Direct link:
http://tinyurl.com/LoLITA-ForALL-EOrbe-20142

Calendar:
http://tinyurl.com/Logica-UFRN

LoLITA & ForAll Workshop - 1Dec2014 13:30-17:30

An international event jointly promoted by the
LoLITA (Group for Logic, Language, Information, Theory and Applications)
and the ForAll (Group for Formal Methods and Languages)
@ DIMAp / UFRN.

When: 
13:30, Dec 1, 2014

Where:
Sala de Reuniões DIMAp / UFRN


Speaker 1:
Carlos Areces
FaMAF, Universidad Nacional de Córdoba

Talk 1:
Basic Model Theory of XPath on Data Trees


Speaker 2:
Olivier Hermant
CRI, Mines ParisTech

Talk 2:
Double Negation Translations as Morphisms


Speaker 3:
Camilo Rueda
CIC - Pontificia Universidad Javeriana, Cali

Talk 3:
A Formal Translation from Event-B to Java and JML



Direct link:
http://tinyurl.com/LoLITA-ForALL-Workshop-20142

Calendar:
http://tinyurl.com/Logica-UFRN