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

Re: TLA+ community event 2016

Since we have not received any proposals for presentations at the workshop or other statements of interest, we suggest canceling the event. We believe that the ongoing DrTLA+ series better serves the community at this point, and that any future physical workshop should be organized at a place that is easier to reach. If there is strong support for maintaining the workshop at FM 2016, please speak up quickly.

Stephan (also on behalf of Leslie)