SIROCCO 2019 and Conference Program - 1-4 July 2019 Gran Sasso Science Institute (GSSI)
←
→
Page content transcription
If your browser does not render page correctly, please read the page content below
26th International Colloquium on Structural Information
and Communication Complexity
SIROCCO 2019
General Information
and Conference Program
1-4 July 2019
Gran Sasso Science Institute (GSSI)
L’Aquila, Italy
https://cs.gssi.it/sirocco2019/
Welcome to SIROCCO 2019 SIROCCO is devoted to the study of the interplay between structural knowled- ge, communication, and computing in decentralized systems of multiple com- municating entities. Special emphasis is given to innovative approaches lea- ding to better understanding of the relationship between computing and com- munication. The post-proceedings of SIROCCO 2019 will be published by Springer in the Lecture Notes in Computer Science series (LNCS) after the conference. Selected papers from SIROCCO 2019 will be invited to a special issue of Theoretical Computer Science, Elsevier. Co-Chairs Keren Censor-Hillel, Technion, Israel Michele Flammini, GSSI and University of L’Aquila, Italy Keynote Speakers Susanne Albers, TU München, Germany Talk: On Energy Conservation in Data Centers Pierre Fraigniaud, CNRS and Université de Paris, France Talk: A Topological Perspective on Distributed Network Computing Paola Flocchini, University of Ottawa, Canada Talk: On Sense of Direction and Mobile Agents Merav Parter, Weizmann Institute of Science, Israel Talk: Secure Distributed Algorithms Roger Wattenhofer, ETH Zurich, Switzerland Tutorial: Blockchain 2019 Prize for Innovation in Distributed Computing Paola Flocchini - For her contributions to the study of sense of direction in labeled graphs and to the analysis of asynchronous systems of mobile agents Best-Student Paper Sebastian Brandt, Manuela Fischer and Jara Uitto: Breaking the Linear- Memory Barrier in MPC: Fast MIS on Trees with Strongly Sublinear Memory
Committees • Program Committee • Organizing Committee • Dan Alistarh, IST, Austria • Guido Proietti (co-chair), University • James Aspnes, Yale Univerity, USA of L’Aquila, Italy • Alkida Balliu, Aalto University, Fin- • Gianlorenzo D’Angelo, GSSI, Italy land • Mattia D’Emidio, University of L’A- • Vittorio Bilò, University of Salento, quila, Italy Italy • Michele Flammini (co-chair), GSSI & • Lelia Blin, Sorbonne University, University of L’Aquila, Italy France • Luciano Gualà, University of Rome • Ioannis Caragiannis, University of Tor Vergata, Italy Patras, Greece • Ludovico Iovino, GSSI, Italy • Keren Censor-Hillel (co-chair), • Cosimo Vinci, University of L’Aquila, Technion, Israel Italy • Michele Flammini (co-chair), GSSI & University of L’Aquila, Italy • Steering Committee • Luisa Gargano, University of Saler- no, Italy • Shantanu Das, Aix-Marseille Univer- • Chryssis Georgiou, University of sity, France Cyprus, Cyprus • Rastislav Kralovic, Comenius Uni- • Magnús Halldórsson, Reykjavik versity, Slovakia University, Iceland • Zvi Lotker, Ben Gurion University, • Tomasz Jurdzinski, University of Israel Wroclaw, Poland • Boaz Patt-Shamir, Tel Aviv Universi- • Fabian Kuhn, University of Freiburg, ty, Israel Germany • Andrzej Pelc, University of Québec, • Toshimitsu Masuzawa, Osaka Uni- Canada versity, Japan • Nicola Santoro, Carleton University, • Alessia Milani, University of Bor- Canada deaux, France • Sebastien Tixeuil, University Paris 6, • Ivan Rapaport, Universidad de Chile, France Chile • Jukka Suomela, Aalto University, • Dror Rawitz, Bar-Ilan University, Finland Israel • Mordechai Shalom, Tel-Hai College, Israel • Jennifer Welch, Texas A&M Univer- sity, USA • Prudence W.H. Wong, University of Liverpool, UK • Yukiko Yamauchi, Kyushu Universi- ty, Japan
Conference Venue SIROCCO 2019 takes place at Gran Sasso Science Institute (GSSI), Viale Francesco Crispi 7, L’Aquila, Italy. Registration Desk and Welcome Reception The registration desk is located at GSSI. Registration starts at 18:00 on Mon- day 1st July. At 18:30, there will be a welcome drink. How to WiFi Access Each participant will be given credentials to access GSSI network at the regi- stration. Coffee Breaks, Lunches, and Welcome Dinner Coffee breaks take place at GSSI. Lunches take place at the lunch canteen, in front of GSSI (Consiglio Regionale d’Abruzzo, Via Iacobucci Michele 4). There will be a welcome dinner, for all attendees, at the lunch canteen, at 18:30 on Tuesday 2nd September. Social Event The social event starts at 14:30 on Wednesday 3rd July. We will leave GSSI to visit Santo Stefano di Sessanio and Bominaco, two beautiful mediaeval villa- ges close to L’Aquila. Then, we will visit Grotte di Stiffe (San Demetrio ne’ Vestini, L’Aquila), one of Italy's most beautiful complex of underground caves. Social Banquet The social banquet takes place at 19:00 on Wednesday 3rd July (after the so- cial event), at Ristorante Villa Feronia (Strada Vicinale Tre Vasche, L’Aquila). Map On the last page of this brochure you can find a map highlighting the confe- rence points of interest (venue, hotels, lunch canteen...). A more detailed map will be provided separately at the registration desk. Further informations are available at: https://cs.gssi.it/sirocco2019/
Conference Program Monday, July 1
9:30-12:30 Tutorial - Roger Watthenofer: Permissioned Blockchains
15:00-17:00 Tutorial - Roger Watthenofer: Permissionless Blockchains
17:00-18:00 Roger Watthenofer: Payment Network Design, Algorithmic Channel
Design, Rational Blockchains, etc.
18:00-18:30 Registration Opens
18:30-21:30 Welcome Reception
Tuesday, July 2
8:50-9:00 Opening
9:00-10:00 Invited Talk
Merav Parter: Secure Distributed Algorithms
10:00-10:30 Coffee Break
Session 1 - Chair: Magnús M. Halldórsson
10:30-10:55 Serafino Cicerone, Gabriele Di Stefano and Alfredo Navarra: Ga-
thering Synchronous Robots in Graphs: from general properties to
dense and symmetric topologies
10:55-11:20 Andreas Bärtschi, Evangelos Bampas, Jérémie Chalopin, Shan-
tanu Das, Christina Karousatou and Matúš Mihalák: Near-gathe-
ring of energy-constrained mobile agents
11:20-11:45 Masahiro Shibata, Norikazu Kawata, Yuichi Sudo, Fukuhito Oo-
shita, Hirotsugu Kakugawa and Toshimitsu Masuzawa: Partial
gathering of mobile agents without identifiers or global knowledge in
asynchronous unidirectional rings
11:45-12:10 Serafino Cicerone, Gabriele Di Stefano, Leszek Gasieniec and
Alfredo Navarra: Asynchronous Rendezvous with Different Maps
12:10-12:20 Yves Mocquard, Bruno Sericola and Emmanuelle Anceaume:
Average-based Population Protocols: Explicit and Tight Bounds of the
Convergence Time (Brief Ann.)Conference Program Tuesday, July 2
12:35-14:00 Lunch
14:00-15:00 Invited Talk
Susanne Albers. On Energy Conservation in Data Centers
15:00-15:30 Coffee Break
Session 2 - Chair: Ivan Rapaport
15:30-15:55 Emmanuel Godard, Damien Imbs, Michel Raynal and Gadi Tau-
benfeld: Anonymous Read/Write Memory: Leader Election and De-
sanonymization
15:55-16:20 Volker Turau: Self-Stabilizing Randomized Algorithms
16:20-16:45 Gadi Taubenfeld: The Set Agreement Power is not a Precise Cha-
racterization for Oblivious Deterministic Anonymous Objects
16:45-17:10 Thorsten Götte, Kristian Hinnenthal and Christian Scheideler:
Faster Construction of Overlay Networks
17:10-17:20 Ingo van Duijn, Stefan Schmid and Chen Avin: Self-Adjusting Line
Networks (Brief Ann.)
17:20-17:30 Koki Inoue, Yuichi Sudo, Hirotsugu Kakugawa and Toshimitsu
Masuzawa: A strongly-stabilizing protocol for spanning tree construc-
tion against a mobile Byzantine fault (Brief Ann.)
17:30-18:30 Business Meeting
18:30-21:00 Welcome DinnerConference Program Wednesday, July 3
9:00-10:00 Invited Talk
Paola Flocchini: On Sense of Direction and Mobile Agents
10:00-10:30 Coffee Break
Session 3 - Chair: Lelia Blin
10:30-10:55 Jurek Czyzowicz, Konstantinos Georgiou, Ryan Killick, Evange-
los Kranakis, Danny Krizanc, Manuel Lafond, Lata Narayanan,
Jaroslav Opatrny and Sunil Shende: Time-Energy Tradeoffs for
Evacuation by Two Robots in the Wireless Model
10:55-11:20 Joffroy Beauquier, Janna Burman, Peter Davies and Fabien Du-
foulon: Optimal Multi Broadcast with Beeps using Group Testing
11:20-11:45 Kaustav Bose, Manash Kumar Kundu, Ranendu Adhikary and
Buddhadeb Sau: Arbitrary Pattern Formation by Asynchronous Opa-
que Robots
11:45-12:10 Anne-Laure Ehresmann, Manuel Lafond, Lata Narayanan and
Jaroslav Opatrny: Distributed pattern formation in a ring
12:10-12:20 Christina Kolb, Jannik Castenow and Christian Scheideler: A
Bounding Box Overlay for Competitive Routing in Hybrid Communica-
tion Networks (Brief Ann.)
12:35-14:00 Lunch
14:30-19:00 Social Tour
19:00-21:30 Social Banquet
Thursday, July 4
9:00-10:00 Invited Talk
Pierre Fraigniaud: A Topological Perspective on Distributed Network
Computing
10:00-10:30 Coffee BreakConference Program Thursday, July 4
Session 4 - Chair: Gadi Taubenfeld
10:30-10:55 Sebastian Brandt, Manuela Fischer and Jara Uitto: Breaking the
Linear-Memory Barrier in MPC: Fast MIS on Trees with Strongly Su-
blinear Memory
10:55-11:20 Alkida Balliu, Juho Hirvonen, Christoph Lenzen, Dennis Olivetti
and Jukka Suomela: Locality of not-so-weak coloring
11:20-11:45 Davide Bilò, Luciano Gualà, Stefano Leucci and Guido Proietti:
Tracking Routes in Communication Networks
11:45-12:10 Pierre Fraigniaud, Pedro Montealegre, Rotem Oshman, Ivan Ra-
paport and Ioan Todinca: Lower Bounds for Single-Interaction Di-
stributed Arthur-Merlin and Merlin-Arthur Protocols
12:10-12:20 Ayesha Bajwa, Alberto Ancona, Frederik Mallmann-Trenn and
Nancy Lynch: How to Color a French Flag--Biologically Inspired Al-
gorithms for Scale-Invariant Patterning (Brief Ann.)
12:35-14:00 Lunch
Session 5 - Chair: Alkida Balliu
14:00-14:25 Jérémie Chalopin, Shantanu Das, Yann Disser, Arnaud Labourel
and Matúš Mihalák: Collaborative Delivery on a Fixed Path with
Homogeneous Energy-Constrained Robots
14:25-14:50 Kaustav Bose, Ranendu Adhikary, Manash Kumar Kundu and
Buddhadeb Sau: Positional Encoding by Robots with Non-Rigid Mo-
vements
14:50-15:15 Yann Disser and Sören Schmitt: Evacuating Two Robots from a
Disk: A Second Cut
15:15-15:25 Quentin Bramas, Stéphane Devismes and Pascal Lafourcade:
Infinite Grid Exploration by Disoriented Robots (Brief Ann.)
15:25-15:35 Adam Heriban and Sébastien Tixeuil: Mobile Robots with Uncer-
tain Visibility Sensors: Possibility Results and Lower Bounds (Brief
Ann.)
15:35-15:45 Subhash Bhagat, Sruti Gan Chaudhuri and Krishnendu Mukho-
padhyaya: Mutual Visibility For Asynchronous Robots (Brief Ann.)
15:45-15:55 Oscar Morales-Ponce: Visiting Infinitely Often the Unit Interval while
Minimizing the Idle-time of High Priority Segments (Brief Ann.)
15:55-16-00 ClosingGran Sasso Science Institute (GSSI) The Gran Sasso Science Institute (GSSI) is an international PhD school and a center for research and higher education in the areas of Physics, Mathematics, Computer Science and Social Sciences. As a project supported by the Organi- zation for Economic Cooperation and Development (OECD), the GSSI has been instituted as a new Italian graduate school of advanced studies in 2016, after a three-years succesful experimental period. Located in L’Aquila, in central Italy, the school welcomes professors, resear- chers and students selected internationally following the best graduate schools standards worldwide. The PhD program is organized in the scientific areas of Astroparticle Physics, Mathematics, Computer science, Urban Studies and Regional Sciences. Every year we offer Post doctoral grants and research op- portunities thus facilitating the attraction of high-level resources in the fields of natural and social sciences. Through a day-to-day collaboration and interaction, researchers and students have the opportunity to build a sound knowledge of the research methods and to experiment contamination of interests, innovative approaches and multicultu- ral exchanges in all the GSSI activities. In addressing the complexity of today’s world, we are committed to removing all barriers between the GSSI areas of study and research, where interdisci- plinarity and cross-fertilization underlie everything we do. Among our goals are the dissemination of scientific results towards society and the promotion of cultural events for generic public, citi- zens and schools. L’Aquila and the region of Abruzzo Abruzzo Abruzzo is located in central Italy and stretches from the heart of the Apennines to the Adriatic Sea, on a mostly mountainous and wild terrain. In the mountains, tourist resorts and well-equipped facilities for skiing and win- ter sports rise among unpolluted peaks and rocky walls: among them are Pe- scasseroli, Rivisondoli and Roccaraso. The natural landscape of the high and steep peaks of the Gran Sasso, Laga Mountains, and Mount Majella slopes down to a wide range of hills, until it fi- nally reaches the Adriatic coast.
The route that spans from the Gran Sasso down to the sea crosses territories that are rich in history, traditions and art that ne- ver cease to surprise visi- tors. Narrow valleys and im- pressive, natural paths thrust their way into the mountains and hills, as does the amazing and fascinating Aterno Valley, crawling with ancient villages. Abruzzo can be proud of its title as the "Green Region of Europe", thanks in particular to the presence of 3 National Parks (the National Park of Abruzzo, Lazio and Molise, the Majella National Park and the Gran Sasso and Monti della Laga National Park), the Natural Regional Park of Sirente-Velio, the pro- tected marine area Torre del Cerrano and the 38 protected areas representing 36.3% of its total area, the largest in Europe. Natural reserves protect the typi- cal vegetable and animal species of the area, including the golden eagle, the wolf and the Marsican brown bear. The Adriatic coast is characterized by long and sandy beaches to the north and pebbly beaches to the south. Also, the small villages of the hinterland, as well as the monasteries and castles of the region, are very charming and part of many touristic routes. The provinces of the region are: L’Aquila (regional capital), Pescara, Teramo and Chieti. L’Aquila L’Aquila will fascinate you with its ancient traditions, its historic cen- tre full of architectural buildings, its culture and by its hospitable people. Sur- rounded by the highest mountains of Appennines, L’Aquila shows the sights of its natural territory. This city was founded during the second half of the XIII century as a confederation of 99 little feuds, and this important historical event is, still today, represented by a famous monument called the “99 Cannelle” Fountain. This number is peculiar of the city itself, because here you can see 99 churches, 99 squares and 99 neighborhoods.
What to see in L’Aquila In the following, some interesting places, buildings, and monu- ments of L’Aquila are described. Each place is associated to a number, to find its position in the map at the last page. 1) Church of San Bernardino This magnificent church is stri- king for its lavish facade comple- ted in 1527 by Cola dell'Amatri- ce. Inside, beneath a lovely wooden Baroque ceiling is the elegant tomb of Maria Pereira and the mauso- leum of San Bernardino adorned with figures by the local sculptor, Silvestro dell'Aquila (a reminder that Bernadino of Siena died in L'Aquila in 1444). (Lo- cated in: Via San Bernardino) 2) Church of Santa Maria di Collemaggio This is the most celebrated basilica in Abruzzo (closed in the wake of the damage caused by the 2009 earthquake), begun in 1287 on the orders of Pietro da Morone, who became Pope Celestine V in 1294. The huge facade with rectilinear embellishments is distinguished by its geometrical designs in white and pink stone, and pierced with rose windows. On the left flank of the basilica stands the Porta Santa, a fine richly decora- ted Romanesque doorway. Inside is Celesti- ne's Lombard Renaissance style tomb. (Lo- cated in: Piazzale Collemaggio) 3) Castle of L’Aquila The Spanish Fortress of L’Aquila, commonly called "il Castello" by the Aquilans, is one of the most impressive Renaissance castle in Central and Southern Italy, built in the 16th century when Aquila had become the second most powerful city in the Kingdom after Naples. Built by Pirro Luigi Escribà (who also designed Castel Sant'Elmo in Naples), this square fortress
is reinforced with po-
werful bastions. Prior
to the earthquake, its
vast rooms housed the
National museum of
the Abruzzo which ex-
hibited interesting ve-
stiges of the Abruzzo
dating from the Roman
era and a section de-
voted to religious art.
(Located in: Via Ca-
stello)
4) Fontana delle 99 Cannelle This is one of the oldest and most characteri-
stic monuments, built in 1272, and is almost a symbol of the city, it was built at
the request of the Tuscan Governor Lucchesino Aleta, by Tancredi da Pentima.
Its originality is seen not
only in its trapezoid sha-
pe and the stone masks,
each different from the
other, but also in the fact
that the source of the
water supplying the
fountains is unknown.
According to legend, the
masks represent the
lords of the castles who
contributed to the foun-
ding of the city. (Located
in: Piazza San Vito)5) Main Square and City Cathedral The city Cathedral named after the pa-
tron saint of the city St. Massimo and after St. Giorgio, from the namer of the
quarter it was build in. It
was build in 1257 on the
structure of a pre-existing
temple, but continuos ear-
thquakes have destroyed
all traces of that structure.
St. Massimo today has
much more modern featu-
res than in the medieval
times. The city cathedral is
located in the main square
of L’Aquila. (Located in:
Piazza Duomo)
7) Auditorium del Parco Architect
Renzo Piano has replaced the audito-
rium destroyed during the 2009 ear-
thquake in L'Aquila, Italy, with a flat-
pack building comprising three woo-
den cubes. (Located in: Viale delle
Medaglie d’Oro)
6) Fontana luminosa The
fountain is characterized by two
bronze sculpted women who
carry a traditional fresh water
container. It is named after the
evocative play of lights on water,
which is visible at night. (Loca-
ted in: Piazza Battaglione Alpini)• Gran Sasso Science Institute, Viale • Hotel Castello, Piazza Battaglione Alpi-
Francesco Crispi, 7 ni
• Lunch Canteen (Consiglio Regionale • Hotel Amiternum, Strada Statale 1
Abruzzo), Via Iacobucci Michele, 4 • Terminal-Bus Collemaggio, Via Giaco-
• Hotel San Michele, Via Giardini, 6 mo Caldora
Sponsors
! !You can also read
