May 2019 - Haskell - Haskell.org

Call for Conference Grant Applications (Inclusiveness Target Countries)
by Ambrus Kaposi 05 Nov '19

05 Nov '19

Call for Conference Grant Applications The European research network on types for programming and verification (EUTypes COST Action, https://eutypes.cs.ru.nl) supports attendance of young researchers presenting work on type theory at international conferences via travel grants. The rules are described here: https://eutypes.cs.ru.nl/ConfGrants The main points are: * Only researchers from ITCs participating in the action are eligible. As of September 2017, the ITCs involved in EUTypes are: Bosnia and Herzegovina, Czechia, Estonia, Hungary, Lithuania, Macedonia, Poland, Portugal, Romania, Serbia, Slovenia. * Only PhD students and Early Career Investigators (researchers whose PhD degree is at most 8 years old) are eligible. * The grantee must give a talk or present a poster on the topic of type theory. Applications have to be submitted through the e-COST system: https://e-services.cost.eu/conferencegrant Please inform researchers in your country who might be interested. Many thanks, Ambrus Kaposi EUTypes conference grant coordinator

1 6

INCoS-2019 Call for Papers, September 5-7, 2019, Japan, Submission Final Extension May 31
by Davidekova Monika 31 May '19

31 May '19

Call for Papers The 11-th International Conference on Intelligent Networking and Collaborative Systems (INCoS-2019) Oita University, Oita, Japan September 5 - 7, 2019 <http://cs-conferences.acadiau.ca/mobispc-19/> http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php IMPORTANT DATES - Submission Deadline: May 31, 2019 FINAL EXTENSION - Authors Notification: June 15, 2019 - Author Registration: June 25, 2019 - Final Manuscript: June 25, 2019 - Conference Dates: September 5 - 7, 2019 CONFERENCE SCOPE AND OBJECTIVES With the fast development of the Internet, we are experiencing a shift from the traditional sharing of information and applications as the main purpose of the Web to an emergent paradigm, which locates people at the very center of networks and exploits the value of people's connections and relations. Web 2.0 has come to play a major role in this context by enabling a new generation of social networks and web-based communities and dramatically changing the way we use and interact with the Web. Social network analysis is also a rapidly growing field to investigate the dynamics and structure of intelligent Web-based networking and collaborative systems. Virtual campuses and organizations strongly leverage intelligent networking and collaborative systems by a great variety of formal and informal electronic relations, such as business-to-business, peer-to-peer and many types of online collaborative learning interactions. This has resulted in entangled systems that need to be managed efficiently and in an autonomous way. In addition, latest and powerful technologies based on Grid and Wireless infrastructure as well as Cloud computing are currently enhancing collaborative and networking applications a great deal but also facing new issues and challenges. Well-known social networks lack of knowledge management and adaptive solutions and the information shared among peers is rather static. Virtual communities of practice also provide poorly interactive solutions and lack of full support for organization, management, mobility and security. This conference covers the latest advances in intelligent social networks and collaborative systems that lead to gain competitive advantages in business and academia scenarios. The ultimate aim is to stimulate research that will lead to the creation of responsive environments for networking and, at longer-term, the development of adaptive, secure, mobile, and intuitive intelligent systems for collaborative work and learning. Industry and academic researchers, professionals and practitioners are invited to exchange their experiences and present their ideas in this field. PUBLICATION Conference Proceedings All accepted papers of the conference and of workshops will be included in the conference proceedings of Lecture Notes in the Advances in Intelligent Systems and Computing book series published by Springer. Proceedings will be sent by Springer for indexing in EI and SCOPUS, ISI Proceedings, MetaPress, Springerlink. VENUE Oita University, Oita, Japan. MAIN TOPICS AND TRACKS The main topics of interest of INCoS-2019 include but are not limited to the following: * Data Mining, Machine Learning and Collective Intelligence <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#data> * Fuzzy Systems and Knowledge Management <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#fuzzy> * Grid and P2P Distributed Infrastructure for Intelligent Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#grid> * Nature's Inspired Parallel Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#nature> * Security, Organization, Management and Autonomic Computing for Intelligent Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#security> * Software Engineering, Semantics and Ontologies for Intelligent Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#semantics> * Wireless and Sensor Systems for Intelligent Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#wireless> * Service-based Systems for Enterprise Activities Planning and Management <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#service> * Next Generation Secure Network Protocols and Components <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#nextgen> * Big Data Analytics for Learning, Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#bigdata> * Cloud Computing: Services, Storage, Security and Privacy <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#cloudcom> * Intelligent Collaborative Systems for Work and Learning, Virtual Organization and Campuses <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#intelli> * Social Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#social> * Intelligent and Collaborative Systems for e-Health <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#e-health> * Mobile Networking and Applications <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#mobile> INCoS-2019 CONFERENCE OFFICERS Honorary Chairs Seigo Kitano, Oita University, Japan Makoto Takizawa, Hosei University, Japan General Co-Chairs Hiroaki Nishino, Oita University, Japan Leonard Barolli, Fukuoka Institute of Technology, Japan Program Co-Chairs Hiroyoshi Miwa, Kwansei Gakuin University, Japan Flora Amato, University of Naples, Italy Workshops Co-Chairs Masato Tsuru, Kyushu Institute of Technology, Japan Jakub Nalepa, Silesian University of Technology, Poland International Advisory Committee Vincenzo Loia, University of Salerno, Italy Amélia Ferreira da Silva, CEOS. PP, Politécnico do Porto, Portugal Christine Strauss, University of Vienna, Austria Fang-Yie Leu, Tunghai University, Taiwan Albert Zomaya, University of Sydney, Australia International Liaison Co-Chairs Pavel Kromer, Technical Univ. of Ostrava, Czech Republic Kin Fun Li, University of Victoria, Canada Ana Azevedo, CEOS.PP, Politécnico do Porto, Portugal Joseph Tan, McMaster University, Canada Award Co-Chairs Marek Ogiela, AGH Univ. of Science and Technology, Poland Vaclav Snasel, Technical Univ. of Ostrava, Czech Republic Web Administrators Miralda Cuka, Fukuoka Institute of Technology, Japan Kevin Bylykbashi, Fukuoka Institute of Technology, Japan Donald Elmazi, Fukuoka Institute of Technology, Japan Local Arrangement Co-Chairs Ken’ichi Furuya, Oita University, Japan Makoto Nakashima, Oita University, Japan Finance Chair Makoto Ikeda, Fukuoka Institute of Technology, Japan Steering Committee Leonard Barolli, Fukuoka Institute of Technology, Japan TRACK CHAIRS Track 1: Data Mining, Machine Learning and Collective Intelligence Track Co-Chairs: Carson K Leung, University of Manitoba, Canada Thomas Lenhard, Comenius University in Bratislava, Slovakia TPC members: Alfredo Cuzzocrea, University of Trieste, Italy Fan Jiang, University of Northern British Columbia, Canada Wookey Lee, Inha University, Korea Oluwafemi A. Sarumi, Federal University of Technology - Akure, Nigeria Syed K. Tanbeer, University of Manitoba, Canada Tomas Vinar, Comenius University in Bratislava, Slovakia Kin Fun Li, University of Victoria, Canada Track 2: Fuzzy Systems and Knowledge Management Track Co-Chairs: Marek Ogiela, AGH University of Science and Technology, Poland Morteza Saberi, UNSW Canberra, Australia Chang Choi, Chosun University, Korea TPC members: Hsing-Chung (Jack) Chen, Asia University, Taiwan Been-Chian Chien, National University, Taiwan Junho Choi, Chosun University, Korea Farookh Khadeer Hussain, Technology Sydney University, Australia Hae-Duck Joshua Jeong, Korean Bible University, Korea Hoon Ko, Sungkyunkwan University, Korea Natalia Krzyworzeka, AGH University of Science and Technology, Poland Libor Mesicek, J. E. Purkinje University, Czech Republic Lidia Ogiela, Pedagogical University of Cracow, Poland Su Xi, Hohai University, China Ali Azadeh, Tehran University, Iran Jin Hee Yoon, Sejong University, South Korea Hamed Shakouri, Tehran University, Iran Jee-Hyong Lee, Sungkyunkwan University, South Korea Jung Sik Jeon, Mokpo National Maritime University, South Korea Track 3: Grid and P2P Distributed Infrastructure for Intelligent Networking and Collaborative Systems Track Co-Chairs: Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Michal Gregus, Comenius University in Bratislava, Slovakia Takuya Asaka, Tokyo Metropolitan University, Japan TPC members: Jordi Mongay Batalla, National Institute of Telecommunications, Poland Nik Bessis, University of Derby, UK Aniello Castiglione, Dipartimento di Informatica University of Salerno, Italy Naveen Chilamkurti, La Trobe University, Australia Radu-Ioan Ciobanu, University Politehnica of Bucharest, Romania Alexandru Costan, IRISA / INSA Rennes, France Vladimir-Ioan Cretu, University Politehnica of Timisoara, Romania Valentin Cristea, University Politehnica of Bucharest, Romania Marc Frincu, West University of Timisoara, Romania Rossitza Ivanova, Goleva Technical University of Sofia, Bulgaria Dorian Gorgan, Technical University of Cluj-Napoca, Romania Mauro Iacono, Seconda Universita' degli Studi di Napoli, Italy George Mastorakis, Technological Educational Institute of Crete, Greece Constandinos X. Mavromoustakis, University of Nicosia, Cyprus Gabriel Neagu, National Institute for Research and Development in Informatics, Romania Rodica Potolea, Technical University of Cluj-Napoca, Romania Radu Prodan, University of Innsbruck, Austria Ioan Salomie, Technical University of Cluj-Napoca, Romania George Suciu, BEIA International, Romania Nicolae Tapus, University Politehnica of Bucharest, Romania Sergio L. Toral Marín, University of Seville, Spain Radu Tudoran, European Research Center, Germany Lucian Vintan, Lucian Blaga University, Romania Mohammad Younas, Oxford Brookes University, UK Track 4: Nature's Inspired Parallel Collaborative Systems Track Co-Chairs: Mohammad Shojafar, University of Rome, Italy Zahra Pooranian, University of Padua, Padua, Italy Daichi Kominami, Osaka University, Japan TPC members: Francisco Luna, University of Málaga, Spain Sergio Nesmachnow, University La Republica, Uruguay Nouredine Melab, University of Lille 1, France Julio Ortega, University of Granada, Spain Domingo Giménez, University of Murcia, Spain Gregoire Danoy, University of Luxembourg, Luxembourg Carolina Salto, University of La Pampa, AR Stefka Fidanova, IICT-BAS, Bulgaria Michael Affenzeller, Upper Austria University, Austria Hernan Aguirre, Shinshu University, Japan Francisco Chicano, University of Malaga, Spain Javid Tahery, Karlstad University, Sweden Enrique Domínguez, University of Málaga, Spain Guillermo Leguizamón, Universidad Nacional de San Luis, AR Konstantinos Parsopoulos, University of Ioannina, Greece Carlos Segura, CIMAT, Mexico Eduardo Segredo, Edinburgh Napier University, UK Javier Arellano, University of Málaga, Spain Track 5: Security, Organization, Management and Autonomic Computing for Intelligent Networking and Collaborative Systems Track Co-Chairs: Jungwoo Ryoo, Pennsylvania State University, USA Simon Tjoa, St. Poelten University of Applied Sciences, Austria TPC members: Nikolaj Goranin, Vilnius Gediminas Technical University, Lituania Kenneth Karlsson, Lapland University of Applied Sciences, Finland Peter Kieseberg, SBA Research, Austria Hyoungshick Kim, Sungkyunkwan University, Korea Hae Young Lee, DuDu IT, Korea Moussa Ouedraogo, Wavestone, Luxembourg Sebastian Schrittwieser, St. Pölten University of Applied Sciences, Austria Syed Rizvi, Pennsylvania State University, USA Track 6: Software Engineering, Semantics and Ontologies for Intelligent Networking and Collaborative Systems Track Co-Chairs: Kai Jander, University of Hamburg, Germany Giovanni Cozzolino, University of Naples "Federico II", Italy TPC members: Tsutomu Kinoshita, Fukui University of Technology, Japan Kouji Kozaki, Osaka University, Japan Hiroyoshi Miwa, Kwansei Gakuin University, Japan Burin Rujjanapan, Nation University, Thailand Hiroshi Kanasugi, Tokyo University, Japan Takayuki Shimotomai, Advanced Simulation Technology Of Mechanics R&D, Japan Jinattaporn Khumsri, Fukui University of Technology, Japan Rene Witte, Concordia University, Canada Amal Zouaq, University of Ottawa, Canada Jelena Jovanovic, University of Belgrade, RS Zeinab Noorian, Ryerson University, Canada Faezeh Ensan, Ferdowsi University of Mashhad, IR Alireza Vazifedoost, Sun Life Financial, Canada Morteza Mashayekhi, Royal Bank of Canada, Canada Track 7: Wireless and Sensor Systems for Intelligent Networking and Collaborative Systems Track Co-Chairs: Do van Thanh, Telenor & Oslo Metropolitan University, Norway Salem Lepaja, University of Prishtina @ AAB College in Prishtina, Kosovo Shigeru Kashihara, Nara Institute of Science and Technology, Japan TPC members: Dhananjay Singh, HUFS, Korea Shirshu Varma, IIIT-Allahabad, India B. BALAJI Naik, NIT-Sikkim, India Sayed Chhattan Shah, HUFS, Korea, US Madhusudan Singh, Yonsei University, Korea Irish Singh, Ajou University, Korea Gaurav Tripathi, Bharat Electronics Limited, India Jun Kawahara, Kyoto University, Japan Muhammad Niswar, Hasanuddin University, Indonesia Vasaka Visoottiviseth, Mahidol University, Thailand Jane Louie F. Zamora, Weathernews Inc., Japan Track 8: Service-based Systems for Enterprise Activities Planning and Management Track Co-Chairs: Corinna Engelhardt-Nowitzki, University of Applied Sciences, Austria Natalia Kryvinska, Comenius University in Bratislava, Slovakia TPC members: Maria Bohdalova, Comenius University in Bratislava, Slovakia Ivan Demydov, Lviv Polytechnic National University, Ukraine Jozef Juhar, Technical University of Košice, Slovakia Nor Shahniza Kamal Bashah, Universiti Teknologi MARA, Malaysia Eric Pardede, La Trobe University, Australia Francesco Moscato, University of Campania, Italy Tomoya Enokido, Rissho University, Japan Track 9: Next Generation Secure Network Protocols and Components Track Co-Chairs: Xu An Wang, Engineering University of CAPF, China Mingwu Zhang, Hubei Univerisity of Technology, China TPC members: Fushan Wei, The PLA Information Engineering University, China He Xu, Nangjing University of Posts and Telecommunications, China Yining Liu, Guilin University of Electronic Technology, China Yuechuan Wei, Engineering Unviersity of CAPF, China Weiwei Kong, Xi`an University of Posts&Telecommunications, China Dianhua Tang, CETC 30, China Hui Tian, Huaqiao University, China Track 10: Big Data Analytics for Learning, Networking and Collaborative Systems Track Co-Chairs: Santi Caballe, Universitat Oberta de Catalunya Spain Francesco Orciuoli, University of Salerno, Italy Shigeo Matsubara, Kyoto University, Japan TPC members: Santi Caballe, Open University of Catalonia, Spain Jordi Conesa, Open University of Catalonia, Spain Soumya Barnejee, Institut national des sciences appliquées, France David Bañeres, Open University of Catalonia, Spain Nicola Capuano, University of Salerno, Italy Nestor Mora, Open University of Catalonia, Spain Jorge Moneo, University of San Jorge, Spain David Gañán, Open University of Catalonia, Spain Isabel Guitart, Open University of Catalonia, Spain Elis Kulla, Okayama University of Science, Japan Evjola Spaho, Polytechnic University of Tirana, Albania Florin Pop, University Politehnica of Bucharest, Romania Kin Fun Li, University of Victoria, Canada Miguel Bote, University of Valladolid, Spain Pedro Muñoz, University of Carlos III, Spain Track 11: Cloud Computing: Services, Storage, Security and Privacy Track Co-Chairs: Javid Taheri, Karlstad University, Sweden Shuiguang Deng, Zhejiang University, China TPC members: Ejaz Ahmed, National Institute of Standards and Technology, US Asad Malik, National University of Science and Technology, Pakistan Usman Shahid, Comsats Institute of Information Technology, Pakistan Assad Abbas, North Dakota State University, US Nikolaos Tziritas, Chinese Academy of Sciences, China Osman Khalid, Comsats Institute of Information Technology, Pakistan Kashif Bilal, Qatar University, Qatar Javid Taheri, Karlstad University, Sweden Saif Rehman, Comsats Institute of Information Technology, Pakistan Inayat Babar, University of Engineering and Technology, Pakistan Thanasis Loukopoulos, Technological Educational Institute of Athens, Greece Mazhar Ali, Comsats Institute of Information Technology, Pakistan Tariq Umer, Comsats Institute of Information Technology, Pakistan Track 12: Intelligent Collaborative Systems for Work and Learning, Virtual Organization and Campuses Track Co-Chairs: Nikolay Kazantsev, National Research University Higher School of Economics, Russia Monika Davidekova, Comenius University in Bratislava, Slovakia TPC members: Luis Alberto Casillas, University of Guadalajara, Mexico Nestor Mora, University of Cadiz, Spain Michalis Feidakis, University of Aegean, Greece Sandra Isabel Enciso, Fundación Universitaria Juan N. Corpas, Colombia Nicola Capuano, University of Salerno, Italy Rafael Del Hoyo, Technological Center of Aragon, Spain George Caridakis, University of Aegean, Greece Kazunori Mizuno, Takushoku University, Japan Satoshi Ono, Kagoshima University, Japan Yoshiro Imai, Kagawa University, Japan Takashi Mitsuishi, Tohoku University, Japan Hiroyuki Mitsuhara, Tokushima University, Japan Track 13: Social Networking and Collaborative Systems Track Co-Chairs: Nicola Capuano, University of Salerno, Italy Dusan Soltes, Comenius University in Bratislava, Slovakia Yusuke Sakumoto, Kwansei Gakuin University, Japan TPC members: Santi Caballé, Open University of Catalonia, Spain Thanasis Daradoumis, University of the Aegean, Greece Angelo Gaeta, University of Salerno, Italy Christian Guetl, Graz University of Technology, Austria Miltiadis Lytras, American College of Greece Agathe Merceron, Beuth University of Applied Sciences Berlin, Germany Francis Palma, Screaming Power, Canada Krassen Stefanov, Sofia University “St. Kliment Ohridski”, Bulgaria Daniele Toti, Roma Tre Universy, Italy Jian Wang, Wuhan University, China Jing Xiao, South China Normal University, China Jian Yu, Auckland University of Technology, Australia Aida Masaki, Tokyo Metropolitan University, Japan Takano Chisa, Hiroshima City University, Japan Sho Tsugawa, Tsukuba University, Japan Track 14: Intelligent and Collaborative Systems for e-Health Track Co-Chairs: Massimo Esposito, Institute for High Performance Computing and Networking - National Research Council of Italy, Italy Mario Ciampi, Institute for High Performance Computing and Networking - National Research Council of Italy, Italy Giovanni Luca Masala, University of Plymouth, UK TPC members: Tim Brown, Australian National University, Australia Mario Marcos do Espirito Santo, Universidad Stadual de Montes Claros, Brazil Jana Heckenbergerova, University Pardubice, Czech Republic Zdenek Matej, Masaryk University, Czech Republic Michal Musilek, University Hradec Kralove, Czech Republic Michal Prauzek, VSB-TU OStrava, Czech Republic Vaclav Prenosil, Masaryk University, Czech Republic Alvin C. Valera, Singapore Management University, Singapore Nasem Badr El Din, University of Manitoba, Canada Emil, Pelikan, Academy of Sciences, Czech Republic Joanne Nightingale, National Physical Laboratory, UK Tomas Barton, University of Alberta, Canada Track 15: Mobile Networking and Applications Track Co-Chairs: Miroslav Voznak, VSB-Technical University of Ostrava, Czech Republic Akihiro Fujihara, Chiba Institute of Technology, Japan Lukas Vojtech, Czech Technical University in Prague, Czech Republic TPC members: Nobuyuki Tsuchimura, Kwansei Gakuin University, Japan Masanori Nakamichi, Fukui University of Technology, Japan Masahiro Shibata, Kyushu Institute of Technology, Japan Yusuke Ide, Kanazawa Institute of Technology, Japan Takayuki Shimotomai, Advanced Simulation Technology Of Mechanics R&D, Japan Dinh-Thuan Do, Ton Duc Thang University, Vietnam Floriano De Rango, University of Calabria, Italy Homero Toral-Cruz, University of Quintana Roo, Mexico Remigiusz Baran, Kielce University of Technology, Poland Mindaugas Kurmis, Klaipeda State University of Applied Sciences, Lituania Radek Martinek, VSB-Technical University of Ostrava, Czech Republic Mauro Tropea, University of Calabria, Italy Gokhan Ilk, Ankara University, Turkey Shino Iwami, Microsoft, Japan

1 0

Announce: comfort-array, lapack
by Henning Thielemann 29 May '19

29 May '19

I like two announce two of my packages: 1. comfort-array http://hackage.haskell.org/package/comfort-array It provides Boxed and Storable arrays with very liberal shape definitions. You may use ranges of indices like in 'array' or zero-based indexing like in 'repa', but you can also use arbitrary index Sets, enumerations, concatenation of arrays and more. E.g. an array with (Shape.Enumeration Ordering) has three elements with indices LT, EQ, GT. 2. lapack http://hackage.haskell.org/package/lapack A high-level interface to the numerical Linear Algebra package LAPACK. It is based on comfort-array, which means that a vector can have a rich structure. E.g. matrix vector multiplication has the signature: (#*|) :: Matrix.General height width a -> Vector width a -> Vector height a Thus, a 'Matrix.General (Shape.Enumeration Ordering) (h,w) a' would map a rectangular array with dimensions h and w to a three-element vector with indices LT, EQ, GT. The LAPACK interface provides solvers for simultaneous linear equations, linear least-squares problems, eigenvalue and singular value problems for square, triangular, symmetric, Hermitian, banded and banded Hermitian matrices, as LAPACK supports them. For a motivating example refer to: http://code.henning-thielemann.de/bob2019/main.pdf

3 2

EUSPN 2019 CfP in Coimbra, Portugal, November 4-7 2019 (Conference with ISI Special Issues)
by Davidekova Monika 29 May '19

29 May '19

CfP ********************************************************************************** The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) Date: November 4-7, 2019 Location: Coimbra, Portugal Website: http://cs-conferences.acadiau.ca/euspn-19/ ********************************************************************************** The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 30, 2019 - Paper Submission Due: Jun 17, 2019 - Author Notification: August 6, 2019 - Final Manuscript Due: September 6, 2019 Publication ------------- All EUSPN 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com<http://www.Elsevier.com> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<http://www.sciencedirect.com>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<http://www.scopus.com>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com<http://www.scopus.com>) and Engineering Village (Ei) (www.engineeringvillage.com<http://www.engineeringvillage.com>). This includes EI Compendex (www.ei.org/compendex<http://www.ei.org/compendex>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) EUSPN 2019 will be held in conjunction with the 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-19/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-19/call-for-papers.html EUSPN 2019 will be held in the city of Coimbra. Coimbra is a historical city and a municipality in Portugal. Among the many archaeological structures dating back to the Roman era, when Coimbra was the settlement of Aeminium, are its well-preserved aqueduct and cryptoporticus. Similarly, buildings from the period when Coimbra was the capital of Portugal (from 1131 to 1255) still remain. During the late Middle Ages, with its decline as the political centre of the Kingdom of Portugal, Coimbra began to evolve into a major cultural centre. This was in large part helped by the establishment of the University of Coimbra in 1290, the oldest academic institution in the Portuguese-speaking world. Apart from attracting many European and international students, the university is visited by many tourists for its monuments and history. Its historical buildings were classified as a World Heritage site by UNESCO in 2013: "Coimbra offers an outstanding example of an integrated university city with a specific urban typology as well as its own ceremonial and cultural traditions that have been kept alive through the ages." Its atmospheric, beautiful historic core cascades down a hillside in a lovely setting on the east bank of the Rio Mondego: it's a multicoloured collage of buildings spanning nearly a millennium. The conference take place in the environment of technology startups and laboratories within the installations of Instituto Pedro Nunes (IPN). IPN is created in 1991 through a University of Coimbra initiative, Instituto Pedro Nunes (IPN)2 is a private non-profit organization which promotes innovation and the transfer of technology, establishing the connection between the scientific and technological environment and the production sector. IPN mission is to leverage a strong university - enterprise relationship for the promotion of innovation, rigor, quality and entrepreneurship in private and public sector organizations by acting in three complementary areas: Research and technological development, consultancy and specialized services; Incubation and acceleration of businesses and ideas; Highly specialized training and promotion of science and technology. In the year of 2010, the Instituto Pedro Nunes incubator3 has been awarded as the Best Science-based Incubator in the world. Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Cluster, Grid and Social Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Stephane Galland, Université de Technologie de Belfort-Montbéliard, France Elhadi Shakshuki, Acadia University, Canada Local Arrangements Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chairs Muhammad Adnan, Hasselt University, Belgium Haroon Malik, Marshall University, USA Publicity Chair Monika Davidekova, Comenius University in Bratislava, Slovakia Program Vice Chairs Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, United Kingdom Kechar Bouabdellah, University Of Oran 1 Ahmed Benbella, Algeria Samia Bouzefrane, CEDRIC Lab Conservatoire National des Arts et Métiers, France Alfredo Cuzzocrea, University of Trieste, Italy Stephane Galland, Université de Technologie de Belfort-Montbéliard, France Flavio Lombardi, Universita Roma Tre, Italy Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Yannis Korkontzelos, Edge Hill University, UK Fernando Moreira, Universidade Portucalense, Porto, Portugal Euripides Petrakis, Technical University of Crete, Greece Evangelos Pournaras, ETH, Switzerland Tarek Sheltami, KFUPM, Saudi Arabia Michael Sheng, Macquarie University, Australia Wei Zhang, Macquarie University, Australia Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-19/organizing-commitee.html9

