CERN - ESTEREL

Thursday, 21 January 2016 - 09:00
CERN (864/1-A19)

        : Sessions
    /     : Talks
        : Breaks
21 Jan 2016
AM
09:00
CERN: Industrial Process Automation -Dr Enrique Blanco Vinuela (CERN) (until 10:00) (864/1-A19)
09:00 Process Control: Methodologies and Tools (UNICOS) - Dr Enrique Blanco Vinuela (CERN)   (864/1-A19)
09:20 Formal verification applied to process control - Borja Fernandez Adiego (CERN)   (864/1-A19)
09:40 Formal specification for UNICOS - Daniel Darvas (Budapest University of Technology and Economics (HU))   (864/1-A19)
10:00
ESTEREL: Industrial Automation Solutions (1) -Mr Jerome Poujardieu (ESTEREL - ANSYS) (until 10:30) (864/1-A19)
10:30 --- Coffee ---
10:45
ESTEREL: Industrial Automation Solutions (2) -Mr Jerome Poujardieu (ESTEREL-ANSYS) (until 11:45) (864/1-A19)
11:45
CONNEXION: Project presentation -Mr Jerome Poujardieu (ESTEREL-ANSYS) (until 12:30) (864/1-A19)
PM
12:30 --- Lunch ---
14:00
Wrap up and possible visit to EDF -Dr Enrique Blanco Vinuela (CERN) (until 15:00) (864/1-A19)