Arrivederci, Roma!

This is the title of a song written in 1955 by Renato Rascel,

with texts by Pietro Garinei and Sandro Giovannini.

“Arrivederci” literally means “see you again”; indeed, the

song is inspired by the beauty of the Eternal City and by the

feelings that they induce on a tourist that is leaving.

We hope that you have enjoyed ETAPS’13, its scientific

events, its social events and the overall organization. The

numbers tell us that it was a success: around 650 participants, 609 papers submitted to the main conferences

(among which only 148 were accepted, leading to 24.3% as acceptance rate), 22 workshops, 3 tutorials, 2

celebrations.

After POPL’13 (held in January) and ETAPS’13 (now in March), we will have the pleasure and the honour of

hosting also CONCUR’14 in our beautiful city. See you soon, then!

ETAPS Daily Issue 9

Sunday, March 24th, 2013

A thematic journey into Rome: Shopping

Rome offers you several places where you can

find great souvenirs of your trip in Italy. Via

Condotti, Via Borgognona and Via Frattina are

three parallel streets start near Piazza di Spagna

that reach Via del Corso; they are the best known

highly expensive fashion in Rome. The atelier of

Bulgari opened in Via Condotti in 1905; Armani,

Hermès, Cartier, Ferragamo and Battistoni (the

latter was a tailor favoured by the late Duke of

Windsor) are located here. Via Borgognona hosts

Via Cola di Rienzo, Via Ottaviano and Viale

Giulio Cesare form one of the most important

areas for shopping and cafés in the city: next to

many family owned, unbranded shops, there are

several boutiques, like Trussardi, Energy, Diesel

Jeans, Miss Sixty, Armani and Benetton.

Another picturesque shopping street is Via

Margutta, a small street near Piazza di Spagna,

with art galleries, restaurants and antique dealers.

Weather forecast:

9-13 13-17 17-22

Sun

Mon

Tue

Today’s program:

Timetable:

900-11

00: workshops

1100-11

30: coffee break

1130-12

30: workshops

1230-14

00: lunch

1400-15

30: workshops

1530-16

00: coffee break

1600-18

00: workshops

Scientific Events:

GRAPHITE: room E

GT-VMT: room D

IC1201: room G

MLQA: room F

QAPL: room F

more fashion houses, including Fendi,

Dolce & Gabbana, Laura Biagiotti or

Gai Mattiolo. A walk through Via del

Corso will also lead you to a charming

gallery that takes its name after the

famous Italian actor Alberto Sordi.

An association known as “I Cento Pittori di Via Margutta” (100 painters of Via Margutta)

turns the street into an open-air art gallery during spring and autumn; several art galleries

are present and open to visitors all the year.

Touristic gifts can be found in every touristic area of the city and are available at different

budgets: you will surely find the one that fits your needs!

ETAPS’14 in Grenoble

The 17th edition of ETAPS will take place on

April 5th to 13

th, 2014, in Grenoble (France), with

workshops on April 5th-6th and 12

th-13

th, and Main

Conferences on April 7th-11

th.

There will be 20 workshops and conferences

affiliated to ETAPS 2014. The invited speakers

will be: Christel Baier (Technical University of

Dresden, Germany), Benoit Dupont de Dinechin

(Kalray, France), Robert Harper (Carnegie

Mellon University, US), Maurice Herlihy (Brown

University, US), Petr Jančar (Technical Univ of

Ostrava, Czech Republic), Orna Kupferman

(Hebrew University Jerusalem, Israel), John

Launchbury (Galois, US) and David Mazières

(Stanford University, US).

Located in the south-eastern part of France,

Grenoble is considered as the capital of the Alps.

Grenoble is surrounded by nature and high

mountains: down the Alps, Grenoble is the

meeting point of two important rivers, called Drac

and Isère. Grenoble has important historical and

gastronomic heritages. Leisure activities in

breathtaking nature are easily organizable and

within short-distance. Grenoble is also a major

scientific centre in Europe dedicated to high-tech

technologies, e.g., nano, micro, bio and

information technologies.

Pre and Post workshops will take place in

Grenoble's Campus. The campus is easily and

quickly reachable from downtown with public

transportation. Main conferences will take place

in the Grenoble World Trade Centre, located in

the city centre.

Grenoble is easily reachable by several means:

• By plane: There are 3 airports:

o International airport of Lyon Saint-

Exupery (100 km). There is a bus

connection between Lyon Saint-

Exupery and the Grenoble train station.

o Grenoble Saint-Geoirs airport (45km).

A bus is waiting for every arriving

plane.

o The Geneva International airport (150

km). There is a bus connection to

Grenoble.

• By train: There are TGV (fast train)

connections with Paris (3h travel time, 7

trains/day), Lyon (1h30 travel time, 28

trains/day) and Brussels (5h travel time),

international connections to Geneva

(120km) and Milano.

Important Dates:

• Abstract Submission: Oct 4, 2013

• Paper Submission: Oct 11, 2013

• Author Notification: Dec 20, 2013

• Camera-ready version: Jan 17, 2014

Organizing committee:

• Saddek Bensalem

• Marius Bozga

• Yliès Falcone

• Axel Legay

• Nicolas Halbwachs

See you in Grenoble!!