[Termtools] Next Workshop on Termination

[Georg Moser]

Dear All,

during  the business  meeting at  this year's  WST, the  following two
scenarios for the next workshop were discussed:

A) WST'13  in co-location  with a  workshop on  implicit computational
complexity (like e.g. DICE)

B) WST'14 @ FLoC.

Ugo dal  Lago agreed to look  into option A), while  Bernhard Gramlich
agreed to  look into option B).  In the meantime Ugo  found a suitable
co-locating  workshop, and  could  verify  the  feasiblity  of  option
A). Thus I am happy to make the following

			    ANNOUNCEMENT

Joint Workshop on Termination (WST)  and on Foundational and Practical
Aspects of Resource Analysis (FOPARA), August 28-31, Bertinoro, Italy.

VENUE:
University Centre of Bertinoro, Italy, see
http://www.ceub.it/inglese/centro_universitario.htm

DATE:
August 28-31, 2013

FORMAT:
The  joint workshop  is  a co-location  of WST  and  FOPARA. For  both
workshops seperate  scientific organisation is retained,  but sessions
will be  interleaving and papers  will be reviewed and  joint informal
proceedings will be published.

SCIENTIFIC ORGANISATION:
- Johannes Waldmann (PC Chair WST)
- Ugo dal Lago (PC Chair FOPARA)

LOCAL ORGANISATION:
Ugo dal Lago

Best wishes,
Georg Moser
(PC Chair WST'12)

---

FOPARA  serves as  a forum  for presenting  original research  results
relevant for resource analysis, where the resources of interest can be
for  example time  of  space.   The workshop  aims  to bring  together
researchers who work on foundational issues with researchers who focus
more on  practical results. Therefore, both  theoretical and practical
contributions are encouraged.

Two  editions of  FOPARA took  place so far:
- The first of them took  place in Eindhoven, as part of FME 2009.
- The second  one took place  in Madrid, as part  of TFP 2011.

In both cases, postproceedings were collected in a LNCS volume for the
workshop.