Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] F-IDE 2016: Deadline extension

  • Subject: [Frama-c-discuss] F-IDE 2016: Deadline extension
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
  • Date: Mon, 22 Aug 2016 10:21:17 +0200
Dear Frama-C users,

this is just to inform you that deadlines for F-IDE have been extended:

Abstract submission: August 24, 2016
Paper submission: August 31, 2016

2016-07-26 8:51 GMT+02:00 Virgile Prevosto <virgile.prevosto at m4x.org>:
> --------------------------------------------------------------------------------------
> CfP: F-IDE2016, 3rd Workshop on Formal Integrated Development Environment
> A satellite workshop of FM2016, November 8, 2016, Limassol, Cyprus
>
> Submission due: August 14, 2016
> Website: https://sites.google.com/site/fideworkshop2016/
> --------------------------------------------------------------------------------------
>
> Formal Integrated Development Environment (F-IDE) is a workshop
> dedicated to formal tools for the rigorous specification, design,
> analysis, and documentation of a system.
>
> Topics of interest include (but are not limited to):
> - F-IDE building: design and integration of languages, compilation
> - How to make high-level logical and programming concepts palatable to
> industrial developers
> - Integration of Object-Oriented and modularity features
> - Integration of static analyzers
> - Integration of automatic proof tools, theorem provers and testing tools
> - Documentation tools
> - Impact of tools on certification
> - Experience reports of developing F-IDE
> - Experience reports of using F-IDE
> - Experience reports of formal methods-based assessments of industrial
> applications
>
> SUBMISSION INFORMATION
> Submitted papers should not exceed 15 pages in LNCS format, not
> counting references and appendices, and follow the FM 2016 Format and
> Submission Guidelines. Papers can be submitted through EasyChair,
> using the following link:
> https://easychair.org/conferences/?conf=fide2016
>
> PROCEEDINGS
> Post proceedings will be published with Electronic Proceedings in
> Theoretical Computer Science (ETPCS).
>
> IMPORTANT DATES
> - Abstract submission: August 14, 2016
> - Paper Submission: August 21, 2016
> - Notification: September 30,2016
> - Camera-ready: October 15, 2016
> - Workshop: November 8, 2016
>
> KEYNOTE SPEAKER
> Kim G. Larsen, prime investigator of the real-time verification system
> UPPAAL, will give an invited talk to our workshop!
>
> PC CO-CHAIRS
> Catherine Dubois, Samovar / ENSIIE
> Dominique Mery, LORIA / Universite de Lorraine
> Paolo Masci, HASLab/INESC-TEC and Universidade do Minho
>
> PROGRAM COMMITTEE
> Bernhard Becket, Karlsruhe Institute of Technology
> Jens Bendisposto, University of Dusseldorf
> Jose C. Campos, HASLab/INESC-TEC and Universidade do Minho
> Paul Curzon, Queen Mary University of London
> Michalis Famelis, University of British Columbia
> Camille Fayollas, IRIT/LAAS
> Carlo A. Furia, Chalmers University of Technology
> Andrew Gacek, Rockwell Collins, Inc.
> Temesghen Kashai, NASA Ames/CMU
> Kenneth Lausdahl, Aarhus University
> Rustan Leino, Microsoft Research
> Stefan Mitsch, Carnegie Mellon University
> Patrick Oladimeji, Swansea University
> Andrei Paskevich, Universite Paris-Sud/LRI
> Francois Pessaux, ENSTA ParisTech
> Marie-Laure Potet, Laboratoire Verimag
> Virgile Prevosto, CEA Tech List
> Steve Reeves, Waikato University
> Bernhard Rumpe, RWTH Aachen University
> Carlo Sacerdoti Coen, University of Bologna
> Enrico Tassi, INRIA
> Laurent Voisin, Systerel
> Makarius Wenzel, sketis.net
> Yi Zhang, CDRH/FDA


-- 
E tutto per oggi, a la prossima volta
Virgile