[TYPES/announce] (2nd) Call for FLoC 2010 Workshops

[Michael Norrish]

In 2010, the ACL2 Workshop and TPHOLs conference will be combining to
form the ITP ("Interactive Theorem Proving") conference.  ITP 2010
will also be part of the FLoC combination of conferences and
workshops, to be held in Edinburgh in July 2010.

FLoC has now issued a call for workshops (as attached) and importantly:

    Each workshop proposal must indicate one sponsoring conference among
    the participating conferences.

Submissions will be handled via Easychair

    http://www.easychair.org/conferences/?conf=floc10cfw

                ----------------------------------------

NOTE ALSO:
* The term "workshop" should not be construed narrowly: feel free to
   propose tutorials, tool demonstrations, competitions, survey talks,
   etc.
* FLoC do not want to handle workshops that do not run for
   non-integral numbers of days.  However, ITP will try to combine
   half-day applications to make things fit into whole numbers.  So, if
   you feel you only want half a day, let me know, and apply anyway.

I am happy to discuss possible workshop applications in advance if
there is anything that is unclear.

Michael.



-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: FLoC10.CFW.txt
Url: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20090611/97e131bd/FLoC10.CFW.txt
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: FLoC10.CFW.html
Url: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20090611/97e131bd/FLoC10.CFW-0001.txt