EditWYSIWYGAttachPrintable
r4 - 23 Mar 2010 - 11:55:39 - DavideSangiorgiYou are here: TWiki >  Main Web > ProjectSeminars

Focus meetings 2010

The meetings take place on the Wednesday's, between 12 and 13

  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"

  • 27/01/10. Ivan Lanese will present some recent work on evolvability

  • 3/02/10. Elena Giachino: modelli per software family (discussion on papers from Hats). Part I

  • 10/02/10. Elena Giachino: modelli per software family (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. Discussion on the paper "Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009: 470-494. "

  • 24.3.2010. Michael Lienhardt (Inria Grenoble) "Components and Types: The component language Oz/K "
Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r112 | r6 < r5 < r4 < r3 | 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.