[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] FOPARA'09 -- First Call for Papers

(Our apologies for possible multiple copies)

   First Call for Papers
   International workshop on
   FOPARA 2009
   Eindhoven, The Netherlands
   November,3 2009
   A satellite event of 16th International Symposium on Formal Methods


The workshop serves as a forum for presenting original research results 
that are relevant to the analysis of resource (time, space) consumption 
by computer programs. The workshop aims to bring together the
researchers that work on foundational issues with the researchers that
focus more on practical results. Therefore, both theoretical and
practical contributions are encouraged. The following list of topics is

    * resource analysis for embedded systems,
    * logical and machine-independent characterisations 
      of complexity classes,
    * logics closely related to complexity classes,
    * type systems for controlling complexity,
    * semantic methods to analyse resources, incl. quasi- and sup-
    * practical applications of resource analysis. 

Up to now a few similar events have taken place. In 2006, 2008
application-oriented resource analysis workshops ( EmBounded Open
Workshop in Budapest, 2006, and Resource Analysis Workshop in
Hertfordshir, 2008) were held as affiliated events of International
Symposium on the Implementation and Application of Functional Languages
(IFL). Participated: University of St. Andrew (UK), Heriot-Watt
University of Edinburgh (UK), Ludwig-Maximilians University of Munich
(Germany), University Complutense of Madrid (Spain), Politechnical
University of Madrid (Spain). Another large group of research schools is
presented in series of workshops on Implicit Computational Complexity,
see, for instance, WICC'08 in Paris . The series gather researchers
working in theoretical foundations of resource analysis, mainly from in
France (Universities of Paris Diderot and Paris Nord, LORIA Nancy),
Italy (Universities of Bologna and Turin), Norway, Germany and
Portugal. FOPARA aims to bringing these various directions in resource
analysis together and possibly to extend the community by other groups. 


    * Abstract deadline: July 10,
    * Paper submission deadline: July 15, 
    * Notification of acceptance: September 11, 
    * Workshop version of the papers: October 11, 
    * Final formal paper submission: November 22.


Sumit Gulwani (http://research.microsoft.com/en-us/um/people/sumitg/),
Microsoft Research


Acceptance of articles for presentation at the symposium is based on the
pre-workshop refereeing  of full papers (16 pages).

In addition to the draft symposium proceedings, we plan to publish the
revised versions of presented at the workshop papers in a volume of
Springer's Lecture Notes in Computer Science. The request for a volume
is pending.


  * Marko van Eekelen (Radboud University and Open University, NL), PC
  * Olha Shkaravska (Radboud University, NL), PC co-chair
  * Patrick Baillot (ENS-Lyon, France)
  * Armelle Bonenfant (IRIT, France)
  * Ugo Dal Lago (University of Bologna, Italy)
  * Kevin Hammond (Univ. of St. Andrews, UK)
  * Martin Hofmann (LMU, Munich, Germany)
  * Thomas Jensen (IRISA, Rennes, France)
  * Tamas Kozsik (Eotvos Lorand University of Budapest, Hungary)
  * Hans-Wolfgang Loidl (LMU, Munich, Germany)
  * Kenneth MacKenzie (University of Edinburgh, UK)
  * Jean-Yves Marion (Loria, Nancy, France)
  * Greg Michaelson (Heriot-Watt University, Edinburgh, UK)
  * Ricardo Peña (University Complutense Madrid, Spain)
  * German Puebla (Politechnical University of Madrid, Spain)
  * Luca Roversi (University of Turin, Italy)
  * Phil Trinder (Heriot-Watt University, Edinburgh, UK) 

The workshop is a satellite event of the 16th International Symposium on
Formal Methods, FM2009. The venue for FM2009 is the Auditorium of the
Technische  Universiteit Eindhoven. Everything related to the symposium
will take place here, including workshops, lunches, and other

Technische Universiteit Eindhoven was founded in the 1950s on a patch of
uncultivated land near the centre of town. Due to this fortunate
circumstance, the university campus is now right in the middle of the
fifth largest city in the Netherlands. This means that the railway
station, the conference hotels, and other facilities are all within
walking distance of the campus, and that during your stay you will have
easy access to everything Eindhoven  has to offer.