Email Gateway (Aug 18 2022 at 13:35): Email Gateway (Aug 18 2022 at 13:35):From: Michael Norrish <Michael.Norrish@nicta.com.au>
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.
FLoC10.CFW.txt
FLoC10.CFW.html
Last updated: May 03 2024 at 12:27 UTC