safecomp2014.unifi.it
Social Events | safecomp 2014
http://www.safecomp2014.unifi.it/social-events
How To Get There. Wednesday, 10 September evening Reception – 19:30. The SAFECOMP welcome reception will be held at the Harry’S Bar, a place with its authentic elegance, where most of the Florentines are used to meet to enjoy a cocktail or a glass of wine. Located in Lungarno Vespucci, it can be reached from the conference venue in less than 10 minutes walk across the city center, unless you don’t get lost while admiring the beautiful streets of downtown Florence.
efgproject.eu
Workplan - European Film Gateway
http://www.efgproject.eu/workplan.php
Read about EFG in. Website last updated: September 2011. The work of the EFG project is organised in eight workpackages (WPs), described below. Details on progress of project work and access to produced public deliverables will be provided from the Outcomes page. General presentation of the project work. WP1 User Needs and Service Requirements. Gathering information about user requirements. And expectations is the starting point of the project. WP 2 Technical Interoperability and Access. In which the com...
efgproject.eu
European Film Gateway: partners, film archives and cinémathèques
http://www.efgproject.eu/partners.php
Read about EFG in. Website last updated: September 2011. EFG includes 22 partners from 16 European countries. Deutsches Filminstitut - DIF e.V. With support from CNR-ISTI /. Association des Cinémathèques Européennes. Cinecittà Luce S.p.A. Cinemateca Portuguesa, Museu do cinema. Cineteca del Comune di Bologna. Role: techonology provider / WP2 leader. Role: content provider (associated partner). La Cinémathèque Française. Lichtspiel - Kinemathek Bern. Lietuvos Centrinis Valstybés Archyvas.
chess-project.org
Ana Rodriguez's Page - CHESS Project Website
http://www.chess-project.org/profile/AnaRodriguez
Ana Rodriguez's Page. Is now a member of CHESS Project Website. Nov 17, 2010. What is your name? What is your organisation? Do you have a web site? Http:/ www.gmv.com. You need to be a member of CHESS Project Website to add comments! 2016 Created by Scott Hansen.
chess-project.org
Mehrdad Saadatmand's Page - CHESS Project Website
http://www.chess-project.org/profile/MehrdadSaadatmand
Västerås, Västmanland. Mehrdad Saadatmand's Page. What is your name? What is your organisation? ENEA AB and Mälardalen University. Do you have a web site? Http:/ www.enea.com. You need to be a member of CHESS Project Website to add comments! 2016 Created by Scott Hansen.
chess-project.org
Gereon Weiss's Page - CHESS Project Website
http://www.chess-project.org/profile/GereonWeiss
Gereon Weiss's Page. Is now a member of CHESS Project Website. May 14, 2010. What is your name? What is your organisation? Do you have a web site? Http:/ www.esk.fraunhofer.de. You need to be a member of CHESS Project Website to add comments! 2016 Created by Scott Hansen.
chess-project.org
Leonardo Montecchi's Page - CHESS Project Website
http://www.chess-project.org/profile/LeonardoMontecchi
Leonardo Montecchi's Page. Is now a member of CHESS Project Website. Oct 2, 2010. What is your name? What is your organisation? Do you have a web site? Http:/ rcl.dsi.unifi.it/aboutus/leonardo.php. You need to be a member of CHESS Project Website to add comments! 2016 Created by Scott Hansen.
formalise.org
Keynote speaker: Aditya Nori | FormaliSE
http://www.formalise.org/node/21
FormaliSE: FME Workshop on Formal Methods in Software Engineering (15 May 2016, Austin, Texas, USA). Keynote speaker: Aditya Nori. Submitted by FormaliSE OC. On Sun, 02/02/2014 - 17:42. We are happy to announce that Professor Aditya Nori has accepted our invitation to give a keynote at FormaliSE 2014! An abstract will follow later.
formalise.org
Deadline extension | FormaliSE
http://www.formalise.org/node/36
FormaliSE: FME Workshop on Formal Methods in Software Engineering (15 May 2016, Austin, Texas, USA). On Thu, 01/22/2015 - 15:04. The submission deadline for FormaliSE 2015 has been extended to 30 january 2015. However, it is still required to submit (at least) an abstract by 23 January 2015 (the original deadline). This will enable the organisation to start the paper bidding process for PC members.