Previous activities

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 EXE and 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 Qualification of Formal Methods Tools at 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/12/10-12: ANR GEMOC project meeting in Rennes, France
  • 2014/11/03: Talk at the ICFEM'2014 conference in Luxembourg, Luxembourg
  • 2014/10/22-24: ANR GEMOC project meeting in Sophia Antipolis, France
  • 2014/10/01-02: FUI Projet P meeting in Rocquencourt, France
  • 2014/09/25: Talk at the GDR GPL Défis in Paris, France
  • 2014/09/08-12: Two talks given at the CESEC summer school in Toulouse, France
  • 2014/07/07-09: ANR GEMOC project meeting in Toulouse, France
  • 2014/06/27: Our contribution to MEDI 2014 has been accepted
  • 2014/06/20: Our contribution to ICFEM 2014 has been accepted
  • 2014/06/18: ANR IMPEX project meeting in IRIT-ENSEEIHT, Toulouse, France
  • 2014/06/17: Participation to Andre Maroneze PhD defense committee in Rennes, France
  • 2014/06/16: ANR GEMOC project meeting in Rennes, France
  • 2014/06/10-14: Participation to the AFADL/CAL/CIEL/GDR GPL 2014 joint conferences
  • 2014/06/07: Our contribution to SPLC 2014 has been accepted
  • 2014/06/04-06: Participation to the ABZ 2014 conference in Toulouse, France
  • 2014/06/02-03: ANR GEMOC Project meeting and mid-term assessment in ANR, Paris, France
  • 2014/05/21-23: ANR GEMOC Project meeting in ENSTA Bretagne, Brest, France
  • 2014/05/12-14: ANR VORACE Project meeting in IRIT-ENSEEIHT, Toulouse, France
  • 2014/04/16-17: Participation to the Workshop “Formalisation des Activités Concurrentes”, Toulouse, France
  • 2014/03/26-28: ANR GEMOC Project meeting at THALES Research & Technology, Saclay, France
  • 2014/03/19-20: ANR IMPEX Project meeting at SupElec, Gif/Yvette, France
  • 2014/02/10: Our contribution to the FESCA workshop at ETAPS has been accepted
  • 2014/02/05-07: Presentation of 5 talks at the ERTSS-2014 conference, Toulouse, France
  • 2014/02/03-05: Hosting the SAE AADL committee meeting at IRIT-N7, Toulouse, France

2013

  • 2013/11/12-14: GEMOC Project meeting at INRIA Bretagne Atlantique, Rennes, France
  • 2013/10/24-25: FUI Project P meeting at INRIA Rocquencourt, Versaille, France
  • 2013/09/29-10/04: Participation to the MODELS'2013 conference in Miami Beach, Florida, USA
  • 2013/09/04-06: ANR GeMoC meeting in Toulouse, France
  • 2013/08/28: ITEA openETCS project restructuring in Paris, France
  • 2013/08/27: ITEA openETCS SysML use meeting in Paris, France
  • 2013/07/08-10: Invited talk to SATToSE'2013 in Bern, Switzerland
  • 2013/07/02: GlobalDSL workshop at EC*'2013 (ECOOP/ECMFA/ECSA) in Montpellier, France
  • 2013/07/01: GeMoC initiative meeting at EC*'2013 (ECOOP/ECMFA/ECSA) in Montpellier, France
  • 2013/06/28: Control Software Verification Workshop in Mountain View, USA
  • 2013/06/26-27: Visit to NASA Ames Research Center in Mountain View, USA
  • 2013/06/25: Visit to NIA Langley Research Center in Norfolk, USA
  • 2013/06/24: Visit to NASA Langley Research Center in Norfolk, USA
  • 2013/06/05: Teaching at the LIESSE Python course for CPGE teachers in Toulouse, France
  • 2013/06/04: Participation and hosting of an Eclipse PolarSys Industrial Working Group meeting at ENSEEIHT in Toulouse, France
  • 2013/05/30: Our contribution to Models'2013 has been accepted.
  • 2013/05/27-29: 3rd ANR INS GeMoC project meeting at INRIA'Sophia Antipolis in Antibes, France
  • 2013/05/23: Teaching at the LIESSE Python course for CPGE teachers in Toulouse, France
  • 2013/05/15: Visit to INRIA Triskell team to work on GeMoC in Rennes, France
  • 2013/04/24-26: Teaching at the LIESSE Python course for CPGE teachers in Toulouse, France
  • 2013/04/18: AADL@AdaCore day in Paris, France
  • 2013/04/17: Meeting of the AADL french initiative at TelecomParisTech in Paris, France
  • 2013/04/15-16: openETCS WP7 workshop in Munich, Germany
  • 2013/04/10-11: Communications presented by Ning and Arnaud at the FAC days in Toulouse, France
  • 2013/04/09-11: Project P meeting at Astrium in Toulouse, France
  • 2013/04/02-04: GDR/CIEL/AFADL meeting in Nancy, France
  • 2013/03/22: ANR VORACE project kickoff at ENSEEIHT in Toulouse, France
  • 2013/03/19-20: 2nd ANR INS GeMoC project meeting at ENSTA'Bretagne in Brest, France
  • 2013/02/27-03/01: (Cancelled) Visit to the Cybernetics Institute of the Tallinn University of Technology in Tallinn, Estonia
  • 2013/02/04: Transformation V&V meeting at école des Mines ParisTech' in Paris, France
  • 2013/01/29: ANR ASTRID 2012 projects kickoff at ANR in Paris, France
  • 2013/01/15-17: Quarterly Project P and HiMoCo meeting in Paris, France

