EditWYSIWYGAttachPrintable
r7 - 28 Apr 2010 - 09:35:54 - UgoDallagoYou are here: TWiki >  Main Web > ProjectSeminars

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00

2010

  • 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"
Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r112 | r9 < r8 < r7 < r6 | 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.