1 0

Open Position: 2 year postdoc in Functional Programming at Chalmers
by Mary Sheeran 27 May '19

27 May '19

Because I am spending quite a lot of energy on gender equality work at Chalmers, I have been given the opportunity to hire a postdoc to support my research. Thus, I would like to hire an outstanding functional programmer with an interest in embedded domain specific languages, parallel functional programming, verification of machine learning algorithms, secure programming for the Internet of Things, or hardware design and verification. You will join Chalmers' strong and well-resourced Functional Programming Group. You will be free to pursue your own research ideas, but we hope for someone with an interest in collaboration, and in strengthening the group. You may be asked to perform teaching or other departmental duties up to 20%. The position is for two years. Start date is negotiable, preferably in 2019. Our group has too few female researchers and we welcome female applicants. The deadline for applications is June 8 2019. Please use the "Apply" button at the bottom right of this job advertisement to submit your application: https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pag… I can assure you that Gothenburg is a great place to live! Do not hesitate to contact me if you have questions. Mary Sheeran

1 0

Call for papers for IFL 2019 (Implementation and Application of Functional Languages)
by Jurriaan Hage 27 May '19

27 May '19

Hello, Please, find below the call for papers for IFL 2019. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- ================================================================================ IFL 2019 31st Symposium on Implementation and Application of Functional Languages National University of Singapore September 25th-27th, 2019 http://2019.iflconference.org ================================================================================ ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2019 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - (abstract) interpretation - metaprogramming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications ### Keynote Speaker * Olivier Danvy, Yale-NUS College ### Submissions and peer-review Differently from previous editions of IFL, IFL 2019 solicits two kinds of submissions: * Regular papers (12 pages including references) * Draft papers for presentations ('weak' limit between 8 and 15 pages) Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. A set of regular papers will be conditionally accepted for publication. Authors of conditionally accepted papers will be provided with committee reviews along with a set of mandatory revisions. Regular papers not accepted for publication will be considered as draft papers, at the request of the author. Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly. Prior to the symposium: Authors of conditionally accepted papers and accepted presentations will submit a pre-proceedings version of their work that will appear in the draft proceedings distributed at the symposium. The draft proceedings does not constitute a formal publication. We require that at least one of the authors present the work at IFL 2019. After the symposium: Authors of conditionally accepted papers will submit a revised versions of their paper for the formal post-proceedings. The program committee will assess whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. Our interest is to ultimately accept all conditionally accepted papers. If you are an author of a conditionally accepted paper, please make sure that you address all the concerns of the reviewers. Authors of accepted presentations will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal post-proceedings. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected. ### Publication The formal proceedings will appear in the International Conference Proceedings Series of the ACM Digital Library. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication ### Important dates Submission of regular papers: May 31, 2019 Submission of draft papers: July 15, 2019 Regular and draft papers notification: August 1, 2019 Deadline for early registration: August 15, 2019 Submission of pre-proceedings version: September 15, 2019 IFL Symposium: September 25-27, 2019 Submission of papers for post-proceedings: November 30, 2019 Notification of acceptance: January 31, 2020 Camera-ready version: February 29, 2020 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Authors submit through EasyChair: https://easychair.org/conferences/?conf=ifl2019 ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organization and Program committee Chairs: Jurrien Stutterheim (Standard Chartered Bank Singapore), Wei Ngan Chin (National University of Singapore) Program Committee: - Olaf Chitil, University of Kent - Clemens Grelck, University of Amsterdam - Daisuke Kimura, Toho University - Pieter Koopman, Radboud University - Tamas Kozsik, Eotvos Lorand University - Roman Leschinskiy, Facebook - Ben Lippmeier, The University of New South Wales - Marco T. Morazan, Seton Hall University - Sven-Bodo Scholz, Heriot-Watt University - Tom Schrijvers, Katholieke Universiteit Leuven - Alejandro Serrano, Utrecht University - Tony Sloane, Macquarie University - Simon Thompson, University of Kent - Marcos Viera, Universidad de la Republica - Wei Ngan Chin, NUS - Jurrien Stutterheim, Standard Chartered Bank ### Venue The 31st IFL is organized by the National University of Singapore. Singapore is located in the heart of South-East Asia, and the city itself is extremely well connected by trains and taxis. See the website for more information on the venue. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organizers for their work, which is reused here. A part of IFL 2019 format and CFP language that describes conditionally accepted papers has been adapted from call-for-papers of OOPSLA conferences.

