r17 - 16 Jan 2011 - 17:32:36 - DavideSangiorgiYou are here: TWiki >  Main Web > ProjectSeminars

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"


  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"


  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
  • 27.1.2010. Ivan Lanese presented some recent work on evolvability
  • 3.2.2010. Elena Giachino presented some models for software families (discussion on papers from Hats). Part I
  • 10.2.2010. Elena Giachino presented some models per software families (discussion on papers from Hats). Part II
  • 17.2.2010. Laura Bocchi: "A theory of design-by-contract for distributed multiparty interactions"
  • 3.3.2010. Mario Bravetti discussed the paper "Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009"
  • 24.3.2010. Michael Lienhardt (INRIA Grenoble) "Components and Types: The component language Oz/K "
  • 7.4.2010. Elena Giachino discussed the ABS language
  • 28.4.2010. Stefania Gnesi (ISTI-CNR): "A logical framework to deal with variability"
  • 19.5.2010. Davide Sangiorgi reported on the recent Hats meeting in Amsterdam; and Gianluigi Zavattaro discussed about evolvability in CCS
  • 26.5.2010. Marco Gaboardi: " Stream Programs Analysis" (sala riunioni 2)
  • 16.6.2010. Ugo Dal Lago: " Functional Programming in Sublinear Space"
  • 30.6.2010. Yannick Welsch: "Class equivalence and object immutability in Java"
  • 15.9.2010. Davide Sangiorgi: report on the meeting Hats ; Ivan Lanese: report on Concur
  • 29.9.2010. Reports on Lics and Concur from various people
  • 6.10.2010. Marco Patrignani (U. Leuven): "Ownership types"
  • 13.10.2010. Michael Lienhardt, report on some papers on evolvability of components
  • 20.10.2010. Immo Grabe (CWI, Amsterdam): "Towards static deadlock detection in Creol "
  • 3.11.2010. Davide Sangiorgi, discussion on the Inria Activity Report for Focus
  • 10.11.2010. Michael Lienhardt, discussion on "delta models for evolvability/variability of objects".
  • 15.11.2010. Lucian Wischik (Microsoft) "Asynchrony; a new language feature in C# and VB"
  • 24.11.2010. Roberto Zunino (UniversitÓ di Trento), "A Calculus of Contracting Processes"
  • 15.12.2010. Inria/University of Bologna meeting, see details here
Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r112 | r19 < r18 < r17 < r16 | More topic actions...
Powered by TWiki
This website uses only proprietary and third party technical cookies to ensure the correct operation of its web pages and to improve its services.
By continuing to navigate the website you consent to the use of cookies. To learn more, or deny your consent, consult the privacy policy
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.