Re: [Smtcomp-discussion] Social event, T-shirts.
Tools and documentation of the annual SMT competition
Brought to you by:
webertj
From: David D. <dav...@lo...> - 2014-06-29 16:04:40
|
Hello, I will send an email to the list of SMTCOMP contestants with a link to a doodle where the interested people have to add their name. I assume that we have no fund to invite the participants of SMTCOMP for the dinner, and each participant will pay for its dinner. Best regards, -- David. On Jun 28, 2014, at 1:54 AM, David Cok <co...@fr...> wrote: > 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 > > ------------------------------------------------------------------------------ > 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 |