1 0

Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
by Achim D. Brucker 25 May '19

25 May '19

CALL FOR PAPERS 19th International Workshop on OCL and Textual Modeling Co-located with MODELS 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and System, September 15-20, 2019, Munich, Germany http://oclworkshop.github.io The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages (e.g., OCL, textual MOF, Epsilon, or Alloy) can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. ## Topics of interest Topics of interest include (but are not limited to): - Mappings between textual modeling languages and other languages/formalisms - Mathematical models and/or formal semantics for textual modeling languages - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for: - validation, verification, and testing, - model transformation and code generation, - meta-modeling and DSLs, and - query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Model-driven security using textual modeling languages - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports: - usage of textual modeling languages and tools in complex domains, - usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks We particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. ## Submissions Four types of submissions will be considered: * Presentation only submission (not included in the workshop proceedings), e.g., for already published work. Authors should submit a short (1 page) abstract of their presentation. * Short papers (between 5 and 7 pages) describing new ideas or position papers. * Tool papers (between 5 and 7 pages) describing tools supporting textual modeling tools * Full papers (between 10 and 14 pages). All submissions should follow the LNCS format guidelines and should be uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2019). Accepted papers will be published online in [CEUR](http://www.ceur-ws.org). ## Important Dates - Submission of papers: 14 Jul 2019 - Notification: 25 Aug 2019 - Pre-Workshop CRC: 9 Sep 2019 - Post-Workshop CRC: 5 Oct 2019 -- Dr. Achim D. Brucker | Chair of Cybersecurity | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

