From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8633 Path: news.gmane.org!not-for-mail From: Ralph Matthes Newsgroups: gmane.science.mathematics.categories Subject: FICS'15: 2nd call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015) Date: Mon, 08 Jun 2015 15:53:23 +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 1433941429 1755 80.91.229.3 (10 Jun 2015 13:03:49 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 10 Jun 2015 13:03:49 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Wed Jun 10 15:03:36 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 1Z2ffK-0007it-QQ for gsmc-categories@m.gmane.org; Wed, 10 Jun 2015 15:03:34 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:33395) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Z2feM-0004Cb-DM; Wed, 10 Jun 2015 10:02:34 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Z2feL-0007Om-Gz for categories-list@mlist.mta.ca; Wed, 10 Jun 2015 10:02:33 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8633 Archived-At: Second 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) (news w.r.t. first CFP: invited speakers are now known, they are Bartek Klin and James Worrell) 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) INVITED SPEAKERS * Bartek Klin, Warsaw University * James Worrell, University of Oxford 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. If you have good reasons to go below the lower bound, then please contact the PC chairs before submission. 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/ ]