Eventos, 2015

Charla: Roslyn and .NET: modern open-source compiler design
(2015-03-23)


Charlista: 
Marcelo Lopez Ruiz
Fecha: 
24 Marzo, 2015 - 14:00
Sala: 
Auditorio DCC
Organización: 
Jorge Pérez



Charla: "Pushing the Boundaries of Tractable Ontology Reasoning"
(2015-03-17)


Charlista: 
David Carral Martínez (Wright State University)
Fecha: 
20 Marzo, 2015 - 10:00
Sala: 
Auditorio, Piso 3
Organización: 
DCC



Charla: CoqHoTT -- Coq for Homotopy Type Theory
(2015-03-05)


Charlista: 
Nicolas Tabareau, INRIA
Fecha: 
11 Marzo, 2015 - 12:00
Sala: 
Auditorio DCC, Piso 4
Organización: 
PLEIAD / É. Tanter



Automated Restoration of 3D Objects for Cultural Heritage Applications
(2015-03-05)


Charlista: 
Tobias Schreck, University of Konstanz
Fecha: 
12 Marzo, 2015 - 15:00
Sala: 
Auditorio DCC, Piso 3
Organización: 
DCC



Charla: Wyvern: An Extensible Language for Secure Systems
(2015-01-15)


Charlista: 
Jonathan Aldrich, Carnegie Mellon University
Fecha: 
21 Enero, 2015 - 14:00
Sala: 
Auditorio DCC, tercer piso.
Organización: 
PLEIAD



A Design Science Method for Developing IS Artefacts
(2015-01-05)


Charlista: 
Prof. Pedro Antunes, Professor at Victoria University of Wellington, New Zealand
Fecha: 
7 Enero, 2015 - 15:00
Sala: 
Auditorio DCC
Organización: 
DCC



Charla: "Security Challenges in the Chilean EMV payment system" / SUSPENDIDA
(2015-01-05)


Charlista: 
Leo Freitas, Martin Emms (Newcastle University), Francisca Moreno (Intel Security)
Fecha: 
22 Enero, 2015 - 12:00
Sala: 
Auditorio DCC, tercer piso.
Organización: 
CLCERT

 

Syndicate content