Call for talks: ACM SIGPLAN Scala Symposium 2019
by Nate Nystrom 23 May '19

23 May '19

# Tenth ACM SIGPLAN Scala Symposium **The Scala Symposium is inviting student talks and open-source talks until May 31. Please pass the word!** - London UK - July 17, 2019 Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The ACM SIGPLAN Scala Symposium (https://2019.ecoop.org/home/scala-2019) is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. This year’s Scala Symposium is co-located with ECOOP 2019 ( https://2019.ecoop.org) in London, UK. # Topics of Interest # We seek submissions on all topics related to Scala, including (but not limited to): * Language design and implementation – language extensions, optimization, and performance evaluation. * Library design and implementation patterns for extending Scala – stand-alone Scala libraries, embedded domain-specific languages, combining language features, generic and meta-programming. * Formal techniques for Scala-like programs – formalizations of the language, type system, and semantics, formalizing proposed language extensions and variants, dependent object types, type and effect systems. * Concurrent and distributed programming – libraries, frameworks, language extensions, programming models, performance evaluation, experimental results. * Big data and machine learning libraries and applications using the Scala programming language. * Safety and reliability – pluggable type systems, contracts, static analysis and verification, runtime monitoring. * Interoperability with other languages and runtimes, such as JavaScript, Java 8 (lambdas), Graal and others. * Tools – development environments, debuggers, refactoring tools, testing frameworks. * Case studies, experience reports, and pearls. Do not hesitate to contact the Program Chair (nate.nystrom(a)usi.ch) if you are unsure whether a particular topic falls within the scope of Scala 2019. # Important dates # * Paper submission: April 16, 2019 * Paper notification: May 24, 2019 * Student talk submission: May 31, 2019 * Student talk notification: June 14, 2019 * Camera ready: June 7, 2019 * Scala Symposium 2019: July 17, 2019 All deadlines are at the end of the day, “Anywhere on Earth” (AoE). # Submission Format # To accommodate the needs of researchers and practitioners, as well as beginners and experts alike, we seek several kinds of submissions. * Full papers (at most 10 pages, excluding bibliography) * Short papers (at most 4 pages, excluding bibliography) * Tool papers (at most 4 pages, excluding bibliography) * Student talks (short abstract only, in plain text) * Open-source talks (short abstract only, in plain text) The Scala Symposium uses a lightweight double-blind reviewing process, so we ask that research papers, both full and short, be anonymized. Tools papers and talks proposals need not be anonymized. Authors should omit their names from their submissions, and should avoid revealing their identity through citation. Accepted papers (either full papers, short ones or tool papers, but not talks) will be published in the ACM Digital Library. Detailed information for each kind of submission is given below. Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page ( https://www.sigplan.org/Resources/Author) Scala 2019 submissions must conform to the ACM Policy on Prior Publication and Simultaneous Submissions ( https://www.acm.org/publications/policies/simultaneous-submissions) and to the SIGPLAN Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication/) Please note that at least one author of each accepted contribution must attend the symposium and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. # Full and Short Papers # Full and short papers should describe novel ideas, experimental results, or projects related to the Scala language. In order to encourage lively discussion, submitted papers may describe work in progress. Additionally, short papers may present problems and raise research questions interesting for the Scala language community. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. In general, papers should explain their original contributions, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). # Tool Papers # Tool papers need not necessarily report original research results; they may describe a tool of interest, report practical experience that will be useful to others, new Scala idioms, or programming pearls. In all cases, such a paper must make a contribution which is of interest to the Scala community, or from which other members of the Scala community can benefit. Where appropriate, authors are encouraged to include a link to the tool’s website. For inspiration, you might consider advice in https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice, which we however treat as non-binding. In case of doubts, please contact the program chair. # Student Talks # In addition to regular papers and tool demos, we also solicit short student talks by bachelor/master/PhD students. A student talk is not accompanied by paper (it is sufficient to submit a short abstract of the talk in plain text). Student talks are about 15 minutes long, presenting ongoing or completed research related to Scala. In previous years, each student with an accepted student talk received a grant (donated by our sponsors) covering registration and/or travel costs. # Open-Source Talks # We will also accept a limited number of short talks about open-source projects using Scala presented by contributors. An open-source talk is not accompanied by a paper (it is sufficient to submit a short abstract of the talk in plain text). Open-source talks are about 15 minutes long and should be about topics relevant to the symposium. They may, for instance, present or announce an open-source project that would be of interest to the Scala community. # Organizing Committee # * (General Chair) Sukyoung Ryu (KAIST, South Korea) * (PC Chair) Nathaniel Nystrom (USI, Switzerland) * (Sponsorship Chair) Jonathan Immanuel Brachthäuser (University of Tübingen, Germany) # Program Committee # - Aggelos Biboudis - EPFL, Switzerland - Edwin Brady - University of St. Andrews, UK - Franck Cassez - Macquarie University, Australia - Wolfgang De Meuter - Vrije Universiteit Brussel, Belgium - Sebastien Doeraene - EPFL, Switzerland - Edward Kmett - Machine Intelligence Research Institute, USA - Doug Lea - SUNY Oswego, USA - Ana Milanova - Rensselaer Polytechnic Institute, USA - Ulf Norell - University of Gothenburg, Sweden - Nate Nystrom - Università della Svizzera italiana, Switzerland (chair) - Miles Sabin - Underscore.io, UK - Guido Salvaneschi - Technische Universität Darmstadt, Germany - Marco Servetto - Victoria University of Wellington, New Zealand - Daniel Spiewak - SlamData, USA - Mirko Viroli - University of Bologna, Italy # Submission Website # The submission will be managed through HotCRP: https://scala19.hotcrp.com. For questions and additional clarifications, please contact the conference organizers.

