SAC 2016
31st ACM Symposium
on Applied Computing

Pisa, Italy   April 4-8, 2016
Association for
Computing Machinery
Sponsored by
Keynote Speakers

Tuesday April 5, 2016
10:00 - 11:40AM


Dr. John Mylopoulos
Department of Computer Science
University of Toronto
Toronto, Ontario




See Slides Here

The Requirements Problem in Software Engineering


The requirements problem is the problem of deriving a specification consisting of functions and quality constraints that along with a set of domain assumptions satisfy a given set of requirements. We present several formulations of the requirements problem to account for changing requirements, adaptive software design and the next release problem. In each case, we discuss the tractability of algorithms that search spaces of alternatives to find Pareto-optimal solutions to the problem. This is joint work with many colleagues and students, including Roberto Sebastiani, Paolo Giorgini, Fatma Aydemir, Chi Mai Nguyen (UniTN), Neil Ernst (CMU), Alex Borgida (Rutgers) and Ivan Jureta (Namur).


John Mylopoulos holds a professor emeritus position at the Universities of Toronto and Trento. He earned a PhD degree from Princeton University in 1970 and joined the faculty of the Department of Computer Science at the University of Toronto the same year. His research interests include conceptual modelling, requirements engineering, data semantics and knowledge management. Mylopoulos is a fellow of the Association for the Advancement of Artificial Intelligence (AAAI) and the Royal Society of Canada (Academy of Applied Sciences). He has served as programme/general chair of international conferences in Artificial Intelligence, Databases and Software Engineering, including IJCAI (1991), Requirements Engineering (1997, 2011), and VLDB (2004). Mylopoulos is currently leading a project titled "Lucretius: Foundations for Software Evolution”, funded by an advanced grant from the European Research Council.

Thursday April 7, 2016
10:00 - 11:40AM


Dr. Marco Conti
Research Director of the Italian National Research Council (CNR)
Director of the CNR Department of Engineering, ICT and Technologies for Energy and Transportation


le: From MANET to people-centric computing and communications


In this talk, we first discuss the evolution of the multi-hop ad hoc networking paradigm from MANET to the emerging people-centric networking, where personal mobile devices link the cyber-world with the physical world. People-centric networking leads immediately to emerging localized communication and computing services that are tightly coupled with people and their devices (e.g., mobile data offloading, opportunistic computing, etc.). In the second part of the talk, we discuss how the human behavior (e.g., human social organization) and its cognitive constraints can affect computing and communications in the cyber-physical world. Specifically, we show how embedding models of human behavior into information dissemination protocols can optimize information diffusion.


Dr. Marco Conti is a Research Director of the Italian National Research Council (CNR) and, currently, he is the Director of the CNR Department of Engineering, ICT and Technologies for Energy and Transportation. He has published in journals and conference proceedings more than 350 research papers related to design, modelling, and experimentation of computer networks, future Internet, social networks and pervasive computing systems. He co-authored the books: "Metropolitan Area Networks (MANs): Architectures, Protocols and Performance Evaluation" (Springer 1997) and "Online Social Networks: Human Cognitive Constraints in Facebook and Twitter Personal Graphs" (Elsevier, 2015), and he is co-editor of the books: "Mobile Ad hoc networking: the cutting edge technologies," (IEEE-Wiley 2013), "Mobile Ad Hoc Networking" (IEEE-Wiley 2004), and Mobile Ad Hoc Networks: from Theory to Reality (Nova Science Publishers 2007). He is Editor-in-Chief of Elsevier Computer Communications journal and Associate Editor-in-Chief of Elsevier Pervasive and Mobile Computing journal. He received the best paper award at several conferences, including IFIP TC6 Networking 2011 and IEEE WoWMoM 2013. He served as TPC chair for several major conferences -- including IFIP Networking 2002, IEEE WoWMoM 2005, IEEE PerCom 2006, and ACM MobiHoc 2006 -- and he was general chair (among many others) for IEEE WoWMoM 2006, IEEE MASS 2007 and IEEE PerCom 2010. He is the founder of successful conference and workshop series, such as ACM RealMAN, IEEE AOC, ACM MobiOpp, and IFIP/IEEE SustainIT.