The TUT logo mimicks this piece of ab-

stract art

Back at Mustamae

The main conferences over, we are back at the Tallinn Universityof Technology campus at Mustamae. This weekend we will have 12workshops. The practical arrangements are similar to those of thelast weekend, please read on the 2nd page.

We welcome those of you that were not with us during the weekat Swissotel and are joining ETAPS 2012 for just this weekend.

WE ARE YOUR HOSTS

Institute of CyberneticsYour host institution at this confer-ence is the Institute of Cybernetics(how do you like the name?). Foundedin 1960 as an Estonian Academy ofScience research institute, in 1997 itbecame an R&D institution of TUT.

The interdisciplinary instituteconducts research in computer sci-ence, control theory and mechan-ics, employing approx. 110 people, ofwhom approx. 70 are research staff.

About a dozen of them are fromabroad. At this moment, the institutecoordinates two national centres of ex-cellence: the Estonian Centre of Ex-cellence in Computer Science (EXCS)and the Centre for Nonlinear Studies(CENS). In 2005, we hosted ICFP,GPCE and TFP in Tallinn, in 2006,MPC and AMAST in Kuressaare,and in 2007, TESTCOM-FATES andFORTE in Tallinn.

LEARN ABOUT THIS PLACE

Estonia: Some history

Tacitus wrote about Estonians in his “Germania” in 98 A.D. Estonia hasbeen ruled by many powers. In 1219, the Danish king Valdemar II conqueredTallinn. According to a legend, the Danish flag (“Danebrog”, also presenton the coat-of-arms of Tallinn) fell from the sky during the battle. Tallinn’sname may be derived from Taani + linn (Danish + town). Tallinn, Tartu,Parnu and Viljandi belonged to the Hanseatic League. The period underthe Swedish crown (1561–1710, between the Livonian and Northern Wars)is remembered in the Estonian folk memory as the Good Old Swedish time.

1710–1918 Estonia was part of Tzarist Russia. After the declaration ofindependence on 24 February 1918 and the War of Independence that endedwith the Tartu Peace Treaty, Estonia was free for 22 years. As a result ofthe Molotov-Ribbentrop deal, Estonia was occupied by the Soviet Union in1940 and eventually restored her independence on 20 August 1991.

Weather forecast

Today-1 ‖ 4 °C

Tomorrow0 ‖ 3 °C

Monday0 ‖ 3 °C

Today’s workshops

Nine workshops run today:

AIPA on automation in proofassistants

Bytecode on the semanticsand analysis of bytecode

CMCS on coalgebra

DICE on implicit computa-tional complexity

FESCA on formal methodsfor software componentsand architectures

HAS on hybrid autonomoussystems

LDTA on grammarware

PLACES on concurrencyand communication-centric software

QAPL on quantitative as-pects in programminglanguages

http://www.etaps.org/2012

ETAPS 2012 local organizers

Issue 8 Saturday, 31 March 2012

ETAPS Daily News Issue 8 2 / 2

ETAPS DAILY INTERVIEWS GLYNN WINSKEL

Concurrent games

What is it that fascinates you most about gamesemantics?

I really believe that domain theory and denotationalsemantics need to be updated. I believe that the artificialseparation between operational and denotational seman-tics has got to come to an end. This change requires thatone follows the method of domain theory, but goes inten-

sional in the sense that game semantics suggests to us.Why should denotational semantics be more in-

tensional?Sometimes we are forced to go intensional because of

the demands of compositionality, as is the case with non-deterministic dataflow. Also, I would like to be able toread the operational semantics out of the denotational se-mantics more or less directly.

What is your main complaint about operationalsemantics as practised today?

It is being developed in the right (mathematical) di-rection by some people. But many researchers just writerules. Then the trouble is that you don’t see the real spaceof possibilities and have to explore in the dark, as you can-not take advantage of the mathematical structure that isthere.

Is there really a clear cut boundary betweenthe two, perhaps one should be just a refinementof the other?

I hope they would really be the same. Denotational se-mantics, when intensional, would also include operationalsemantics.

WORTH KNOWING

Arrangements here at the workshops venuePlease take notice

We have the same procedures today and tomorrow aswe had last weekend, but many of you were not yet here.Hence let us repeat.

Coats should be left on the first floor where there is amanned cloakroom.

Wireless internet access is available via public WiFinetworks of the university. Typical names are TTY1,TTY2, etc. You can also Eduroam.

Coffee is served in the foyer of the 4th floor, near theregistration desk.

Lunches are served

� in the cafeteria of the Library Building, whichis reachable from Building X via a passage onthe 2nd floor) and reserved for us,

� in the cafeteria of Building X, together withstudents.

Please identify yourself with your badge. You cantake/ask everything you want, all is included:

� water, milk/yoghurt, juice

� soup, sandwich, salad

� warm meal

� cake, pastry, other dessert

� coffee

Lunches are from 12:30 to 14:00. We will lock theworkshop room at 12:30, when everyone leaves forlunch, and reopen at 13:30, that is, 30 minutes be-fore the next session starts.

Bon appetit! Or as we say, Head isu!

If you need assistance, please talk to our people.

The post-conference workshops dinner today will be at 20.00 at Olde Hansa, Tallinn’s medieval restaurant(Vana turg 1). The CMCS dinner will happen at the same time at MEKK Ateljee (Aia 10, inside Hotel Bern).Please have the event ticket with you.

© ETAPS 2012 local organizers - Created using paperTEX