Proceedings Volume
We shall publish a proceedings volume as
| Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt L?e (eds.), Infinity in Logic and Computation, Selected Papers of the International Conference held in Cape Town, South Africa, November 2007 |
with fully refereed papers in the FoLLI subseries of the "Lecture Notes in Artificial Intelligence" (LNAI). All authors of invited papers or accepted contributed talks (regardless of whether the talk was given at the conference) are invited to submit a paper version to our proceedings volume.
All submitted papers will be refereed according to journal standards. In order to be accepted for publication in our proceedings volume, a paper must be previously unpublished and contain interesting and relevant research content.
The following authors have indicated the intention to submit a paper to the proceedings volume so far:
| Author | Title | Pages | Submission | Status |
|---|---|---|---|---|
| Wilmari Bekker, Valentin Goranko | Symbolic model checking of tense logics on rational Kripke models | 17 pages | 10 Feb 2008; Revised: 18 Sep 2008, 15 Oct 2008 | Accepted (17 Oct 2008) |
| Nadia Busi, Claudio Zandron | On the computational power of Genetic Gates | 12 pages | 1 Feb 2008; Revised: 17 Sep 2008 | Accepted (17 Sep 2008) |
| Krishnendu Chatterjee, Tom Henzinger | Probabilistic systems with quantitative objectives | 14 pages | 9 Mar 2008; Revised: 10 Jul 2008 | Accepted (29 Aug 2008) |
| Jacques Duparc, Alessandro Facchini | A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata | 10 pages | 10 October 2008; Revised: 2 Mar 2009 | Accepted (17 Mar 2009) |
| Alain Finkel, Etienne Lozes, Arnaud Sangnier | Towards Model-Checking Programmes with Lists | 28 pages | 5 Feb 2008; Revised: 15 Oct 2008 | Accepted (8 Feb 2009) |
| Guy Louchard, Helmut Prodinger | Representations of numbers as ∑k=-nnεkk: A saddle point approach | 8 pages | 24 Jan 2008; Revised: 17 Jul 2008, 6 Jan 2009 | Accepted (11 Feb 2009) |
| Douadi Mihoubi | On sets of infinite words recognized by deterministic one-turn pushdown automata | 13 pages | 26 Jan 2008; Revised: 15 Sep 2008 | Accepted (26 Nov 2008) |
| Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi and Hideki Tsuiki | Fine-continuous functions and fractals defined by infinite systems of contractions | 13 pages | 4 Feb 2008; Revised: 19 Mar 2009 | Accepted (6 Apr 2009) |
| Joost Winter | Is P=PSPACE for infinite time Turing machines? | 12 pages | 16 Feb 2008 Revised: 29 Apr 2008, 29 Jul 2008 | Accepted (8 Sep 2008) |