[Smtcomp-discussion] Social event, T-shirts.
Tools and documentation of the annual SMT competition
Brought to you by:
webertj
From: David D. <de...@gm...> - 2014-06-27 07:32:11
|
David, Tjark, Pascal Fontaine asked me whether there would be a social event for SMT-COMP. The APPA and CASC dinners are already co-located (see information hereafter), and Bruno Wolzenlogel Paleo asked him if the SMT-COMP community would like to join them. Another suggestion Pascal made is to have T-shirts for the competitors (I think that TPTP has this tradition). The date for the dinner does not appear in the messages below; Pascal told me it would be on the second day of the workshops (July 18th). What do you think? Best regards, -- David. Begin forwarded message: > From: Pascal Fontaine <Pas...@in...> > Subject: Fwd: Fwd: ?X.X?: APPA: Social Event > Date: June 27, 2014 at 9:20:54 AM GMT+2 > To: David Deharbe <de...@gm...> > > Signed PGP part > For your information. > > T-shirts are great, and there is still time to organize a quick call > for drawings (alternatively, you can recycle a previous one and > adapt). We could reception the T-shirts at our apartment, or pick > them the week before the SMT workshop. > > Best, > > Pascal > > > -------- Original Message -------- > Subject: Fwd: ?X.X?: APPA: Social Event > Date: Wed, 25 Jun 2014 08:41:23 +0200 > From: Bruno Woltzenlogel Paleo <bru...@gm...> > To: Pascal Fontaine <Pas...@in...> > CC: David Delahaye <dav...@cn...> > > Hi Pascal! > > If the SMT community would like to co-locate the SMT-Comp dinner with > the APPA and CASC dinners, let me know. > > Best regards, > > Bruno > > > > Begin forwarded message: > > > From: Bruno Woltzenlogel Paleo <bru...@gm...> Subject: Re: > > ?X.X?: APPA: Social Event Date: 25 Jun 2014 8:39:33 GMT+2 To: Geoff > > Sutcliffe <ge...@cs...> Cc: David Delahaye > > <dav...@cn...>, Stephan Schulz <sc...@ep...>, > > Clark Barrett <ba...@cs...>, Pascal Fontaine > > <Pas...@in...> > > > > Hi Geoff, > > > > On 19 Jun 2014, at 14:39 , Geoff Sutcliffe <ge...@cs...> > > wrote: > > > >>> If you like this idea, I could already make a pre-reservation > >>> for about 30 people (20 for CASC and 10 for APPA), and later > >>> we could compute the exact numbers of participants. > >> > >> Great - go for it! Let me know what time, etc. Thanks for > >> organizing! > > > > Done. It will be at 18:30 in Heuriger Feuerwehr Wagner > > (http://www.feuerwehrwagner.at/). The food will cost 22 euros per > > person and will consist of a buffet with typical Austrian food. > > Drinks are not included > > (http://www.feuerwehrwagner.at/buffet/getraenkekarte.pdf). > > > > When do you think you will know the exact number of participants of > > the CASC dinner? > > > > Best regards, > > > > Bruno > > > > |