FoSSaCS: Foundations of Software Science and Computation Structure

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
FoSSaCS 2017 20TH INTERNATIONAL CONFERENCE ON FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
Apr 22, 2017 - Apr 29, 2017 Uppsala, Sweden Oct 21, 2016 (Oct 14, 2016)
FoSSaCS 2016 19th International Conference on Foundations of Software Science and Computation Structures
Apr 2, 2016 - Apr 8, 2016 Eindhoven, The Netherlands Oct 16, 2015 (Oct 9, 2015)
FoSSaCS 2014 17th International Conference on Foundations of Software Science and Computation Structures
Apr 5, 2014 - Apr 13, 2014 Grenoble, France Oct 11, 2013 (Oct 4, 2013)
FOSSACS 2013 16th International Conference on Foundations of Software Science and Computation Structures
Mar 16, 2013 - Mar 24, 2013 Rome, Italy Oct 14, 2012 (Oct 7, 2012)
FoSSaCS 2011 14th International Conference on Foundations Of Software Science And Computation Structures
Mar 26, 2011 - Apr 3, 2011 Saarbruecken, Germany Oct 8, 2010 (Oct 4, 2010)
Fossacs 2010 FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
Mar 20, 2010 - Mar 28, 2010 Paphos, Cyprus Oct 8, 2009 (Oct 1, 2009)
 
 

Present CFP : 2017

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

Federated Learning in IOT Cybersecurity 2021   PeerJ Computer Science - Federated Learning for Cybersecurity in Internet of Things
ECOOP 2022   European Conference on Object-Oriented Programming
ICSR 2022   20th International Conference on Software and Systems Reuse
PriSC 2022   6th Workshop on Principles of Secure Compilation
IEEE SEAI--EI Compendex, Scopus 2022   2022 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2022)--EI Compendex, Scopus
ESEC/FSE 2022   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
IEEE--ICCIA--EI, Scopus 2022   IEEE--2022 7th International Conference on Computational Intelligence and Applications (ICCIA 2022)--EI Compendex, Scopus
IWIP--EI, Scopus 2022   2022 2nd International Workshop on Image Processing (IWIP 2022)--EI Compendex, Scopus
AMSTA 2022   16th International Conference on Agents and Multi-Agent Systems: Technology and Applications (AMSTA-22)
PAKDD 2021   Pacific-Asia Conference on Knowledge Discovery and Data Mining