From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8608 Path: news.gmane.org!not-for-mail From: Ralph Matthes Newsgroups: gmane.science.mathematics.categories Subject: FICS'15 Call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015) Date: Thu, 30 Apr 2015 16:13:27 +0200 Message-ID: Reply-To: Ralph Matthes NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1430484951 13747 80.91.229.3 (1 May 2015 12:55:51 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 1 May 2015 12:55:51 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Fri May 01 14:55:39 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YoATi-0006aI-JT for gsmc-categories@m.gmane.org; Fri, 01 May 2015 14:55:38 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:36953) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YoASp-0005TS-DK; Fri, 01 May 2015 09:54:43 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YoASo-0005Al-CJ for categories-list@mlist.mta.ca; Fri, 01 May 2015 09:54:42 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8608 Archived-At: Call for Papers *** FICS 2015 *** http://www.irit.fr/FICS2015/ International Workshop on Fixed Points in Computer Science Berlin, 11-12 September 2015 satellite of the International Conference CSL 2015 (Computer Science Logic) IMPORTANT DATES Abstract submission: Monday, June 16 Paper submission: Monday, June 23 Notification: Monday, July 27 Final version: Monday, August 24 BACKGROUND Fixed points play a fundamental role in several areas of computer science. They are used to justify (co)recursive definitions and associated reasoning techniques. The construction and properties of fixed points have been investigated in many different settings such as: design and implementation of programming languages, logics, verification, databases. The aim of this 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. Topics include, but are not restricted to: * fixed points in algebra and coalgebra * fixed points in formal languages and automata * fixed points in game theory * fixed points in programming language semantics * fixed points in the mu-calculus and modal logics * fixed points in process algebras and process calculi * fixed points in functional programming and type theory * fixed points in relation to dataflow and circuits * fixed points in logic programming and theorem proving * fixed points in finite model theory, descriptive complexity theory, and databases * fixed points in category theory for logic in computer science PROGRAM COMMITTEE Ulrich Berger (Swansea Univ.) Dietmar Berwanger (CNRS & ENS Cachan) Filippo Bonchi (CNRS & ENS Lyon) Venanzio Capretta (Univ. Nottingham) Krishnendu Chatterjee (Institute of Science and Technology Austria) Kaustuv Chaudhuri (INRIA Saclay & ??cole Polytechnique) Thomas Colcombet (CNRS & Univ. Paris Diderot) Makoto Hamana (Gunma Univ.) Radu Mardare (Aalborg Univ.) Ralph Matthes (co-chair, CNRS & Univ. Toulouse) Henryk Michalewski (Univ. Warsaw) Matteo Mio (co-chair, CNRS & ENS Lyon) Andrzej Murawski (Univ. Warwick) Alexandra Silva (Radboud Univ. Nijmegen) Sam Staton (Univ. Oxford) TWO INVITED SPEAKERS * To be announced SUBMISSION The selection of contributed talks will be based on extended abstracts/short papers describing original results in sufficient detail to constitute a publication. Submission is via EasyChair: https://easychair.org/conferences/?conf=fics2015 Accepted papers will be published through the open-access venue EPTCS. Submissions should be composed using LaTeX and, preferably, using the EPTCS style: http://style.eptcs.org/ Typical submissions would be 8 pages long but submissions in the range [6,15] pages will be considered acceptable. JOURNAL PUBLICATION If the number and quality of submissions justifies it, a subsequent special issue of a journal will be prepared with extended versions of selected papers. A special issue of FICS 2013 is in preparation and will appear in Fundamenta Informaticae. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]