Main.Événements History

Hide minor edits - Show changes to output

09/07/2015 15:45 by 132.166.177.50 -
Added line 5:
* [[http://vecos.ensta-paristech.fr/2015/|VECoS'2015]]: 9th International Workshop on Verification and Evaluation of Computer and Communication Systems, Bucharest, Romania - September 10-11, 2015 (''' Program chair ''')
Restore
03/09/2014 14:05 by 132.166.177.50 -
Changed line 6 from:
* [[http://www-rtns2014.cea.fr|RTNS'2014]]: 22nd International Conference on Real-Time Networks and Systems - 8-10 Oct. 2014 (''' General co-chair ''')
to:
* [[http://www-rtns2014.cea.fr|RTNS'2014]]: 22nd International Conference on Real-Time Networks and Systems - 8-10 Oct. 2014 (''' General Co-chair ''')
Restore
03/09/2014 14:05 by 132.166.177.50 -
Changed lines 5-9 from:
* [[http://www.mirlabs.net/isda14/|ISDA'2014]]: 14th International Conference on Intelligent Systems Design and Applications  - 27-30 Nov. 2014
* [[http://www-rtns2014.cea.fr|RTNS'2014]]: 22nd International Conference on Real-Time Networks and Systems - 8-10 Oct. 2014
* [[http://vecos.ensta-paristech.fr/2014/|VECoS'2014]]: 8th International Workshop on Verification and Evaluation of Computer and Communication Systems  - 29-30 Sep. 2014
* [[http://vecos.ensta-paristech.fr/2013/|VECoS'2013]]: 7th International Workshop on Verification and Evaluation of Computer and Communication Systems  - 21-22 Novp. 2013
* [[http://vecos.ensta-paristech.fr/2012/|VECoS'2012]]: 6th International Workshop 27-08 Aug. 2012
to:
* [[http://www.mirlabs.net/isda14/|ISDA'2014]]: 14th International Conference on Intelligent Systems Design and Applications  - 27-30 Nov. 2014 (''' Special Session Co-chair ''')
* [[http://www-rtns2014.cea.fr|RTNS'2014]]: 22nd International Conference on Real-Time Networks and Systems - 8-10 Oct. 2014 (''' General co-chair ''')
* [[http://vecos.ensta-paristech.fr/2014/|VECoS'2014]]: 8th International Workshop on Verification and Evaluation of Computer and Communication Systems  - 29-30 Sep. 2014 (''' PC member ''')
* [[http://vecos.ensta-paristech.fr/2013/|VECoS'2013]]: 7th International Workshop on Verification and Evaluation of Computer and Communication Systems - 21-22 Novp. 2013 (''' PC member ''')
* [[http://vecos.ensta-paristech.fr/2012/|VECoS'2012]]: 6th International Workshop 27-08 Aug. 2012 (''' PC member ''')
Restore
03/09/2014 14:01 by 132.166.177.50 -
Changed lines 2-5 from:
''' [++Séminaires++] '''\\
\\

# ''' [+Rigorous Design of Component-Based Systems — The BIP Component Framework+] ''' (30/01/2014 - [[Attach:Verimag_RISD_Annonce.pdf|Annonce & Accès]])
to:
''' [++Confs & Workshops++] '''
Added lines 4-14:

* [[http://www.mirlabs.net/isda14/|ISDA'2014]]: 14th International Conference on Intelligent Systems Design and Applications  - 27-30 Nov. 2014
* [[http://www-rtns2014.cea.fr|RTNS'2014]]: 22nd International Conference on Real-Time Networks and Systems - 8-10 Oct. 2014
* [[http://vecos.ensta-paristech.fr/2014/|VECoS'2014]]: 8th International Workshop on Verification and Evaluation of Computer and Communication Systems  - 29-30 Sep. 2014
* [[http://vecos.ensta-paristech.fr/2013/|VECoS'2013]]: 7th International Workshop on Verification and Evaluation of Computer and Communication Systems  - 21-22 Novp. 2013
* [[http://vecos.ensta-paristech.fr/2012/|VECoS'2012]]: 6th International Workshop 27-08 Aug. 2012

''' [++Séminaires++] '''
----

# ''' [+Rigorous Design of Component-Based Systems — The BIP Component Framework+] ''' (30/01/2014 - [[Attach:Verimag_RISD_Annonce.pdf|Annonce & Accès]])
Deleted lines 19-20:
\\
Deleted line 20:
----
Deleted line 21:
Restore
22/04/2014 18:30 by 132.166.177.50 -
Restore
04/02/2014 17:21 by 132.166.177.50 -
Changed line 5 from:
# ''' [+Rigorous Design of Component-Based Systems — The BIP Component Framework+] ''' (30/01/2014 - [[Attach:Verimag_RISD_Annonce.pdf|Annonce & Accès]]
to:
# ''' [+Rigorous Design of Component-Based Systems — The BIP Component Framework+] ''' (30/01/2014 - [[Attach:Verimag_RISD_Annonce.pdf|Annonce & Accès]])
Changed line 14 from:
# ''' [+Specifying Systems with Mathematics:the TLA\+ Language and Tools+] ''' (27/06/2013 - [[Attach:Leslie-Lamport_Annonce.pdf|Annonce & Accès]]
to:
# ''' [+Specifying Systems with Mathematics:the TLA+ Language and Tools+] ''' (27/06/2013 - [[Attach:Leslie-Lamport_Annonce.pdf|Annonce & Accès]])
Changed line 16 from:
* Specifying Systems with Mathematics:the TLA\+ Language and Tools ([[http://www.lamport.org|Leslie Lamport]], Senior Scientist at Microsoft Corporation)
to:
* Specifying Systems with Mathematics:the TLA+ Language and Tools ([[http://www.lamport.org|Leslie Lamport]], Senior Scientist at Microsoft Corporation)
Restore
04/02/2014 13:59 by 132.166.177.50 -
Restore
04/02/2014 13:59 by 132.166.177.50 -
Changed line 16 from:
* Specifying Systems with Mathematics:the TLA\+ Language and Tools ([http://www.lamport.org|Leslie Lamport], Senior Scientist at Microsoft Corporation)
to:
* Specifying Systems with Mathematics:the TLA\+ Language and Tools ([[http://www.lamport.org|Leslie Lamport]], Senior Scientist at Microsoft Corporation)
Restore
04/02/2014 13:58 by 132.166.177.50 -
Changed line 16 from:
* Specifying Systems with Mathematics:the TLA\+ Language and Tools ([[http://www.lamport.org|Leslie Lamport]], Senior Scientist at Microsoft Corporation)
to:
* Specifying Systems with Mathematics:the TLA\+ Language and Tools ([http://www.lamport.org|Leslie Lamport], Senior Scientist at Microsoft Corporation)
Restore
04/02/2014 13:57 by 132.166.177.50 -
Changed lines 10-18 from:
* Mixed-critical scheduling (Dario SOCCI, Phd, Verimag-UJF)([[Attach:Pres_Mixed_Crit_Sched.pdf|PDF]])
to:
* Mixed-critical scheduling (Dario SOCCI, Phd, Verimag-UJF) ([[Attach:Pres_Mixed_Crit_Sched.pdf|PDF]])

\\

# ''' [+Specifying Systems with Mathematics:the TLA\+ Language and Tools+] ''' (27/06/2013 - [[Attach:Leslie-Lamport_Annonce.pdf|Annonce & Accès]]
----
* Specifying Systems with Mathematics:the TLA\+ Language and Tools ([[http://www.lamport.org|Leslie Lamport]], Senior Scientist at Microsoft Corporation)

Restore
04/02/2014 13:49 by 132.166.177.50 -
Changed line 5 from:
# ''' [+Rigorous Design of Component-Based Systems — The BIP Component Framework+] ''' (30/01/2014)
to:
# ''' [+Rigorous Design of Component-Based Systems — The BIP Component Framework+] ''' (30/01/2014 - [[Attach:Verimag_RISD_Annonce.pdf|Annonce & Accès]]
Changed line 7 from:
* Rigorous flow design of BIP (Saddek BENSALEM, Professor, Verimag-UJF)
to:
* Rigorous flow design of BIP (Saddek BENSALEM, Professor, Verimag-UJF) ([[Attach:Pres_BIP.pdf|PDF]])
Changed lines 9-10 from:
* BIP real-time (Jacques COMBAZ, Research Engineer, Verimag-CNRS)
* Mixed-critical scheduling (Dario SOCCI, Phd, Verimag-UJF)
to:
* BIP real-time (Jacques COMBAZ, Research Engineer, Verimag-CNRS) ([[Attach:Pres_Real_Time_BIP.pdf|PDF]])
* Mixed-critical scheduling (Dario SOCCI, Phd, Verimag-UJF)([[Attach:Pres_Mixed_Crit_Sched.pdf|PDF]])
Restore
04/02/2014 13:43 by 132.166.177.50 -
Deleted line 0:
(:nogroupheader:)
Changed lines 2-10 from:
to:
''' [++Séminaires++] '''\\
\\

# ''' [+Rigorous Design of Component-Based Systems — The BIP Component Framework+] ''' (30/01/2014)
----
* Rigorous flow design of BIP (Saddek BENSALEM, Professor, Verimag-UJF)
* A General Framework for Architecture Composability (simon BLIUDZE, RISD-EPFL)
* BIP real-time (Jacques COMBAZ, Research Engineer, Verimag-CNRS)
* Mixed-critical scheduling (Dario SOCCI, Phd, Verimag-UJF)
Restore
04/02/2014 13:30 by 132.166.177.50 -
Added lines 1-7:
(:nogroupheader:)
(:if userlang fr:)


(:if userlang en:)
Under Construction
(:if:)
Restore