[ecoop-info] [nwpt-info] iFM 2018 Call For Papers

[baskas at ktl.mii.lt]

https://www.youtube.com/results?search_query=antanas+baskas
https://www.youtube.com/watch?v=tM4LQYHz1-Y



2018 Balandis 16, 12:07 pm, Pir Hao Wu rašė:
> ===========================================================
> CALL FOR PAPERS
> iFM 2018
>
> 14th International Conference on integrated Formal Methods
> September 5-7, 2018, Maynooth, Ireland
>
>
> https://ifm2018.cs.nuim.ie/
> ===========================================================
>
>
> == News ==
>
>
> - Extended deadlines
> - Extended page limits
>
>
> === Important dates ===
>
>
> Abstract submission: Wednesday, 25 April 2018 (EXTENDED!)
> Paper submission: Wednesday, 2 May 2018 (EXTENDED!)
> Notification: Thursday, 14 June 2018
> Conference: 5-7 September 2018
>
>
> == Keynote speakers ==
>
>
> - Cristian Cadar, Imperial College London
> - Ana Cavalcanti, University of York
> - Viktor Vafeiadis, MPI-SWS
>
>
> == Colocated events ==
>
>
> - PhD Symposium
> - FMICS: International Conference on Formal Methods for
> Industrial Critical Systems
>
>
> === Objectives and scope ===
>
>
> Applying formal methods may involve the usage of different formalisms
> and different analysis techniques to validate a system, either because
> individual components are most amenable to one formalism or technique,
> because one is interested in different properties of the system, or simply
> to cope with the sheer complexity of the system. The iFM conference series
> seeks to further research into hybrid approaches to formal modeling and
> analysis: the combination of (formal and
> semi-formal) methods for system development, regarding both modeling and
> analysis. The conference covers all aspects from language design through
> verification and analysis techniques to tools and their integration into
> software engineering practice.
>
> Areas of interest include but are not limited to:
> - Formal and semi-formal modelling notations
> - Combining formal methods
> - Integration of formal methods into software engineering practice
> - Program verification, model checking, and static analysis
> - Theorem proving, decision procedures, SAT/SMT solving
> - Runtime analysis, monitoring, and testing
> - Program synthesis
> - Analysis and synthesis of hybrid, embedded, probabilistic, distributed,
> or concurrent systems - Abstraction and refinement
> - Model learning and inference
>
>
> === Submission guidelines ===
>
>
> iFM 2018 solicits high quality papers reporting research results and/or
> experience reports related to the overall theme of formal method
> integration.
>
> We accept papers in the following categories:
>
>
> - Regular papers (limit 18 pages) on
> -  original scientific research results
> -  tools, their foundation and evaluations
> -  applications of formal methods, including rigourous evaluations
>
>
> - Short papers (limit 8 pages) on
> -  any subject of interest in the area of formal methods that can be
> described with sufficient detail within the page limit
>
> Page limits do not include the list of bibliographic references, which
> can take up to 2 additional pages. All submissions must be original,
> unpublished, and not submitted for publication elsewhere.  Each paper will
> undergo a thorough review process.  Submissions will be judged on the
> basis of significance, relevance, correctness, originality, and clarity.
>
> Submissions should be made using the iFM 2018 Easychair site:
>
>
> https://easychair.org/conferences/?conf=ifm2018
>
>
> Submissions must be in PDF format, using the Springer LNCS style
> files.
>
> The conference proceedings will be published in Springer's
> Lecture Notes in Computer Science series.
>
>
> All accepted papers must be presented at the conference. Their authors
> must be prepared to sign a copyright transfer statement. At least one
> author of each accepted paper must register to the conference by the early
> registration date, to be indicated by the organizers, and present the
> paper.
>
> === Organization ===
>
>
> = General chair =
> Rosemary Monahan, Maynooth University, Ireland
>
>
> = PC chairs =
> Carlo A. Furia, Chalmers University of Technology, Sweden
> Kirsten Winter, University of Queensland, Australia
>
>
> = Program committee =
> Erika Abraham, RWTH Aachen, Germany
> Bernhard Aichernig, University of Graz, Austria
> Elvira Albert, Complutense University of Madrid, Spain
> Domenico Bianculli, University of Luxembourg, Luxembourg
> Eerke Boiten, De Montfort University, UK
> Einar Broch Johnsen, University of Oslo, Norway
> Maria Christakis, MPI-SWS, Germany
> David Cok, GrammaTech, USA
> Robert Colvin, University of Queensland, Australia
> Ferruccio Damiani, University of Turin, Italy
> Eva Darulova, MPI SWS, Germany
> Frank de Boer, CWI Amsterdam, Netherlands
> John Derrick, University of Sheffield, UK
> Brijesh Dongol, Brunel University, UK
> Catherine Dubois, ENSIIE, France
> Diego Garbervetsky, University of Buenos Aires, Argentina
> Peter Hoefner, Data61, Australia
> Marieke Huisman, University of Twente, Netherlands
> Rajeev Joshi, NASA JPL, USA
> Nikolai Kosmatov, CEA LIST, France
> Laura Kovács, Vienna University of Technology, Austria
> Rustan Leino, Amazon, USA
> Larissa Meinicke, University of Queensland, Australia
> Dominique Mery, LORIA Nancy, France
> Toby Murray, University of Melbourne, Australia
> Luigia Petre, Åbo Akademi University, Finland
> Ruzica Piskac, Yale University, USA
> Chris Poskitt, SUTD, Singapore
> Kostis Sagonas, Uppsala University, Sweden
> Gerhard Schellhorn, Universitaet Augsburg, Germany
> Steve Schneider, University of Surrey, UK
> Gerardo Schneider, University of Gothenburg, Sweden
> Emil Sekerinski, McMaster University, Canada
> Martin Steffen, University of Oslo, Norway
> Helen Treharne, University of Surrey, UK
> Caterina Urban, ETH Zurich, Switzerland
> Mark Utting, University of Sunshine Coast, Australia
> Heike Wehrheim, University of Paderborn, Germany
> Mitsuharu Yamamoto, Chiba University, Japan
> Chenyi Zhang, Jinan University, China
>
>
> = Publicity chair =
> Hao Wu, Maynooth University, Ireland
>
>
> === Conference location ===
>
>
> iFM 2018 is organized by Maynooth University and will take place in
> Maynooth, Ireland.
>
>
>