Menu Principal

Developed in conjunction with Ext-Joom.com

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

Share