To be co-located with LICS 2021
End of June / Beginning of July 2021
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.
Fontana di Trevi
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.
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).
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.
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.
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.
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.
+39 06 4991 8434
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.
Please visit our company website, www.easyconferences.eu, for more information on our services, a list of upcoming and completed events, and several referrals from satisfied customers.
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 development 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, conference website development and management, management of all related activities, complete interaction with suppliers and participants, 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 extremely 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 participant’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.