2012

  • 2012/12/19: Member of the PhD defense committee of Quyet-Thang Pham in Telecom'Bretagne, Brest, France
  • 2012/12/18: Final evaluation of the quarteFt project in LAAS, Toulouse, France
  • 2012/12/12: Final evaluation of the OPEES project in CNES, Paris, France
  • 2012/12/11: Kick off of the WP4 in the OpenETCS project in Telecom ParisTech, Paris, France
  • 2012/12/10: CENELEC formation by All4TEC in Telecom ParisTech, Paris, France
  • 2012/12/4-5: Participation to the kickoff of the ANR INS GEMOC project, Rennes, France
  • 2012/10/22-23: Keynote about Formal Methods in Aerospace given at FMCAD'2012 with Eric Féron, Pete Manolios, Guillaume Brat and Pierre-Loïc Garoche in Cambridge, England
  • 2012/10/15-16: Participation to an OPEES project meeting in Rennes, France
  • 2012/10/8-10: Organization of a P project meeting in Toulouse, France
  • 2012/09/6: Participation to an HiMoCo/P project meeting in Paris, France
  • 2012/09/4-5: Participation to a quarteFt project meeting in Brest, France
  • 2012/08/29-32: Participation to FM'2012 in Paris
  • 2012/08/27: Presentation of our contribution to UML&FM at FM'2012 in Paris
  • 2012/08/21: Our contribution to ITSLE at SLE'2012 has been accepted
  • 2012/08/03: Submission of one contribution to AMT at Models'2012
  • 2012/08/03: Submission of one contribution to Modevva at Models'2012
  • 2012/07/31: Submission of one contribution to OCL at Models'2012
  • 2012/06/30: Submission of one contribution to ITSLE at SLE'2012
  • 2012/06/21-22: Participation to a Projet P meeting in Paris
  • 2012/06/05: Submission of one contribution to APSEC'2012
  • 2012/05/14: Our contributions to ISOLA'12 have been accepted
  • 2012/05/04: Our contribution to UML&FM'12 has been accepted
  • 2012/04/30: Submission of two contributions to ICFEM'2012
  • 2012/04/27: Submission of one contribution to WCET'2012
  • 2012/04/27: Submission of two contributions to ISOLA'2012
  • 2012/03/23: Our contribution to ECMFA'12 has been accepted.
  • 2012/03/30-04/01: Participation to LDTA'2012 at ETAPS'2012 conference
  • 2012/03/28-30: Organisation of a Projet P/HiMoCo project meeting in Toulouse, France
  • 2012/03/21-22: Organisation of a quarteFt project meeting in Toulouse, France
  • 2012/03/13-14: Participation in an OPEES meeting in Bilbao, Spain
  • 2012/03/: Submission of three contributions to CIEL 2012
  • 2012/03/: Submission of one contribution to UML&AADL 2012
  • 2012/02/26: Submission of three contributions to ECMFA'2012 (see ECMFA2012)
  • 2012/02/09-10: Participation to an openETCS meeting in Frankfurt, Germany (reduced to a web-conference due to snow in Toulouse and airplane strike in France)
  • 2012/02/08: Participation to a CESAR meeting in Oxford, England (reduced to a web-conference due to snow in Toulouse and airplane strike in France)
  • 2012/02/01-03: Presentation of our three contributions to the ERTSS conference in Toulouse, France
  • 2012/01/30-02/01: Organisation of the AADL consortium meeting at IRIT in Toulouse, France
  • 2012/01/26: Submission of one contribution to ICMT'2012 (see Model transformation specification and verification page)
  • 2012/01/25: Participation to an openETCS meeting in Paris, France
  • 2012/01/23: Eric Féron, professor at Georgia Tech is visiting our team for 3 months thanks to INPT and RTRA STAE funding
  • 2012/01/20: Our contribution to LDTA'2012 at ETAPS'2012 has been accepted (see LDTA2012)
  • 2012/01/20: Timothy Wang, PhD student in Eric Féron team at Georgia Tech is visiting our team for 3 months
  • 2012/01/09-11: Participation to a Projet P meeting in Paris, France

