page_view

PhD Student Camillo Bruni from INRIA visits us

PhD Student Camillo Bruni from INRIA, Lille, visits us for one month.

Undefined

Irek Ulidowski from University of Leicester visits us

Irek Ulidowski (http://www.cs.le.ac.uk/people/iulidowski/), from University of Leicester, visits us and gives the talk "Modelling of bonding with processes and events".

Undefined

Diego Garbervetsky is giving a tutorial at Qest 2013 (co-located with Concur)

Diego Garbervetsky is giving a tutorial at Qest 2013 (co-located with Concur)

Tutorial: Quantitative analysis of heap memory requirements Java/.Net like programs

http://www.qest.org/qest2013/

Undefined

Nikolai Tillmann from Microsoft Research visits us

Nikolai Tillmann, from Microsoft Research, visits us and gave a course during our winter school.
http://www.dc.uba.ar/events/eci/2013/

English

Nir Piterman from University of Leicester visits us

Nir Piterman (http://www.cs.le.ac.uk/people/np183/) from University of Leicester visits us for 3 weeks.

English

PhD Student Pitter Wahl, from Eindhoven University of Technology, visits us

PhD Student Pitter Wahl, from Eindhoven University of Technology, visits us for 7 weeks

English

Nicolás D'Ippolito is visiting the NII@Tokyo

Nicolás is now at the National Institute of Informatics, Tokyo, Japan

Undefined

Pages