Differences

This shows you the differences between two versions of the page.

Link to this comparison view

olderones [2016/09/27 16:43]
pantel [Previous activities]
olderones [2016/09/27 16:43] (current)
pantel [2015]
Line 2: Line 2:
  
 ==== 2015 ==== ==== 2015 ====
 +
 +  * 2015/12/18: Our contribution to Formal Aspects of Computing has been accepted.
 +  * 2015/10/21: Our contribution to HASE'2016 has been accepted.
 +  * 2015/09/26-30: Participation to the MODELS'2015 conference in Ottawa, Canada (talk at [[http://www.slideshare.net/MarcPantel/coping-with-semantic-variation-points-in-domainspecific-modeling-languages|EXE]] and [[http://www.slideshare.net/MarcPantel/a-lightweight-formal-encoding-for-a-constraint-language-dsml-component|OCLTM]])
 +  * 2015/09/09-11: ANR GEMOC project meeting in Sophia Antipolis, France
 +  * 2015/08/28: Talk at the real time systems summer school ETR 2015 in Rennes, France
 +  * 2015/08/24: Our contribution to the EXE workshop at MODELS 2015 has been accepted
 +  * 2015/08/22: Our contribution to the SETTA conference has been accepted
 +  * 2015/08/21: Our contribution to the OCL workshop at MODELS 2015 has been accepted
 +  * 2015/07/27: Our contribution to the SLE 2015 conference has been accepted
 +  * 2015/04/26-29: Participating at the Workshop on [[http://www.dagstuhl.de/no_cache/en/program/calendar/semhp/?semnr=15182|Qualification of Formal Methods Tools]] at [[http://www.dagstuhl.de|Dagstuhl Castle]] 
 +  * 2015/04/01-06: Visit to Eric FĂ©ron team in Georgia Tech (2 PhD defenses and a small course on aerospace certification and qualification) in Atlanta, USA
 +  * 2015/03/26-27: ANR GEMOC project meeting in Toulouse, France
 +  * 2015/03/24-25: FUI Projet P project meeting in Toulouse, France
 ==== 2014 ==== ==== 2014 ====
  
 
 
olderones.txt · Last modified: 2016/09/27 16:43 by pantel
Recent changes RSS feed Creative Commons License Valid XHTML 1.0 Valid CSS Driven by DokuWiki
Drupal Garland Theme for Dokuwiki