posted by user: gauwin || 7848 views || tracked by 30 users: [display]

FoSSaCS 2014 : 17th International Conference on Foundations of Software Science and Computation Structures

FacebookTwitterLinkedInGoogle


Conference Series : Foundations of Software Science and Computation Structure
 
Link: http://www.etaps.org/2014/fossacs
 
When Apr 5, 2014 - Apr 13, 2014
Where Grenoble, France
Abstract Registration Due Oct 4, 2013
Submission Deadline Oct 11, 2013
Notification Due Dec 20, 2013
Final Version Due Jan 17, 2014
Categories    theoretical computer science   formal methods   verification   automata theory
 

Call For Papers

CALL FOR PAPERS: FoSSaCS 2014
17th International Conference on Foundations of Software Science and Computation Structures


An ETAPS Member Conference


Grenoble, France

5-13 April 2014

http://www.etaps.org/2014/fossacs


Abstract Submission: 4 October 2013
Paper Submission: 11 October 2013
Author Notification: 20 December 2013

******************************************************************

FoSSaCS is one of the main conferences of ETAPS (European Joint Conferences on Theory And Practice of Software).

-- SCOPE --

FoSSaCS seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. The specific topics covered by the conference include, but are not limited to, the following:

Categorical models and logics;
Language theory, automata, and games;
Modal, spatial, and temporal logics;
Type theory and proof theory;
Concurrency theory and process calculi;
Rewriting theory;
Semantics of programming languages;
Program analysis, correctness, transformation, and verification;
Logics of programming;
Software specification and refinement;
Models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems;
Emerging models of computation;
Logical aspects of computational complexity;
Models of software security;
Logical foundations of data bases.

-- INVITED SPEAKER --

Petr Jančar (Technical Univ of Ostrava, Czech Republic)


-- IMPORTANT DATES --

* 4 October 2013: Submission deadline for abstracts (strict)
* 11 October 2013: Submission deadline for full papers (strict)
* 26-28 November 2013: Author response (rebuttal)
* 20 December 2013: Notification of acceptance
* 17 January 2014: Camera-ready versions due

-- PROGRAMME COMMITTEE --

Luca Aceto (Reykjavik University, Iceland)
Véronique Bruyère (University of Mons, Belgium)
Véronique Cortier (LORIA, France)
Kousha Etessami (University of Edinburgh, Scotland)
Wan Fokkink (VU University Amsterdam, the Netherlands)
Holger Hermanns (Saarland University, Germany)
Antonín Kučera (Masaryk University, Czech Republic)
Sławomir Lasota (Warsaw University, Poland)
Christof Löding (RWTH Aachen University, Germany)
Anca Muscholl (LaBRI, Bordeaux, France)
Andrew Pitts (University of Cambridge, UK)
Alexander Rabinovich (Tel Aviv Univ, Israel)
Ramaswamy Ramanujam (Chennai, India)
Mark Reynolds (University of Western Australia, Australia)
Simona Ronchi della Rocca (University of Torino, Italy)
Grigore Rosu (University of Illinois at UC, US)
Andrey Rybalchenko (TU Munich, Germany)
Davide Sangiorgi (University of Bologna, Italy)
Sven Schewe (University of Liverpool, UK)
Thomas Schwentick (TU Dortmund, Germany)
Luc Segoufin (LSV Cachan, France)
Peter Selinger (Dalhousie Univ, Canada)
Anil Seth (IIT Kanpur, India)
James Worell (University of Oxford, UK)
Wiesław Zielonka (University of Paris 7, France)


-- SUBMISSION INFORMATION --

Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication to other conferences with published proceedings or to journals. In particular, simultaneous submission of the same contribution to other ETAPS conferences is forbidden. Submission by PC members is not possible. Submitted papers must respect a page limit of 15 pages. Additional material intended for the referees but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Referees may ignore appendices and submitted papers must be understandable without them.

If the submission is accepted, one of the authors must attend the conference to give the presentation.

The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline Springer's Lecture Notes in Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL

http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the Easychair author interface (the submission site opens on September 15th):

https://www.easychair.org/account/signin.cgi?conf=fossacs14

Submissions not adhering to the specified format and length may be rejected immediately.

-- CONTACT INFORMATION --

Anca Muscholl (chair)

Related Resources

FSCD 2020   Fifth International Conference on Formal Structures for Computation and Deduction
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
SEFM 2020   Software Engineering and Formal Methods
ESEC/FSE 2020   ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
FCSIT 2020   2020 2nd European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
SAS 2020   Static Analysis Symposium, SAS 2020