1 0

Scottish Programming Languages and Verification Summer School
by Robert Atkey 23 May '19

23 May '19

+-----------------------------------------------------------------+ | | | Scottish Programming Languages and Verification Summer School | | The University of Strathclyde, Glasgow, UK, 5--9 August 2019 | | http://www.macs.hw.ac.uk/splv/splv19/ | | | +-----------------------------------------------------------------+ The inaugural Scottish Programming Languages and Verification Summer School will be held at the University of Strathclyde 5--9 August 2019. The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research. COURSES ======= Invited course -------------- Chung-chieh Shan (Indiana University) "Probabilistic programming" Core courses ------------ Phil Wadler (University of Edinburgh) "Programming Language Foundations in Agda" Neil Ghani (University of Strathclyde) "Category Theory" Specialised courses ------------------- Chris Brown (University of St Andrews) "Parallel Programming" Ornela Dardha (University of Glasgow) "Session Types" Conor McBride (University of Strathclyde) "Dependently Typed Programming" Greg Michaelson and Rob Stewart (Heriot-Watt University) "Domain-Specific Languages" PREREQUISITES ============= The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master's students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic. DATES ===== Early Registration deadline: 4 July 2019. School: Monday 5 August to Friday 9 August 2019. SPONSORSHIP =========== The summer school is generously sponsored by SICSA, the Scottish Informatics and Computer Science Alliance, and partially supported by ERC grant Skye (grant no 682315) and the UK Manycore Network. We also offer a range of sponsorship opportunities for industry with attractive benefits -- please get in touch if you are interested. REGISTRATION ============ Registration is open at the following address: http://tiny.cc/SPLV19-registration Since the school is sponsored by SICSA, attendance will be *free* for PhD students affiliated with Scottish universities. The registration fees in general are as follows: SICSA student: £0. Academic: £160. Industry: £300. The registration fee covers coffee breaks, lunches and an excursion. ACCOMMODATION ============= We can offer accommodation in student halls for for students for £170. Alternatively, there are plenty of hotels, hostels or Airbnbs in central Glasgow. FURTHER INFORMATION =================== More information can be found on the school webpage: http://www.macs.hw.ac.uk/splv/splv19/ Please contact one of the local organisers if you have any questions: - Bob Atkey robert.atkey(a)strath.ac.uk - Clemens Kupke clemens.kupke(a)strath.ac.uk - Fredrik Nordvall Forsberg fredrik.nordvall-forsberg(a)strath.ac.uk

