ITP 2021

To be co-located with LICS 2021

End of June / Beginning of July 2021

Rome, Italy

We propose Rome, Italy as the host city and country for ITP 2021. Rome offers many advantages as a location. It is readily accessible -at affordable prices- internationally and directly from all major European air hubs (e.g. London, Frankfurt etc.). Rome is also accessible from the Americas, Asia, Africa and Middle East.

Colosseum

Fontana di Trevi

Roman Forum

Today’s Italy is a modern country that combines a unique European culture with ancient enchantment. One of the benefits of being a country in the south of Europe is plentiful sunshine throughout the year, and Italy is no exception. In fact, Italy epitomizes the ideal weather of the region with sunny days and fine temperatures almost every day.

Hosting Institution

The local host of the conference will be the Università di Roma “La Sapienza” and the hosting department will be the Dipartimento di Informatica (https://www.uniroma1.it/en/pagina-strutturale/home  and https://www.di.uniroma1.it/en, respectively).

Profile

With over 700 years of history, 112,000 students, 4000 teachers and 2000 employees, technicians and librarians, in addition to 2000 administrative staff in university hospitals, Sapienza is the first university in Europe. Our mission is to contribute to the development of a knowledge society through research, excellence, quality education and international cooperation. The world’s leading university rankings place Sapienza at the top of Italian universities for quality of research, education and international dimension; moreover, Sapienza excels and leads as a benchmark in many subject areas.

The Department of Computer Science

Founded on January 1, 1992 under the initiative of a group of professors from the Department of Mathematics “Guido Castelnuovo” with backgrounds from a variety of fields such as physics, engineering, and mathematics, the department is set on building upon the scientific and mathematical backgrounds of the founders. The department became the first center in greater Rome dedicated to the study of theoretical and applied computer science and today is a reference point for well-prepared students to jump into  the evolving field of Information and Communications Technology. 

The department is internationally recognized as a center of excellence in many of the most important current areas of research in Computer Science.

Venue (Suggestion 1)

NH Collection Roma Centro

The NH Collection Roma Centro hotel, formerly known as NH Roma Leonardo da Vinci, has undergone a sophisticated refurbishment and is ideally located in the exclusive Prati neighbourhood, a residential area of Rome, near the Vatican City, the magnificent Sant’Angelo Bridge, Sant’Angelo Castle, Piazza Navona, Pantheon and direct connection to nearby neighbourhoods such as Trastevere.

The hotel has 20 meeting rooms, nine of which have natural light, and 257 modern & spacious accommodation rooms, all newly renovated. The hotel’s restaurant is known throughout Rome for its excellent Italian and International cooking.

Venue (Suggestion 2)

Hotel Barceló Aran Mantegna

The Barceló Aran Mantegna, 4 star hotel, is located in EUR-Garbatella, Rome’s business district, surrounded by green spaces and very close to the city’s new exhibition center, the Nuova Fiera di Roma. The hotel offers a transfer service to and from the center. On route it is possible to admire the Roman Baths of Caracalla and the Circus Maximus (with views of the Arch of Constantine and the Colosseum), plus the promenade along the shores of the Tiber river and the Ghetto.

The hotel boasts its own convention center spread over 2 floors with 18 meeting rooms, an auditorium seating 450 people and a total capacity of 1,500 people, with direct access to the hotel. 

Schedule

Our main aim is to co-locate 3 main conferences, together with their affiliated workshops. One conference is LICS (officially confirmed for Rome in 2021); the other two are under discussion (one of them is ITP). We have approached SAT and CADE and are in talks with them. We also made a bid for WoLLIC that is under discussion.

Tentative Schedule

Notes for Tentative Schedule
With the above schedule, the opening of every conference is on a distinct day (Monday for ITP, Tuesday for LICS, Wednesday for TBA).
The schedule of ITP and TBA can be interchanged if preferred, whereas LICS cannot be moved as it has both pre and post conference workshops.

Our proposal is to share the invited speakers: this has the advantage of giving the speaker a wider audience and reduce the organization costs. Each conference decides the invited for its opening day, whereas the invited for thursday will be commonly decided by the three conferences. We can discuss the possibility of having an extra invited speaker for every conference, according to the registration fees we’d like to set.

Social Events

Welcome Reception We plan to have a combined welcome reception on the 2nd day of the ITP conference (coinciding with the start of LICS) to provide the best opportunities for attendees to network, while providing unlimited local drinks and ample canapés.

Conference Dinner This is an exceptional opportunity to have a traditional Italian dinner and to get to know fellow delegates better in a different yet relaxed environment. It will be a unique experience and according to the overall program schedule, we also plan to include a short excursion beforehand (i.e. a tour of the Ancient Appia, keeping in the vicinity of the chosen restaurant).

Organisation

Chairing

Prof. Gorla will be the general chair of all the events involved (ITP, LICS and a possible third conference); he has already done this both for ETAPS’13 (that included 6 conferences and 20 workshops), for CONCUR/TCS/TGC’14 (3 conferences and 6 workshops) and for ICALP’16 (co-chairing with Tiziana Calamoneri; one conference with 3 tracks, no workshops). Prof. Ivano Salvo will be acting as the Workshop Chair (taking care of the schedule of all workshops) and Prof. Adolfo Piperno as the Publicity Chair (taking care of timely dissemination of advertisements for all the events); a few PhD students will support all these activities.

Contact

Daniele Gorla

 Associate Professor

Phone

+39 06 4991 8434

Short Bio

Daniele Gorla was born in 1976. He got his master’s degree with honors in Computer Science from the University of Rome “La Sapienza” (December 2000). He got his Ph.D. in Computer Science from the University of Florence (February 2005) under the supervision of Rocco De Nicola and Rosario Pugliese. Since March 2006 he is assistant professor at the Computer Science Department of the University of Rome “La Sapienza”.

His research focuses on formal methods in computer science, mostly for concurrent programming languages and calculi, with application to security. He published papers in main journals and conferences in theoretical computer science. He acted as reviewer for most journals and conferences of his area. In 2003 he was invited speaker at the workshop SecCo’03 affiliated with ICALP. He visited the University of Sussex at Brighton in 2003 with a “Marie Curie” grant, where he was appointed research associate in 2005. In 2008 he was visiting professor at the laboratory PPS of the University Paris VII. In September 2012, he was a visiting fellow at the University of Technology Sidney (Australia) and Visiting Professor in 2018 at the Ecòle Polytechnique of Paris.

He acted as program committee member for relevant scientific international events (EXPRESS’07-’08-’09, SecCo’07, PLDI’08, MFPS’09, CONCUR’10, CONCUR’13), often acting also as chairman (SecCo’07, EXPRESS’08-’09). He was guest editor for the following journals: Electronic notes in computer science (Elsevier), Mathematical structures in computer science (Cambridge university press), Journal of Computer Security (IOS Press) and Information and Computation (Elsevier).

In 2013 he was the general chair of the 16th European Joint Conference on Theory and Practice of Software (ETAPS). He was PC co-chair of CONCUR 2014, local organizer of the same conference (joint with IFIP-TCS and TGC) and general co-chair of ICALP 2016.

Contact us

Easy Conferences
P.O.Box 24420, 1704, Nicosia, Cyprus
Tel: +357 22 591900
Fax: +357 22 591700
Email: info@easyconferences.eu
Web: www.easyconferences.eu
Reg.Web: www.easyconferences.org

Please visit our company website, www.easyconferences.eu, for more information on our services, a list of upcoming and com­pleted events, and several referrals from satisfied customers.

Coordinators

Easy Conferences

Easy Conferences Ltd has been in business since 1992 and has been specializing in the complete coordination and organization of conferences and all related activities. Through the develop­ment of its own online registration software, in recent years the company has expanded its operations in various countries. We have extensive experience in organizing events ranging from 20 to 2000 participants. We consult, manage and assist in every step of the process of any event, and strive to deliver top professional service throughout.

Our services extend from digital support, media promotion, con­ference website development and management, management of all related activities, complete interaction with suppliers and par­ticipants, online/on-site registration with secretariat, accommodation booking, social activities and other related services, provision of technical equipment, abstract and paper submission, and 24/7 phone support. We are adaptable and ex­tremely flexible as we are aware of the unique requirements and budget restrictions that each conference may have. Our services may be provided on an all-inclusive or on an a-la-carte basis.

Our extensive experience and personal attention to every partici­pant’s needs, backed up by a careful selection of our team and also the right partners, has created an impeccable track record that is our guarantee for watertight planning and coordination.