Re: [Smtcomp-discussion] Social event, T-shirts.
Tools and documentation of the annual SMT competition
Brought to you by:
webertj
From: David C. <co...@fr...> - 2014-06-27 23:54:56
|
David - Please look into joining in a social event - we joined in with the CASC dinner in 2012, as I recall. I expect you would inquire of Geoff. - As for T-shirts - they were some work and expense in 2012, and I'm not sure of the benefit - but am willing to hear discussion. David On 6/27/14 3:31 AM, David Deharbe wrote: > 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 >> >> >> > > > ------------------------------------------------------------------------------ > Open source business process management suite built on Java and Eclipse > Turn processes into business applications with Bonita BPM Community Edition > Quickly connect people, data, and systems into organized workflows > Winner of BOSSIE, CODIE, OW2 and Gartner awards > http://p.sf.net/sfu/Bonitasoft > > > _______________________________________________ > Smtcomp-discussion mailing list > Smt...@li... > https://lists.sourceforge.net/lists/listinfo/smtcomp-discussion |