--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on August 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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