FICS: Fixed Points in Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
FICS 2009 6th Workshop on Fixed Points in Computer Science
Sep 12, 2009 - Sep 13, 2009 Coimbra, Portugal Jun 30, 2009
 
 

Present CFP : 2009

Fixed points play a fundamental role in several areas of computer science and logic by justifying induction and recursive definitions. The construction and properties of fixed points have been investigated in many different frameworks such as: design and implementation of programming languages, program logics, databases. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the theory of fixed points. Previous workshops where held in Brno (1998, MFCS/CSL workshop), Paris (2000, LC workshop), Florence (2001, PLI workshop), Copenhagen (2002, LICS (FLoC) workshop), Warsaw (2003, ETAPS workshop) (check the FICS history).

Topics include, but are not restricted to:

* categorical, metric and ordered fixed point models
* fixed points in algebra and coalgebra
* fixed points in languages and automata
* fixed points in programming language semantics
* the mu-calculus and fixed points in modal logic
* fixed points in process algebras and process calculi
* fixed points in the lambda-calculus, functional programming and type theory
* fixed points in relation to dataflow and circuits
* fixed points in logic programming and theorem proving
* finite model theory, descriptive complexity theory, fixed points in databases

Contributed talks

Selection of contributed talks is based on extended abstracts/short papers of 3..6 pp formatted with easychair.cls. Submission is via EasyChair by 30 June 2009. The authors will be notified of acceptance/rejection by 21 July 2009.

Camera-ready versions of the accepted contributions, due by 11 August 2009, will be published for distribution at the workshop as a technical report.
Journal publication

If the number and quality of submissions and accepted talks warrant this, EDP Sciences will publish a special issue of Theoretical Informatics and Applications. The special issues of the previous editions of FICS appeared in the same journal.

Programme committee

Yves Bertot (INRIA Sophia Antipolis)
Anuj Dawar (University of Cambridge)
Peter Dybjer (Chalmers University of Technology)
Zoltán Ésik (University of Szeged)
Masahito Hasegawa (Kyoto University)
Anna Ingólfsdóttir (Reykjavik University)
Ralph Matthes (IRIT, Toulouse) (co-chair)
Jan Rutten (CWI and Vrije Universiteit Amsterdam)
Luigi Santocanale (LIF, Marseille)
Alex Simpson (University of Edinburgh)
Tarmo Uustalu (Institute of Cybernetics, Tallinn) (co-chair)
Igor Walukiewicz (LaBRI, Bordeaux)

Sponsors

EXCS, Estonian Centre of Excellence in Computer Science
 

Related Resources

SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
SI-DAMLE 2020   Special Issue on Data Analytics and Machine Learning in Education
ICRE--EI Compendex, Scopus 2021   2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus
ACFPTO 2020   The 11th Asian Conference on Fixed Point Theory and Optimization 2020
4th ICSTR Barcelona August 2021   4th ICSTR Barcelona – International Conference on Science & Technology Research, 26-27 August 2021
6th London ICSSH September 2021   6th London – International Conference on Social Science & Humanities (ICSSH), 07-08 September 2021
AsiaCCS 2021   The 16th ACM ASIA Conference on Computer and Communications Security [First Round]
6th ICSTR London September 2021   6th ICSTR London – International Conference on Science & Technology Research, 09-10 September 2021
2nd Amsterdam, ICSSH August 2021   2nd Amsterdam – International Conference on Social Science & Humanities (ICSSH), 03-04 August 2021