2011

  • 2011/12/23: Our extended contribution to EduSymp'2011 has been accepted for publication in the post-proceedings
  • 2011/12/14: Participation to the SysML France meeting in Toulouse, France
  • 2011/11/30-12/02: Participation to a CESAR project meeting in Salzburg, Austria
  • 2011/11/23: Participation to an OPEES project meeting in Paris, France
  • 2011/11/17: Participation to an EICOSE meeting in Brussels, Belgium
  • 2011/10/29: Participation to a Workshop on Control System and Software Verification and Validation, Georgia Institute of Technology, organized by Eric Féron
  • 2011/10/28: Submission of two abstracts to the ICST 2012 conference
  • 2011/10/18: Presentation by Benoît Combemale of our EduSymp contribution at the MODELS 2011 conference
  • 2011/10/10-11: First meeting of the FUI Projet P project at IRIT on the N7 site
  • 2011/09/30: Three contributions have been accepted at the ERTSS 2012 conference
  • 2011/09/27-28: Participation to a quarteFt meeting in Toulouse, France
  • 2011/09/22-23: Participation to an OPEES meeting in Saclay, France
  • 2011/09/14-16: Presentation by Mounira Kezadri of our contribution at the FACS conference
  • 2011/08/29-09/01: Local organiser for the meeting of the RTCA SC-205 and EUROCAE WG-71 related to software considerations in the aeronautics domain (DO178 and ED12 revision C) at ENSEEIHT, Toulouse, France
  • 2011/07/06: Participation in Nassima Izerrouken PhD defense committee
  • 2011/06/23: Visit of Francesco Logozzo. A talk is given at the Séminaire de Vérification de Toulouse
  • 2011/06/22: Participation at the Obeo Designer Road Show in Toulouse roundtable (GPML vs DSML)
  • 2011/06/15: Our contribution to TSI on GeneAuto experiment has been published
  • 2011/06/14-16: Participation to OPEES meeting in Leuven, Belgique
  • 2011/06/07-10: Participation at the Journées du GDR GPL and Journées IDM in Lille, France
  • 2011/05/30-06/01: Participation to quarteFt meeting in Nancy, France
  • 2011/04/20-21: Participation to EICOSE meeting in Frankfurt, Germany
  • 2011/04/19: Participation to AIRSYS annual meeting in Toulouse, France
  • 2011/04/11-15: Visit of Tarmo Uustalu for our PHC PARROT project. A talk is given at the Séminaire de Vérification de Toulouse
  • 2011/04/06-07: Participation to Journées FAC in Toulouse, France
  • 2011/03/22-24: Participation to CESAR SP3 meeting in Compiègne, France
  • 2011/02/22-23: Participation to quarteFt meeting in Toulouse, France
  • 2011/02/08-09: Participation to VeriFME meeting in Toulouse, France
  • 2011/02/02-04: Local organisation of the first TOPCASED Days
  • 2011/01/17-21: Visit to Tallinn, Estonia for our PHC PARROT project

2010 and before

Did not register them…

 
 
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