[isabelle] Isabelle workshop at FLoC
It's been suggested that I submit a proposal for an Isabelle workshop to
ITP in FLoC 2010 in Edinburgh (http://www.floc-conference.org/).
I know there's been a couple of Isabelle workshops in the last few
years: one this year forthcoming, one previously, the date of which I
forget, and one I organised with CADE in Bremen in 2007.
I remember in 2007 thinking that bi-annually felt about right...
How do people feel towards me (quickly) putting together an Isabelle
workshop for ITP 2010 as part of FLoC in Edinburgh ?
The proposal/format would probably look much like it did before...
yes? no? want to help out? want a different format?
I was only just prodded to consider this and need to get a feeling for
it quickly - the deadline is fast approaching (July 31, Friday), so I am
sorry for the late notice.
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
This archive was generated by a fusion of
Pipermail (Mailman edition) and