1 0

CFP in Special Sessions: DS-RT 2019 - Cosenza, Italy, October 7-9, 2019
by Rodolfo I. Meneguette 22 May '19

22 May '19

Dear Colleagues and Researchers, Apologies, if you have received multiple copies of this CFP. ********** CALL FOR PAPER ********** DS-RT 2019, the 23rd IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications, is running three special sessions this year: - Distributed Simulations of Distributed Systems - Agent-based Modeling and Simulation - Simulation of Urban Traffic Management and ITS These special sessions have a focused view on the specialized field of distributed simulations and real time applications. Authors are invited to submit works that contain novel approaches and trends in the areas delimited within these sessions. See below for more detailed descriptions of the special sessions. Accepted works will be published in the main track of IEEE DS-RT 2019 proceedings. ***** PAPER SUBMISSION AND REVIEW ***** Submitted manuscripts must be in standard IEEE two-column format that is used for IEEE conference proceedings and must not exceed "8 pages" (2-page extension allowed), including figures, tables and references. Standard IEEE templates for Microsoft Word or LaTeX formats can be found at: - http://www.ieee.org/conferences_events/conferences/publishing/templates.html A submission may present preliminary results, propose new research direction, provide insightful retrospective, or offer a provocative viewpoint on important topics related to the considered special session. Papers will be selected based on their likelihood of generating insightful technical discussions at the special session and influencing future research. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference and the special session. At least one author of accepted papers must attend the conference and present its contribution. Accepted papers will appear in the conference proceedings to be published by IEEE Press. ***** IMPORTANT DATES ***** Full paper submission deadline: May 30th, 2019 Paper acceptance notification: June 30th, 2019 ***** FOR MORE INFORMATION ***** For questions about the paper submission and review process, please contact the session organizers - find all relevant information on the corresponding web pages below. ***** DESCRIPTION OF THE SPECIAL SESSIONS ***** * Special Session on Distributed Simulations of Distributed Systems * Distributed simulation (DS) is a valuable tool for understanding and evaluating distributed systems. The current computing trend sees businesses and individuals moving toward a more centralized infrastructure, namely the cloud. On the one hand, as the computing infrastructure at data centers is highly complex and distributed, DS becomes essential for diagnosing and gaining insights of the system. On the other hand, the scale and nature of interaction between different components in the cloud present new challenges and push DS's state of the art. Another computing trend that has potential to drive DS is internet-of-things. Such complex systems consist of a large number of autonomous, heterogeneous devices communicating with one another in non-uniform manner. DS is valuable not only for discerning system properties but also for predicting the devices' emergent behavior. Finally, users in online social networks make up large distributed systems. Insights of user interaction and the network's collective behavior --- the study of which fits well into the realm of DS --- bring significant value to both the society and the business of social network providers. This special session seeks to bring together experts and practitioners in the domain of DS to discuss new opportunities and challenges for DS. We welcome research papers on both theoretical and empirical issues. Web page: http://ds-rt.com/2019/dsimdsys_2019.htm * Special Session on Agent-based Modeling and Simulation * This special session focuses on general aspects and special properties for agent-based modeling and simulations that allows them to be applied on several scientific domains, such as sociology, physics, chemistry, biology, ecology, and economy. The session is intended to bring together researchers and practitioners, so they can present the current status of their work and discuss the challenges they face in developing solutions and applications for agent-based simulations. Consequently, the design of these simulations aims not only to social contexts but also to more technical domains, which involves highly complex interactive systems. Web page: http://ds-rt.com/2019/abms_2019.htm * Special Session on Simulation of Urban Traffic Management and ITS * This special session focuses on simulation tools and real-time simulation applications used in and for evaluation, management, and design of Intelligent Transportation Systems (ITS), as well as Smart Cities. Such simulations are expected to offer prediction and on-the-flow feedback for the better decision-making, bringing up means for both the implementation of more complex traffic management systems and end-user applications. Off-line and real-time analyses of data collected from infrastructured systems (e.g. real-time traffic information), mobile, distributed technologies (e.g. communication devices), and socially-build systems (e.g. social networks applications) are of great interest for shaping and influencing how ITS solutions are designed. Thus, we are particularly interested in how these data and technologies can be incorporated in domain-related models and simulations. We aim to bring together experts from both industry and academia to discuss the challenges related to modelling and simulation for ITS. Web page: http://ds-rt.com/2019/soiits_2019.htm Best Regards, DS-RT 2019 Special Session Chair

1 0