[Smtcomp-discussion] SMTCOMP social event
Tools and documentation of the annual SMT competition
Brought to you by:
webertj
From: David D. <dav...@lo...> - 2014-06-29 16:15:18
|
Dear SMTCOMP contestants, We are proposing to have a SMTCOMP dinner at the Feuerwehr Wagner Heuriger (i.e. traditional Austrian young wine oriented restaurant): http://www.feuerwehrwagner.at/ It will be on Friday, 18th of July, starting around 19:15. It is buffet with various Austrian specialties for 22 euros per person (drinks not included, and each participant will pay for himself). Note that this restaurant is 30 minutes away from the conference venue via public transportation.. On the other hand, the "Heuriger"neighbourhood (known as "Grinzing" and close to the vineyards of Vienna) also counts as a minor, off the beaten track, touristic attraction in Vienna. We are organizing this event together with the APPA, CASC and QED workshops. If you are planning to participate, please add your name to the following doodle: http://doodle.com/qzys8sanskqiss45. See you in Vienna! Best regards, -- David Deharbe. |