posted by user: hossein_haeri || 4258 views || tracked by 8 users: [display]

FoSSaCS 2017 : 20TH 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/index.php/2017/call-for-papers
 
When Apr 22, 2017 - Apr 29, 2017
Where Uppsala, Sweden
Abstract Registration Due Oct 14, 2016
Submission Deadline Oct 21, 2016
Notification Due Dec 22, 2016
Final Version Due Jan 20, 2017
Categories    computational logic   programming languages
 

Call For Papers

20TH INTERNATIONAL CONFERENCE ON FOUNDATIONS OF SOFTWARE SCIENCE AND
COMPUTATION STRUCTURES (FoSSaCS 2017)
(part of ETAPS 2017, 22-29 April 2017, Uppsala, Sweden)
http://www.etaps.org/index.php/2017/call-for-papers
https://www.easychair.org/conferences/?conf=fossacs2017

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

SUBMISSION

Submision is via the FoSSaCS 2017 author interface of Easychair.
https://www.easychair.org/conferences/?conf=fossacs2017
FoSSaCS accepts only research papers (max 15 pp, excluding
bibliography of max 2 pp). FoSSaCS 2017 will use a rebuttal phase. The
dates of the rebuttal are 7-9 December 2016.

IMPORTANT DATES

Abstracts due: 14 October 2016 23:59 AoE (=GMT-12)
Papers due: 21 October 2016 23:59 AoE (=GMT-12)
Rebuttal: 7-9 December 2016
Author notification: 22 December 2016
Camera-ready versions: 20 January 2017

INVITED SPEAKER

Joel Ouaknine (University of Oxford and MPI-SWS Saarbrücken)

PROGRAMME CHAIRS

Javier Esparza (Technische Universität München, Germany)
Andrzej Murawski (University of Warwick, UK)

PROGRAM COMMITTEE

Mohamed Faouzi Atig (Uppsala University, Sweden)
Jos Baeten (CWI, The Netherlands)
Christel Baier (Technische Universität Dresden, Germany)
Filippo Bonchi (LIP, CNRS & ENS Lyon, France)
Tomáš Brázdil (Masaryk University, Czech Republic)
James Brotherston (University College London, UK)
Anuj Dawar (University of Cambridge, UK)
Michael Emmi (Bell Labs, Nokia, USA)
Stefan Göller (LSV, CNRS & ENS Cachan, France)
Rajeev Goré (Australian National University, Australia)
Thomas Hildebrandt (IT University of Copenhagen, Denmark)
Delia Kesner (IRIF, CNRS & Université Paris 7 Diderot, France)
Sławomir Lasota (Warsaw University, Poland)
Anthony Widjaja Lin (Yale-NUS College, Singapore)
Roland Meyer (Universität Kaiserslautern, Germany)
Aniello Murano (Università di Napoli Federico II, Italy)
Simona Ronchi Della Rocca (Università di Torino, Italy)
Jan Rutten (CWI, The Netherlands)
Margus Veanes (Microsoft Research Redmond, USA)
Lijun Zhang (Institute of Software, Chinese Academy of Sciences, China)

Related Resources

FoSSaCS 2024   27th International Conference on Foundations of Software Science and Computation Structures
IJPLA 2024   International Journal of Programming Languages and Applications
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
IJFLS 2024   International Journal of Fuzzy Logic Systems
ACM ICBTA 2024   ACM--2024 7th International Conference on Blockchain Technology and Applications (ICBTA 2024)
NYC-2024-SE 2024   New York Annual Conference on Software Engineering 2024
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ECOOP (R2) 2024   European Conference on Object-Oriented Programming
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)