10 likes | 105 Vues
Join us at the LoCoCo’11 workshop to explore logics for enhancing component configuration and system design. Organized by experts from top European universities, this workshop promises insightful discussions and knowledge-sharing opportunities.
E N D
LoCoCo’11 @ Workshop on Logics for Component Configuration Workshop Organizers Conrad Drescher University of Oxford, UK InêsLynce INESC-ID, Portugal Ralf Treinen Université Paris-Diderot, France Programme Committee Fabien Dagnat(France) Conrad Drescher(UK) Gerhard Friedrich (Austria) Ulrich Junker (France) InêsLynce(Portugal) Toni Mancini (Italy)Albert Oliveras(Spain) CarstenSinz(Germany) Ralf Treinen(France) Nic Wilson (Ireland) September 12, 2011 University of Perugia, Italy