April 14-16, 2008
The proceedings will be published as volume 4989 of the LNCS series. The proceedings of the previous meeting (FLOPS2006) were published as LNCS 3945.
|Peter Dybjer||Chalmers, Sweden|
|Naoki Kobayashi||Tohoku, Japan|
|Torsten Schaub||Potsdam, Germany|
|Jacques Garrigue||Nagoya, Japan|
|Manuel Hermenegildo||Madrid, Spain and New Mexico, USA|
|Maria Alpuente||Valencia, Spain|
|Sergio Antoy||Portland, OR, USA|
|Matthias Blume||TTI, Chicago, USA|
|Tyng-Ruey Chuang||Academia Sinica, Taiwan|
|Zhenjiang Hu||Tokyo, Japan|
|Oleg Kiselyov||FNMOC, Monterey, USA|
|Herbert Kuchen||Muenster, Germany|
|Dale Miller||INRIA, Palaiseau, France|
|Atsushi Ohori||Tohoku, Japan|
|Enrico Pontelli||New Mexico, USA|
|Kristoffer Rose||IBM Watson, USA|
|Kazunori Ueda||Waseda, Japan|
|Peter Van Roy||Louvain-la-Neuve, Belgium|
|Benjamin Werner||INRIA, Palaiseau, France|
|Shoji Yuen||Nagoya University|
All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available from Springer's author information site.
Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g. a link to a web page, or an appendix).
Submission is Web-based, through the EasyChair system. Please follow this link to FLOPS 2008 submissions.
Here is a call for papers in PDF format.
|Submission deadline (abstract):||October 10, 2007|
|Submission deadline (full paper):||October 17, 2007|
|Author notification:||December 21, 2007|
|Camera-ready copy:||January 21, 2008|
|Conference:||April 14-16, 2008|
Ise is an historic city of the Kii Peninsula, with easy access from international airports in Nagoya and Osaka-Kansai.
The conference will be held at the Ise City Plaza (sorry, the link is in Japanese) in central Ise. Here is a detailed map including the conference site and hotel. The venue is number 19 on this map.
See here for access information from various places.
Online registration is now closed, but you can of course register on
site at the conference. Note that the main hotel for the conference is
Pearl Pier Hotel (official
Note: technical sessions will be hold between April 14th 1:30pm and 16th 4:30pm.
The registration fee is as follows:
|Before March 14th||After March 15th|
|Regular||JPY 30,000||JPY 35,000|
|Student||JPY 18,000||JPY 20,000|