From fioretto.ferdinando at isye.gatech.edu Fri Aug 2 23:18:29 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Fri, 2 Aug 2019 21:18:29 +0000 Subject: [fg-arc] ICLP 2019 - Call for Participation Message-ID: Apologies for cross-posting - Please forward to anybody who might be interested ** The early registration is approaching soon! ** The 35th International Conference on Logic Programming (ICLP 2019) Call for Participation ===================== September 20-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ Scope ------ Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: * Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. * Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. * Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. * Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. * Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. * Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Tracks and Special Sessions --------------------------- Besides the main track, ICLP 2019 will host additional tracks and special sessions: * Applications Track: This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. * Sister Conferences and Journal Presentation Track: This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences, but have not been previously presented at ICLP. * Research Challenges in Logic Programming Track: This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. * Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming. Every track and special session will have its own dedicated chairs, PC, evaluation criteria, and CFP with the submission details. Conference Registration --------------------------- * Early Registration: August 5, 2019 * Registration Link: https://shopcart.nmsu.edu/shop/icpl2019 Important Dates ---------------- * Abstract registration (abstract, regular papers): May 8, 2019 * Paper submission (regular papers): May 15, 2019 * Paper submission (short papers): May 15, 2019 * Notification (regular papers): June 19, 2019 * Revision deadline (TPLP papers): July 3, 2019 * Final notifications (TPLP papers, short papers): July 17, 2019 * Camera-ready copy: July 31, 2019 * Conference: September 20-25, 2019 Organization ------------- General Chairs: Enrico Pontelli - New Mexico State University Son Tran Cao - New Mexico State University Program Chairs: Esra Erdem - Sabanci University German Vidal - Universitat Politecnica de Valencia Publicity Chair: Ferdinando Fioretto - Georgia Institute of Technology Workshops Chair: Martin Gebser - University of Klagenfurt and Graz University of Technology Tutorials Chair: Pedro Cabalar - University of Corunna DC Chairs: Paul Fodor - Stony Brook New York Daniela Inclezan - Miami University Programming Competition Chairs: Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software Institute Orkunt Sabuncu - TED University Applications Track Chairs: Andrea Formisano - Universita' di Perugia Fangkai Yang - NVIDIA Corporation Sister Conferences and Journal Presentation Track Chairs: Bart Bogaerts - KU Leuven Giovambattista Ianni - Universita' della Calabria Research Challenges in Logic Programming Track Chairs: Alessandro dal Palu - Universita' di Parma Amelia Harrison - University of Texas at Austin and Google Inc. Joohyung Lee - Arizona State University Women in Logic Programming Special Session Chairs: Alicia Villanueva - Universitat Politecnica de Valencia Marina De Vos - University of Bath Program Committee: Hassan Ait-Kaci - University of Lyon 1 Mario Alviano - University of Calabria Roman Bartak - Charles University Rachel Ben-Eliyahu-Zohary - Azrieli College of Engineering Bart Bogaerts - KU Leuven Gerhard Brewka - Leipzig University Pedro Cabalar - University of Corunna Michael Codish - Ben-Gurion University of the Negev Stefania Costantini - University of L'Aquila Marina De Vos - University of Bath Agostino Dovier - University of Udine Thomas Eiter - Vienna University of Technology Wolfgang Faber - Alpen-Adria-Universitat Klagenfurt Fabio Fioravanti - University of Chieti-Pescara Andrea Formisano - Universita' di Perugia John Gallagher - Roskilde University and IMDEA Software Institute Martin Gebser - University of Klagenfurt and Graz University of Technology Michael Gelfond - Texas Tech University Michael Hanus - CAU Kiel Amelia Harrison - University of Texas at Austin and Google Inc. Manuel Hermenegildo - Technical University of Madrid (UPM) and IMDEA Software Institute Giovambattista Ianni - Universita' della Calabria Daniela Inclezan - Miami University Katsumi Inoue - National Institute of Informatics Tomi Janhunen - Aalto University Angelika Kimmig - Cardiff University Ekaterina Komendantskaya - Heriot-Watt University Vladimir Lifschitz - University of Texas at Austin Evelina Lamma - University of Ferrara Joohyung Lee - Arizona State University Nicola Leone - University of Calabria Yanhong Annie Liu - Stony Brook New York Fred Mesnard - Universite de la Reunion Jose F. Morales - IMDEA Software Institute Emilia Oikarinen - Aalto University Carlos Olarte - Universidade Federal do Rio Grande do Norte Magdalena Ortiz - Vienna University of Technology Mauricio Osorio - Universidad de las Americas Puebla Barry O'Sullivan - University College Cork Simona Perri - University of Calabria Enrico Pontelli - New Mexico State University Ricardo Rocha - University of Porto Alessandra Russo - Imperial College Orkunt Sabuncu - TED University Chiaki Sakama - Wakayama University Torsten Schaub - University of Potsdam Guillermo R. Simari - Universidad Nacional del Sur Theresa Swift - Universidade Nova de Lisboa Francesca Toni - Imperial College Paolo Torroni - University of Bologna Son Tran Cao - New Mexico State University Alicia Villanueva - Universitat Politecnica de Valencia Kewen Wang - Griffith University Jan Wielemaker - VU University of Amsterdam Stefan Woltran - Vienna University of Technology Fangkai Yang - NVIDIA Corporation Roland Yap - National University of Singapore Jia-Huai You - University of Alberta Zhizheng Zhang - Southeast University -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Wed Aug 7 02:57:59 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Wed, 7 Aug 2019 00:57:59 +0000 Subject: [fg-arc] ICLP 2019 - CALL FOR PARTICIPATION Message-ID: <601B0889-9681-4B49-A05D-7E0BD3B360AB@gatech.edu> CALL FOR PARTICIPATION - ICLP 2019 - https://www.cs.nmsu.edu/ALP/iclp2019/ The 35th International Conference on Logic Programming September 20-25, 2019, Las Cruces, New Mexico, USA ------------------------------------------------------------------------------- Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. THE ICLP 2019 program will include presentations of high-quality scientific work in all areas of logic programming. Besides the main track, ICLP 2019 will host additional tracks and special sessions: - Applications Track - Sister Conferences and Journal Presentation Track - Research Challenges in Logic Programming Track - Special Session: Women in Logic Programming ------------------------------------------------------------------------------- WORKSHOPS Associated with the conference are two workshops: - Workshop on Epistemic Extensions of Logic Programming (EELP 2019) https://www.semsys.aau.at/events/eelp2019/ - The 6th Workshop on Probabilistic Logic Programming (PLP 2019) http://stoics.org.uk/plp/plp2019/ ------------------------------------------------------------------------------- DOCTORAL CONSORTIUM - https://sites.google.com/cs.stonybrook.edu/iclp2019dc/iclp-2019-doctoral-consortium Additionally, ICLP 2019 will host the 15th Doctoral Consortium (DC) on Logic Programming (September, 22, 2019) ------------------------------------------------------------------------------- TUTORIALS AND INVITED TALKS - https://www.cs.nmsu.edu/ALP/iclp2019/tutorials.html Tutorials - Serdar Kadioglu - Constraint Programming for Resource Management - Chitta Baral - Knowledge Representation and Reasoning issues in Natural Language Question Answering - Guy Van den Broeck - Tractable Probabilistic Circuits Invited talks - Nicola Leone - ASP Applications for AI and Industry - Sheila McIlraith - Reward Machines: Structuring reward function specifications and reducing sample complexity in reinforcement learning - - Adnan Darwiche - What Logic Can Do for AI Today Women in LP Invited talk - Yuliya Lierler - System PROJECTOR: An Automatic Program Rewriting Tool for Non-Ground Answer Set Programs ------------------------------------------------------------------------------ REGISTRATION - https://shopcart.nmsu.edu/shop/icpl2019 The registration costs and deadlines are as follows: - General + Early registration - August, 10, 2019 - 600.00 USD + Late registration - 650.00 USD - Student + Early registration - August, 10, 2019 - 400.00 USD + Late registration - 450.00 USD - Workshop only + Early registration - August, 10, 2019 - 200.00 USD + Late registration - 250.00 USD ------------------------------------------------------------------------------ TRAVEL INFORMATION - https://www.cs.nmsu.edu/ALP/iclp2019/travel.html ------------------------------------------------------------------------------ ACCEPTED PAPERS - https://www.cs.nmsu.edu/ALP/iclp2019/schedule.html Rapid communications (TPLP) - Thomas Eiter, Paul Ogris and Konstantin Schekotihin. A Distributed Approach to LARS Stream Reasoning (System paper) https://arxiv.org/abs/1907.12344 - Jorge Fandinno. Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting https://arxiv.org/abs/1907.09247 - Amelia Harrison and Vladimir Lifschitz. Relating Two Dialects of Answer Set Programming https://arxiv.org/abs/1907.12139 - Giovanni Amendola, Carmine Dodaro and Marco Maratea. Abstract Solvers for Computing Cautious Consequences of ASP programs https://arxiv.org/abs/1907.09402 - Bernardo Cuteri, Carmine Dodaro, Francesco Ricca and Peter Schüller. Partial Compilation of ASP Programs https://arxiv.org/abs/1907.10469 - Giovanni Amendola, Carmine Dodaro and Francesco Ricca. Better Paracoherent Answer Sets with Less Resources https://arxiv.org/abs/1907.09560 - Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin and Albert Rubio. Resource Analysis driven by (Conditional) Termination Proofs https://arxiv.org/abs/1907.10096 - Gonzague Yernaux and Wim Vanhoof. Anti-unification in Constraint Logic Programming https://arxiv.org/abs/1907.10333 - Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri and Jessica Zangari. Incremental answer set programming with overgrounding https://arxiv.org/abs/1907.09212 - María Alpuente, Demis Ballis, Santiago Escobar and Julia Sapiña. Symbolic Analysis of Maude Theories with Narval (system description) https://arxiv.org/abs/1907.10919 - Joao Alcantara, Samy Sá and Juan Carlos Acosta-Guadarrama. On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs https://arxiv.org/abs/1907.09548 - Giovanni Amendola and Francesco Ricca. Paracoherent Answer Set Semantics meets Argumentation Frameworks https://arxiv.org/abs/1907.09426 - Wolfgang Faber, Michael Morak and Stefan Woltran. On the Uniform Equivalence of Epistemic Logic Programs https://arxiv.org/abs/1907.10925 - Mario Alviano, Carmine Dodaro, Johannes K. Fichte, Markus Hecher, Tobias Philipp and Jakob Rath. Inconsistency Proofs for ASP: The ASP-DRUPE Format https://arxiv.org/abs/1907.10389 - Ariyam Das and Carlo Zaniolo. A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation https://arxiv.org/abs/1907.10278 - Mario Alviano, Nicola Leone, Pierfrancesco Veltri and Jessica Zangari. Enhancing magic sets for ontological reasoning https://arxiv.org/abs/1907.08424 - Angelos Charalambidis, Christos Nomikos and Panos Rondogiannis. The Expressive Power of Higher-Order Datalog https://arxiv.org/abs/1907.09820 - Joaquin Arias and Manuel Carro. Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP https://arxiv.org/abs/1908.00104 - Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri and Jessica Zangari. Precomputing Datalog evaluation plans in large-scale scenarios https://arxiv.org/abs/1907.12495 - Giovanni Amendola, Francesco Ricca and Mirek Truszczynski. Beyond NP: Quantifying over Answer Sets https://arxiv.org/abs/1907.09559 - Jesús J. Doménech, John Gallagher and Samir Genaim. Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis https://arxiv.org/abs/1907.12345 - Matti Berthold, Ricardo Gonçalves, Matthias Knorr and Joao Leite. A Syntactic Operator for Forgetting that Satisfies Strong Persistence https://arxiv.org/abs/1907.12501 - David Spies, Jia-Huai You and Ryan Hayward. Domain-Independent Cost-Optimal Planning in ASP https://arxiv.org/abs/1908.00112 - Tiantian Gao, Paul Fodor and Michael Kifer. Querying Knowledge via Multi-Hop English Questions http://arxiv.org/abs/1907.08176 - Stefania Costantini. About epistemic negation and world views in Epistemic Logic Programs https://arxiv.org/abs/1907.09867 - Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Perez and Concepcion Vidal. Revisiting Explicit Negation in Answer Set Programming https://arxiv.org/abs/1907.11467 - Yi Wang, Shiqi Zhang and Joohyung Lee. Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language (Application Paper) https://arxiv.org/abs/1907.13482 - Fernando Saenz-Perez. Applying Constraint Logic Programming to SQL Semantic Analysis https://arxiv.org/abs/1907.10914 - Efthimis Tsilionis, Nikolaos Koutroumanis, Panagiotis Nikitopoulos, Christos Doulkeridis and Alexander Artikis. Online Event Recognition from Moving Vehicles: Application Paper https://arxiv.org/abs/1907.11007 - Arpit Sharma. Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge https://arxiv.org/abs/1907.11112 Technical communications (EPTCS) - Falco Nogatz, Philipp Koerner and Sebastian Krings. Prolog Coding Guidelines: Status and Tool Support - Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl and Gerhard Friedrich. Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP - João Barbosa, Mário Florido and Vítor Santos Costa. A Three-Valued Semantics for Typed Logic Programming - Michael Morak. Epistemic Logic Programs: A Different World View - Ignacio Casso, José F. Morales, Pedro López and Manuel Hermenegildo. Computing Abstract Distances in Logic Programs - Emily Leblanc, Marcello Balduccini and Joost Vennekens. Reasoning about Problems of Actual Causation using an Action Language Approach - Sarthak Ghosh and C. R. Ramakrishnan. Value of Information in Probabilistic Logic Programs - Giovanni Amendola, Tobias Berei and Francesco Ricca. Unit Testing in ASP Revisited: Language and Test-Driven Development Environment - Craig Olson and Yuliya Lierler. Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions - Adrien Husson and Jean Krivine. A tractable logic for molecular biology - Bin Wang, Shen Jun, Shutao Zhang and Zhizheng Zhang. On the Strong Equivalences of LPMLN Programs - Daniela Inclezan. RESTKB: A Library of Commonsense Knowledge about Dining at a Restaurant - David Spies, Jia-Huai You and Ryan Hayward. Mutex Graphs and Multicliques: Reducing Grounding Size for Planning - Santiago Escobar and Julia Sapiña. Most General Variant Unifiers - Mateusz Ślażyński, Salvador Abreu and Grzegorz J. Nalepa. Generating Local Search Neighborhood with Synthesized Logic Programs - Daoming Lyu, Fangkai Yang, Bo Liu and Steven Gustafson. PACMAN: A Planner--Actor-Critic Architecture for Human Centered Planning and Reinforcement Learning - Joohyung Lee and Man Luo. Strong Equivalence for LPMLN Programs - Vincent Barichard and Igor Stéphan. Quantified Constraint Handling Rules - Paul Tarau, Jan Wielemaker and Tom Schrijvers. Lazy Stream Programming in Prolog - Maximiliano Klemen, Pedro Lopez-Garcia, John Gallagher, José F. Morales and Manuel V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs - K. Tuncay Tekle and Yanhong A. Liu. Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees - Carlo Zaniolo, Ariyam Das, Jiaqi Gu, Mingda Li, Youfu Li and Jin Wang. Pre-Mappable Constraints in Recursive Programs - Giacomo Da Col and Erich Teppan. Google vs IBM: A Constraint Solving Challenge on the Job-Shop Scheduling Problem - Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez and Francisco Suárez. A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation - Ariyam Das, Youfu Li, Jin Wang, Mingda Li and Carlo Zaniolo. BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion - Christian Haubelt, Kai Neubauer, Torsten Schaub and Philipp Wanko. Design Space Exploration via Answer Set Programming Modulo Theories - Van Nguyen, Tran Cao Son and Enrico Pontelli. Natural Language Generation for Non-Expert Users - Tarek Khaled and Belaid Benhamou. An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean networks - Liu Liu and Mirek Truszczynski. Encoding Selection for Solving Hamiltonian Cycle Problems with ASP - Nicos Angelopoulos and Jan Wielemaker. Advances in big data bio analytics - José Luis Vilchis Medina, Pierre Siegel, Andrei Doncescu and Vincent Risch. An Implementation of a Nonmonotonic Logic in an Embedded Computer for a Motor-glider - Daoming Lyu, Fangkai Yang, Bo Liu and Steven Gustafson. SDRL: Interpretable and Data-efficient Deep Reinforcement Learning Leveraging Symbolic Planning - Stefania Costantini, Giovanni De Gasperis and Raffaele Olivieri. Digital Forensics and Investigations meets Artificial Intelligence - Pedro Cabalar, Martín Diéguez and Torsten Schaub. Towards Dynamic Answer Set Programming - Christian Haubelt, Kai Neubauer, Torsten Schaub and Philipp Wanko. Hybrid Answer Set Programming for Design Space Exploration - Yuanlin Zhang, Jianlan Wang, Fox Bolduc and William G Murray. LP Based Integration of Computing and Science Education in Middle Schools - Da Shen and Yuliya Lierler. SMT-based Constraint Answer Set Solver EZSMT+ for Non-tight Programs - Wolfgang Faber, Michael Morak and Stefan Woltran. Strong Equivalence for Epistemic Logic Programs Made Easy: Extended Abstract - Yanhong A. Liu and Scott Stoller. Rules with Negation in Recursion: Founded Semantics and Constraint Semantics - Joohyung Lee and Yi Wang. Weight Learning in a Probabilistic Extension of Answer Set Programs - Jessica Zangari, Francesco Calimeri and Simona Perri. Hypertree-Decomposition Rewritings for Optimizing Logic Programs under Answer Set Semantics - Abeer Dyoub, Stefania Costantini and Francesca A. Lisi. Towards Ethical Machines Via Logic Programming - Valentina Pitoni and Stefania Costantini. A Temporal Module for Logical Frameworks - Carmen Leticia García Mata. Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations ------------------------------------------------------------------------------ ORGANIZATION - General Chairs - Enrico Pontelli, Tran Cao Son - Program Chairs - Esra Erdem, German Vidal - Publicity Chair - Ferdinando Fioretto - Workshops Chair - Martin Gebser - Tutorials Chair - Pedro Cabalar - DC Chairs - Paul Fodor, Daniela Inclezan - Programming Competition Chairs - José Morales, Orkunt Sabuncu - Applications Track Chairs - Andrea Formisano, Fangkai Yang - Sister Conferences and Journal Presentation Track Chairs - Bart Bogaerts, Giovambattista Ianni - Research Challenges in Logic Programming Track Chairs - Alessandro dal Palu, Amelia Harrison, Joohyung Lee - Women in Logic Programming Special Session Chairs - Alicia Villanueva, Marina De Vos - Program Committee - Hassan Ait-Kaci, Mario Alviano, Roman Bartak, Rachel Ben-Eliyahu-Zohary, Bart Bogaerts, Gerhard Brewka, Pedro Cabalar, Michael Codish, Stefania Costantini, Marina De Vos, Agostino Dovier, Thomas Eiter, Wolfgang Faber, Fabio Fioravanti, Andrea Formisano, John Gallagher, Martin Gebser, Michael Gelfond, Michael Hanus, Amelia Harrison, Manuel Hermenegildo, Giovambattista Ianni, Daniela Inclezan, Katsumi Inoue, Tomi Janhunen, Angelika Kimmig, Ekaterina Komendantskaya, Vladimir Lifschitz, Evelina Lamma, Joohyung Lee, Nicola Leone, Yanhong Annie Liu, Fred Mesnard, Jose F. Morales, Emilia Oikarinen, Carlos Olarte, Magdalena Ortiz, Mauricio Osorio, Barry O'Sullivan, Simona Perri, Enrico Pontelli, Ricardo Rocha, Alessandra Russo, Orkunt Sabuncu, Chiaki Sakama, Torsten Schaub, Guillermo R. Simari, Theresa Swift, Francesca Toni, Paolo Torroni, Tran Cao Son, Alicia Villanueva, Kewen Wang, Jan Wielemaker, Stefan Woltran, Fangkai Yang, Roland Yap, Jia-Huai You, Zhizheng Zhang From ijwa at dline.info Thu Aug 8 10:25:08 2019 From: ijwa at dline.info (ijwa at dline.info) Date: Thu, 08 Aug 2019 01:25:08 -0700 Subject: [fg-arc] Real-Time Intelligent Systems 2019 In-Reply-To: References: Message-ID: <982c8946e734fe383e17fd700eb78888@dline.info> Fourth International Conference on Real-Time Intelligent Systems (RTIS 2019) Zhuhai Chinese Academy of Sciences, China November 01-03, 2019 www.socio.org.uk/rtis Real-Time Computing covers a broad spectrum of the intensively developing area of low-latency priority-driven system responsiveness under certain time constraints to essential and decisive human-computer interactions with constantly incoming data stream. Research on real-time intelligent systems is of a multi-disciplinary nature, exploiting concepts from the areas as diverse as signal processing technologies, computational intelligence, location systems, data processing, digital document processing and embedded system design. To accomplish its real-time performance, systematic analysis is carried out when the systems are working. Therefore, over the last few years real-time intelligent computing has radically transformed human life style. In the today’s competitive and highly dynamic environment, analyzing data in real time is a must to understand in detail how the systems are processing the data and to reason the outputs and anticipate the trends in intelligent computing, has become critical. To leverage the full potential of the opportunity build complex real time systems, intense research is required and this conference will serve as one such platform to manifest the ongoing research in the real time intelligence system. The conference welcomes theoretically grounded, methodologically sound research papers from academia and industry that address variety of aspects and innovations related to real-time computing systems. The scope of the conference includes, but is not limited to the following areas: Streaming data, streaming engines Big Data systems and applications for high-velocity data Analysis in advanced domains such as energy, sensors, etc Artificial Intelligence Broadband Intelligence Cloud Computing and Intelligence Collaborative Intelligence Crowdsourcing and crowd intelligence Data capture in real-time Intelligent Database Systems Data mining Intelligent Data Analysis OLAP for real-time decision support Data quality and cleansing Intelligent Fuzzy Systems Event-driven analytics Visualizing real-time data and information Intelligent Soft Computing Privacy and security in Intelligence Architectures for Intelligence Internet of Things Intelligent Robotic Systems Smart Services and Platforms Intelligent Transportation Systems Mobile Smart Systems Trace-based intelligent real-time services (eye-tracking, image tracking) Real-time intelligent alert systems Machine translation in real time Multilingual information access Multiagent Intelligent Systems Intelligent Information Systems Adaptive vision algorithms Real-time Intelligent Network solutions Real-time distributed coding Real-time modelling user’s information needs Real-time noise removal systems Real-time intelligent communication Real-time remote access systems Decision support systems in real time Real-time multiprocessor systems The Proceedings will be published by Springer in the Proceedings of the 4th International Conference on Real-Time Intelligent Systems, Volume 3 RTIS 2019. (http://www.springer.com/series/11156 ) For the series information please see- http://www.springer.com/gp/book/9783319607436 RTIS series is among the top 25% most downloaded Springer series proceedings in 2018 First International Workshop on Neuromorphic Computing - Colocated with the RTIS 2019 General Chair Jolanta Mizera-Pietraszko, Opole University, Poland Program Chairs Pit Pichappan, Digital Information Research Lab., India Simon Fong, University of Macau, Macau Co-Chairs Min-Ling Zhang, Southeast University, China Ron Sun, Rensselaer Polytechnic Institute, USA Important Dates Paper Submission: August 15, 2019 Paper Notification: September 15, 2019 Camera ready: October 10, 2019 Early registration: October 15, 2019 Full-rate registration: October 22, 2019 Conference Dates: November 01-03, 2019 Paper Submission - http://www.socio.org.uk/rtis/paper-submission/ Contact: rtis at socio.org.uk --------------------------------- From irdta at irdta.eu Fri Aug 9 19:01:56 2019 From: irdta at irdta.eu (IRDTA) Date: Fri, 09 Aug 2019 19:01:56 +0200 Subject: [fg-arc] BigDat 2020: early registration August 13 Message-ID: <545102060a010b02005559070200525e525104055154065005560b010007500553585756510903525156030a0700545c@grlmc_ip-zone_com-6> BigDat 2020: early registration August 13*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   6th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2020   Ancona, Italy   January 13-17, 2020   Co-organized by:   Department of Information Engineering, Marche Polytechnic University   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   https://bigdat2020.irdta.eu/   ********************************************************   --- Early registration deadline: August 13, 2019 ---   ********************************************************   SCOPE:   BigDat 2020 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures and 24 four-hour and a half courses, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2020 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2020 will take place in Ancona, a city founded by Greek settlers and today one of the main ports on the Adriatic Sea. The venue will be:   Department of Information Engineering Marche Polytechnic University Via Brecce Bianche 12 60131 Ancona   KEYNOTE SPEAKERS: (to be completed)   Jie Tang (Tsinghua University), Graph Embedding and Reasoning   PROFESSORS AND COURSES: (to be completed)   Diego Calvanese (Free University of Bozen-Bolzano), [introductory] Virtual Knowledge Graphs for Data Integration   Nitesh V. Chawla (University of Notre Dame), [intermediate/advanced] Learning from Imbalanced Data   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] An Introduction to Blockchain   Jiawei Han (University of Illinois, Urbana-Champaign), [advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Data Mining and Analysis in Big Microbiome Data   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Jayanti Prasad (Embold Technologies), [introductory/intermediate] Big Code   Lior Rokach and Bracha Shapira (Ben-Gurion University of the Negev), [tba] Recommender Systems   Peter Rousseeuw (KU Leuven), [introductory] Anomaly Detection by Robust Methods   Asim Roy (Arizona State University), [intermediate] Hardware-based (GPU, FPGA based) Machine Learning – An Overview of Algorithms and Implementation Ideas and Methods   Hanan Samet (University of Maryland), [intermediate] Multidimensional, Spatial, and Metric Data Structures for Sorting in Space and Similarity Searching   Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: A Very Different Kind of Machine Learning That Can Be Applied in Any Organization   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by January 5, 2020.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   ORGANIZING COMMITTEE:   Emanuele Frontoni (Ancona, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Flavio Tonetto (Ancona, industrial chair) Domenico Ursino (Ancona, co-chair)   REGISTRATION:   It has to be done at   https://bigdat2020.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From Words2019 at lboro.ac.uk Mon Aug 12 11:57:59 2019 From: Words2019 at lboro.ac.uk (Words 2019) Date: Mon, 12 Aug 2019 09:57:59 +0000 Subject: [fg-arc] WORDS 2019 - 2nd call for participation In-Reply-To: <4902B435-558E-45FF-A7BB-39AD0DB88F55@lboro.ac.uk> References: <4902B435-558E-45FF-A7BB-39AD0DB88F55@lboro.ac.uk> Message-ID: <455115B6-489F-48A6-8AAF-C64E534D963B@lboro.ac.uk> [Apologies if you receive multiple copies of this message] ============================== === *WORDS 2019 2nd call for PARTICIPATION* === ============================== 12th International Conference on WORDS Loughborough, UK, September 9-13, 2019 http://words2019.lboro.ac.uk *REGISTRATION* is open: You can do this by either accessing directly the Loughborough University Store from the link https://store.lboro.ac.uk/conferences-and-events/computer-science/upcoming-conferencesevents/international-conference-on-words-words-2019 or by accessing the same link from the Conference Information section on our website www.words2019.lboro.ac.uk. *KEYNOTE SPEAKERS* Florin Manea (Kiel University) Matching Patterns with Variables Svetlana Puzynina (Saint Petersburg State University) Abelian properties of words Antonio Restivo (University of Palermo) On Sets of Words of Rank Two Gwenaël Richomme (Université Paul-Valéry Montpellier 3) S-adicity and property preserving morphisms Aleksi Saarela (University of Turku) Independent Systems of Word Equations: From Ehrenfeucht to Eighteen Kristina Vušković (University of Leeds) Structure of graph classes and algorithms *ACCEPTED PAPERS * Author(s) Paper Title Adrian Atanasiu, Ghajendran Poovanandran, Wen Chean Teh Parikh Determinants Aseem Baranwal, Jeffrey Shallit Critical exponent of infinite balanced words via the Pell number system Aseem Baranwal, Jeffrey Shallit Repetitions in infinite palindrome-rich words Amanda Burcroff, Eric Winsor Generalized Lyndon Factorizations of Infinite Words Arturo Carpi, Flavio Dalessandro On the commutative equivalence of bounded semi-linear codes Trevor Clokie, Daniel Gabric, Jeffrey Shallit Circularly squarefree words and unbordered conjugates: a new approach James D. Currie, Lucas Mol The undirected repetition threshold Alessandro De Luca, Alma D'Aniello Characteristic parameters and special trapezoidal words Francesco Dolce, Dominique Perrin Return words and bifix codes in eventually dendric sets Marisa Gaetz, Caleb Ji Enumeration and Extensions of Word-representable Graphs Cyril Gavoille, Ghazal Kachigar, Gilles Zémor Localisation-Resistant Random Words with Small Alphabet Vladimir Gusev, Elena Pribavkina On codeword lengths guaranteeing synchronization Štěpán Holub Binary intersection revisited Václav Košík, Štěpán Starosta On substitutions closed under derivation: examples Marie Lejeune, Michel Rigo, Matthieu Rosenfeld Templates for the k-binomial complexity of the Tribonacci word Kateřina Medková Derivated sequences of Arnoux--Rauzy sequences Tim Ng, Pascal Ochem, Jeffrey Shallit, Narad Rampersad New results on pseudosquare avoidance Jarkko Peltomäki, Markus Whiteland Every nonnegative real number is a critical abelian exponent Josef Rukavicka Construction Of A Rich Word Containing Given Two Factors Andrew Ryzhikov Mortality and Synchronization of Unambiguous Finite Automata Luigi Santocanale On discrete idempotent paths *WE LOOK FORWARD TO SEE YOU IN Loughborough!!! Robert Mercas and Daniel Reidenbach From irdta at irdta.eu Mon Aug 12 16:05:47 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 12 Aug 2019 16:05:47 +0200 Subject: [fg-arc] TPNC 2019: call for posters Message-ID: <545102060a010b02005254010000595e535753000554050201040d01025352565c560202570f050b0153570554565553@grlmc_ip-zone_com-6> TPNC 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** The 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2019) invites researchers to submit poster presentations. TPNC 2019 will be held in Kingston, Ontario on December 9-11, 2019. See  https://tpnc2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on computational principles, models and techniques inspired by information processing in nature are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: November 2, 2019 Notification of poster acceptance or rejection: November 9, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=tpnc2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2019. However, they will be eligible for submission to the post-conference journal special issue in Natural Computing (Springer, 2018 JCR impact factor: 0.860). REGISTRATION At least one author of each accepted poster must register to the conference by November 25, 2019. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- next part -------------- An HTML attachment was scrubbed... URL: From raoul.strackx at cs.kuleuven.be Wed Aug 14 14:06:18 2019 From: raoul.strackx at cs.kuleuven.be (Raoul Strackx) Date: Wed, 14 Aug 2019 14:06:18 +0200 Subject: [fg-arc] [systex19] Call for Papers (deadline extended to 21st August) Message-ID: Deadline extended to August 21! +---------------------------------------------------------------------+ | 4rd Workshop on System Software for Trusted Execution (SysTEX 2019) | +---------------------------------------------------------------------+ Co-located with SOSP 2019 SysTEX, Huntsville, Ontario, Canada, 27th October 2019 [ IMPORTANT DATES (Times are AoE) ] August 21, 2019 Paper submission September 6, 2019 - Notification of acceptance] October 1, 2019 - Camera Ready Deadline October 27, 2019 - Workshop The rise of new processor hardware extensions that permit fine-grained and flexible trusted execution, such as Intel's SGX, ARM's TrustZone, or AMD's SEV, introduces numerous novel challenges and opportunities for developers of secure applications. There is a burning need for cross-cutting systems support of such Trusted Execution Environments (TEEs) that spans all the layers of the software stack, from the OS through runtime to compilers and programming models. The 4th Workshop on System Software for Trusted Execution (SysTEX) will focus on systems research challenges related to TEEs, and explore new ideas and strategies for the implementation of trustworthy systems with TEEs. The workshop is also open to papers exploring attacks on current TEEs and strategies for mitigating such attacks. This is the fourth installment of the workshop that follows three successful workshops collocated with primary systems venues Middleware 2016, SOSP 2017 and CCS 2018 respectively. Topics of interest include but are not limited to: - Architecture, applications and implementation technologies for trusted platforms and trustworthy infrastructures - Middleware for distributed trusted execution - OS support for trusted execution - Trustworthy infrastructures and services for cloud computing (including resilience) - Attestation and integrity verification - Cryptographic aspects of trusted and trustworthy computing - Intrusion resilience in trusted computing - Virtualization for trusted platforms - Security policy and management of trusted computing - Privacy aspects of trusted computing - Verification of trusted computing architectures - Usability and end-user interactions with trusted platforms - Limitations of trusted computing - Usability and user perceptions of trustworthy systems and risks - Use case studies of trusted execution - Validation and performance evaluation of trusted hardware [ WORKSHOP CO-CHAIRS ] Kapil Vaswani, Microsoft Research Raoul Strackx, KU Leuven, Belgium Contact: kapilv at microsoft.com, raoul.strackx at cs.kuleuven.be [ PROGRAM COMMITTEE ] Pascal Felber, University of Neuchatel, Switzerland Christof Fetzer, TU Dresden, Germany Rüdiger Kapitza, TU Braunschweig, Germay Peter Pietzuch, Imperial College, United Kingdom Meltem Ozsoy, Intel, USA Vinod Ganapathy, Indian Institute of Science, India Jethro Beekman, Fortanix, USA Han Dongsu, KAIST, Korea Taesoo Kim, Georgia Tech, USA Ofir Weisse, University of Michigan, USA Marina Minkin, University of Michigan, USA Ferdinand Brasser, TU Darmstadt, Germany Tilo Müller, University Erlangen-Nürnberg, Germany Andrew Paverd, Microsoft Research Cambridge, UK Simon Johnson, Intel, USA [ FORMAT OF THE WORKSHOP ] The goal of the workshop is to foster collaboration and discussion among researchers and practitioners in this field. The workshop will be one full day. The program should primarily include presentations by authors of accepted papers (the workshop will have proceedings in the ACM digital library). [ SUBMISSION AND PUBLICATION ] SysTEX welcomes submissions in two formats: Regular research papers of at most 6 pages including references. Research papers should be work that is not previously published or concurrently submitted elsewhere and will be published in the proceedings. Short research statements of at most 1-2 pages. Research statements aim at fostering discussion and collaboration. Research statements may summarize research published elsewhere or outline new emerging ideas. Authors can choose if accepted research statements should be published in the proceedings. All submissions should be in PDF and must follow the ACM SIGPLAN format (http://www.acm.org/publications/proceedings-template). Reviewing is single-blind, and the names and affiliations of the authors must appear in the submitted papers. Each paper will receive at least three reviews from members of the program committee. Submissions that do not respect the formatting requirement may be rejected without review. Submissions site: https://hotcrp.doc.ic.ac.uk/systex19/ From fioretto.ferdinando at isye.gatech.edu Thu Aug 15 16:11:51 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Thu, 15 Aug 2019 14:11:51 +0000 Subject: [fg-arc] ICLP 2019 - Call for Participation (Early registration deadline is today) Message-ID: <6B8160C1-B17F-48F7-BBD1-A52F5EE88C4E@gatech.edu> CALL FOR PARTICIPATION - ICLP 2019 - https://www.cs.nmsu.edu/ALP/iclp2019/ The 35th International Conference on Logic Programming September 20-25, 2019, Las Cruces, New Mexico, USA ------------------------------------------------------------------------------- Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. THE ICLP 2019 program will include presentations of high-quality scientific work in all areas of logic programming. Besides the main track, ICLP 2019 will host additional tracks and special sessions: - Applications Track - Sister Conferences and Journal Presentation Track - Research Challenges in Logic Programming Track - Special Session: Women in Logic Programming ------------------------------------------------------------------------------- WORKSHOPS Associated with the conference are two workshops: - Workshop on Epistemic Extensions of Logic Programming (EELP 2019) https://www.semsys.aau.at/events/eelp2019/ - The 6th Workshop on Probabilistic Logic Programming (PLP 2019) http://stoics.org.uk/plp/plp2019/ ------------------------------------------------------------------------------- DOCTORAL CONSORTIUM - https://sites.google.com/cs.stonybrook.edu/iclp2019dc/iclp-2019-doctoral-consortium Additionally, ICLP 2019 will host the 15th Doctoral Consortium (DC) on Logic Programming (September, 22, 2019) ------------------------------------------------------------------------------- TUTORIALS AND INVITED TALKS - https://www.cs.nmsu.edu/ALP/iclp2019/tutorials.html Tutorials - Serdar Kadioglu - Constraint Programming for Resource Management - Chitta Baral - Knowledge Representation and Reasoning issues in Natural Language Question Answering - Guy Van den Broeck - Tractable Probabilistic Circuits Invited talks - Nicola Leone - ASP Applications for AI and Industry - Sheila McIlraith - Reward Machines: Structuring reward function specifications and reducing sample complexity in reinforcement learning - - Adnan Darwiche - What Logic Can Do for AI Today Women in LP Invited talk - Yuliya Lierler - System PROJECTOR: An Automatic Program Rewriting Tool for Non-Ground Answer Set Programs ------------------------------------------------------------------------------ REGISTRATION - https://shopcart.nmsu.edu/shop/icpl2019 The registration costs and deadlines are as follows: - General + Early registration - August, 15, 2019 - 600.00 USD + Late registration - 650.00 USD - Student + Early registration - August, 15, 2019 - 400.00 USD + Late registration - 450.00 USD - Workshop only + Early registration - August, 15, 2019 - 200.00 USD + Late registration - 250.00 USD ------------------------------------------------------------------------------ TRAVEL INFORMATION - https://www.cs.nmsu.edu/ALP/iclp2019/travel.html ------------------------------------------------------------------------------ ACCEPTED PAPERS - https://www.cs.nmsu.edu/ALP/iclp2019/schedule.html Rapid communications (TPLP) - Thomas Eiter, Paul Ogris and Konstantin Schekotihin. A Distributed Approach to LARS Stream Reasoning (System paper) https://arxiv.org/abs/1907.12344 - Jorge Fandinno. Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting https://arxiv.org/abs/1907.09247 - Amelia Harrison and Vladimir Lifschitz. Relating Two Dialects of Answer Set Programming https://arxiv.org/abs/1907.12139 - Giovanni Amendola, Carmine Dodaro and Marco Maratea. Abstract Solvers for Computing Cautious Consequences of ASP programs https://arxiv.org/abs/1907.09402 - Bernardo Cuteri, Carmine Dodaro, Francesco Ricca and Peter Schüller. Partial Compilation of ASP Programs https://arxiv.org/abs/1907.10469 - Giovanni Amendola, Carmine Dodaro and Francesco Ricca. Better Paracoherent Answer Sets with Less Resources https://arxiv.org/abs/1907.09560 - Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin and Albert Rubio. Resource Analysis driven by (Conditional) Termination Proofs https://arxiv.org/abs/1907.10096 - Gonzague Yernaux and Wim Vanhoof. Anti-unification in Constraint Logic Programming https://arxiv.org/abs/1907.10333 - Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri and Jessica Zangari. Incremental answer set programming with overgrounding https://arxiv.org/abs/1907.09212 - María Alpuente, Demis Ballis, Santiago Escobar and Julia Sapiña. Symbolic Analysis of Maude Theories with Narval (system description) https://arxiv.org/abs/1907.10919 - Joao Alcantara, Samy Sá and Juan Carlos Acosta-Guadarrama. On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs https://arxiv.org/abs/1907.09548 - Giovanni Amendola and Francesco Ricca. Paracoherent Answer Set Semantics meets Argumentation Frameworks https://arxiv.org/abs/1907.09426 - Wolfgang Faber, Michael Morak and Stefan Woltran. On the Uniform Equivalence of Epistemic Logic Programs https://arxiv.org/abs/1907.10925 - Mario Alviano, Carmine Dodaro, Johannes K. Fichte, Markus Hecher, Tobias Philipp and Jakob Rath. Inconsistency Proofs for ASP: The ASP-DRUPE Format https://arxiv.org/abs/1907.10389 - Ariyam Das and Carlo Zaniolo. A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation https://arxiv.org/abs/1907.10278 - Mario Alviano, Nicola Leone, Pierfrancesco Veltri and Jessica Zangari. Enhancing magic sets for ontological reasoning https://arxiv.org/abs/1907.08424 - Angelos Charalambidis, Christos Nomikos and Panos Rondogiannis. The Expressive Power of Higher-Order Datalog https://arxiv.org/abs/1907.09820 - Joaquin Arias and Manuel Carro. Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP https://arxiv.org/abs/1908.00104 - Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri and Jessica Zangari. Precomputing Datalog evaluation plans in large-scale scenarios https://arxiv.org/abs/1907.12495 - Giovanni Amendola, Francesco Ricca and Mirek Truszczynski. Beyond NP: Quantifying over Answer Sets https://arxiv.org/abs/1907.09559 - Jesús J. Doménech, John Gallagher and Samir Genaim. Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis https://arxiv.org/abs/1907.12345 - Matti Berthold, Ricardo Gonçalves, Matthias Knorr and Joao Leite. A Syntactic Operator for Forgetting that Satisfies Strong Persistence https://arxiv.org/abs/1907.12501 - David Spies, Jia-Huai You and Ryan Hayward. Domain-Independent Cost-Optimal Planning in ASP https://arxiv.org/abs/1908.00112 - Tiantian Gao, Paul Fodor and Michael Kifer. Querying Knowledge via Multi-Hop English Questions http://arxiv.org/abs/1907.08176 - Stefania Costantini. About epistemic negation and world views in Epistemic Logic Programs https://arxiv.org/abs/1907.09867 - Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Perez and Concepcion Vidal. Revisiting Explicit Negation in Answer Set Programming https://arxiv.org/abs/1907.11467 - Yi Wang, Shiqi Zhang and Joohyung Lee. Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language (Application Paper) https://arxiv.org/abs/1907.13482 - Fernando Saenz-Perez. Applying Constraint Logic Programming to SQL Semantic Analysis https://arxiv.org/abs/1907.10914 - Efthimis Tsilionis, Nikolaos Koutroumanis, Panagiotis Nikitopoulos, Christos Doulkeridis and Alexander Artikis. Online Event Recognition from Moving Vehicles: Application Paper https://arxiv.org/abs/1907.11007 - Arpit Sharma. Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge https://arxiv.org/abs/1907.11112 Technical communications (EPTCS) - Falco Nogatz, Philipp Koerner and Sebastian Krings. Prolog Coding Guidelines: Status and Tool Support - Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl and Gerhard Friedrich. Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP - João Barbosa, Mário Florido and Vítor Santos Costa. A Three-Valued Semantics for Typed Logic Programming - Michael Morak. Epistemic Logic Programs: A Different World View - Ignacio Casso, José F. Morales, Pedro López and Manuel Hermenegildo. Computing Abstract Distances in Logic Programs - Emily Leblanc, Marcello Balduccini and Joost Vennekens. Reasoning about Problems of Actual Causation using an Action Language Approach - Sarthak Ghosh and C. R. Ramakrishnan. Value of Information in Probabilistic Logic Programs - Giovanni Amendola, Tobias Berei and Francesco Ricca. Unit Testing in ASP Revisited: Language and Test-Driven Development Environment - Craig Olson and Yuliya Lierler. Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions - Adrien Husson and Jean Krivine. A tractable logic for molecular biology - Bin Wang, Shen Jun, Shutao Zhang and Zhizheng Zhang. On the Strong Equivalences of LPMLN Programs - Daniela Inclezan. RESTKB: A Library of Commonsense Knowledge about Dining at a Restaurant - David Spies, Jia-Huai You and Ryan Hayward. Mutex Graphs and Multicliques: Reducing Grounding Size for Planning - Santiago Escobar and Julia Sapiña. Most General Variant Unifiers - Mateusz Ślażyński, Salvador Abreu and Grzegorz J. Nalepa. Generating Local Search Neighborhood with Synthesized Logic Programs - Daoming Lyu, Fangkai Yang, Bo Liu and Steven Gustafson. PACMAN: A Planner--Actor-Critic Architecture for Human Centered Planning and Reinforcement Learning - Joohyung Lee and Man Luo. Strong Equivalence for LPMLN Programs - Vincent Barichard and Igor Stéphan. Quantified Constraint Handling Rules - Paul Tarau, Jan Wielemaker and Tom Schrijvers. Lazy Stream Programming in Prolog - Maximiliano Klemen, Pedro Lopez-Garcia, John Gallagher, José F. Morales and Manuel V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs - K. Tuncay Tekle and Yanhong A. Liu. Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees - Carlo Zaniolo, Ariyam Das, Jiaqi Gu, Mingda Li, Youfu Li and Jin Wang. Pre-Mappable Constraints in Recursive Programs - Giacomo Da Col and Erich Teppan. Google vs IBM: A Constraint Solving Challenge on the Job-Shop Scheduling Problem - Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez and Francisco Suárez. A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation - Ariyam Das, Youfu Li, Jin Wang, Mingda Li and Carlo Zaniolo. BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion - Christian Haubelt, Kai Neubauer, Torsten Schaub and Philipp Wanko. Design Space Exploration via Answer Set Programming Modulo Theories - Van Nguyen, Tran Cao Son and Enrico Pontelli. Natural Language Generation for Non-Expert Users - Tarek Khaled and Belaid Benhamou. An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean networks - Liu Liu and Mirek Truszczynski. Encoding Selection for Solving Hamiltonian Cycle Problems with ASP - Nicos Angelopoulos and Jan Wielemaker. Advances in big data bio analytics - José Luis Vilchis Medina, Pierre Siegel, Andrei Doncescu and Vincent Risch. An Implementation of a Nonmonotonic Logic in an Embedded Computer for a Motor-glider - Daoming Lyu, Fangkai Yang, Bo Liu and Steven Gustafson. SDRL: Interpretable and Data-efficient Deep Reinforcement Learning Leveraging Symbolic Planning - Stefania Costantini, Giovanni De Gasperis and Raffaele Olivieri. Digital Forensics and Investigations meets Artificial Intelligence - Pedro Cabalar, Martín Diéguez and Torsten Schaub. Towards Dynamic Answer Set Programming - Christian Haubelt, Kai Neubauer, Torsten Schaub and Philipp Wanko. Hybrid Answer Set Programming for Design Space Exploration - Yuanlin Zhang, Jianlan Wang, Fox Bolduc and William G Murray. LP Based Integration of Computing and Science Education in Middle Schools - Da Shen and Yuliya Lierler. SMT-based Constraint Answer Set Solver EZSMT+ for Non-tight Programs - Wolfgang Faber, Michael Morak and Stefan Woltran. Strong Equivalence for Epistemic Logic Programs Made Easy: Extended Abstract - Yanhong A. Liu and Scott Stoller. Rules with Negation in Recursion: Founded Semantics and Constraint Semantics - Joohyung Lee and Yi Wang. Weight Learning in a Probabilistic Extension of Answer Set Programs - Jessica Zangari, Francesco Calimeri and Simona Perri. Hypertree-Decomposition Rewritings for Optimizing Logic Programs under Answer Set Semantics - Abeer Dyoub, Stefania Costantini and Francesca A. Lisi. Towards Ethical Machines Via Logic Programming - Valentina Pitoni and Stefania Costantini. A Temporal Module for Logical Frameworks - Carmen Leticia García Mata. Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations ------------------------------------------------------------------------------ ORGANIZATION - General Chairs - Enrico Pontelli, Tran Cao Son - Program Chairs - Esra Erdem, German Vidal - Publicity Chair - Ferdinando Fioretto - Workshops Chair - Martin Gebser - Tutorials Chair - Pedro Cabalar - DC Chairs - Paul Fodor, Daniela Inclezan - Programming Competition Chairs - José Morales, Orkunt Sabuncu - Applications Track Chairs - Andrea Formisano, Fangkai Yang - Sister Conferences and Journal Presentation Track Chairs - Bart Bogaerts, Giovambattista Ianni - Research Challenges in Logic Programming Track Chairs - Alessandro dal Palu, Amelia Harrison, Joohyung Lee - Women in Logic Programming Special Session Chairs - Alicia Villanueva, Marina De Vos - Program Committee - Hassan Ait-Kaci, Mario Alviano, Roman Bartak, Rachel Ben-Eliyahu-Zohary, Bart Bogaerts, Gerhard Brewka, Pedro Cabalar, Michael Codish, Stefania Costantini, Marina De Vos, Agostino Dovier, Thomas Eiter, Wolfgang Faber, Fabio Fioravanti, Andrea Formisano, John Gallagher, Martin Gebser, Michael Gelfond, Michael Hanus, Amelia Harrison, Manuel Hermenegildo, Giovambattista Ianni, Daniela Inclezan, Katsumi Inoue, Tomi Janhunen, Angelika Kimmig, Ekaterina Komendantskaya, Vladimir Lifschitz, Evelina Lamma, Joohyung Lee, Nicola Leone, Yanhong Annie Liu, Fred Mesnard, Jose F. Morales, Emilia Oikarinen, Carlos Olarte, Magdalena Ortiz, Mauricio Osorio, Barry O'Sullivan, Simona Perri, Enrico Pontelli, Ricardo Rocha, Alessandra Russo, Orkunt Sabuncu, Chiaki Sakama, Torsten Schaub, Guillermo R. Simari, Theresa Swift, Francesca Toni, Paolo Torroni, Tran Cao Son, Alicia Villanueva, Kewen Wang, Jan Wielemaker, Stefan Woltran, Fangkai Yang, Roland Yap, Jia-Huai You, Zhizheng Zhang From hasselbring at email.uni-kiel.de Thu Aug 15 19:16:18 2019 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Thu, 15 Aug 2019 19:16:18 +0200 Subject: [fg-arc] Programm & Registrierung: Treffen des GI-Arbeitskreises Microservices und DevOps in Kiel Message-ID: <286b6144-c5dd-bab7-d1a2-be92c017aab7@email.uni-kiel.de> Liebe Mitglieder der GI-Fachgruppe Architekturen, Der Arbeitskreis „Microservices und DevOps“ der GI-Fachgruppe Architekturen trifft sich am Di/Mi 24./25. September 2019 in Kiel! Unsere Gastgeber werden die DiWiSH-Mitglieder wobe-systems GmbH und getNext IT sein, der Veranstaltungsort ist der neue Event-Bereich des Fleet7 (https://www.fleet7.de/) im Kieler Stadtzentrum. Details zum Programm finden sich ab sofort unter https://ak-msdo.gi.de/veranstaltung/6-treffen-des-arbeitskreises-msdo/ (Tab "Programm") Die Teilnahme ist kostenfrei, aber es ist eine Registrierung erforderlich unter: https://www.xing.com/events/gi-fachtagung-microservices-devops-2101916 Zusammenfassung: Termin: 24. September 2019, 12:00 Uhr bis 25. September 2019, 13:00 Uhr Gastgeber: wobe-systems GmbH https://www.wobe-systems.com/ getNext IT https://www.getnext-it.com/ Veranstaltungsort Fleet7 Fleethörn 7 24103 Kiel https://www.fleet7.de/ Wir freuen uns auf Eure Teilnahme! Holger Knoche, Andreas Steffens, Thomas Düllmann und Wilhelm Hasselbring https://ak-msdo.gi.de/ From taentzer at Mathematik.Uni-Marburg.de Fri Aug 23 10:12:55 2019 From: taentzer at Mathematik.Uni-Marburg.de (Gabriele Taentzer) Date: Fri, 23 Aug 2019 10:12:55 +0200 Subject: [fg-arc] CfP: FASE 2020 - Fundamental Approaches to Software Engineering Message-ID: <32027634-3f13-9808-916e-a4149457e70f@mathematik.uni-marburg.de> ** Apologies for cross-postings ** Call for Papers FASE 2020 - Fundamental Approaches to Software Engineering, Dublin, Ireland                                         25. – 30. April, 2020 (part of the ETAPS conference series, https://www.etaps.org/) Important dates: ----------------------- - Paper submission: 24. October 2019 - Notification: 23. December 2019 - Camera-ready version: 22. February 2020 --------------------------------------------------------------------------------------------------------- FASE is concerned with the foundations on which software engineering is built. Submissions should make novel contributions to making software engineering a more mature and soundly-based discipline. Contributions should be supported by appropriate arguments and validation. Contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We welcome contributions on all such fundamental approaches, including: * Software engineering as an engineering discipline, including its interaction with and impact on society and economics; * Requirements engineering: capture, consistency, and change management of software requirements; *  Software architectures: description and analysis of architectures, e.g. SOA, microservice architectures or software product lines; * Specification, design, and implementation of particular classes of systems: (self-)adaptive, collaborative, intelligent, embedded, distributed, mobile, pervasive, cyber-physical or service-oriented applications; *  Software quality: (static or run-time) validation and verification of functional and non-functional software properties (including security and data privacy) using techniques such as theorem proving, model checking, testing, analysis, simulation, refinement methods, metrics or visualization techniques; * Model-driven development and model transformation: meta-modelling, design and semantics of domain-specific languages, consistency and transformation of models, generative architectures; * Software processes: support for iterative, agile, and open source development; * Software evolution: refactoring, reverse and re-engineering, configuration management and architectural change, or aspect-orientation.  For further information see https://www.etaps.org/2020/fase **** -- ----------------------------------------- Prof. Dr. Gabriele Taentzer Philipps-Universität Marburg Fachbereich Mathematik und Informatik Hans-Meerwein-Str. 6 D-35032 Marburg Phone: +49 6421 2821532 Email: taentzer at mathematik.uni-marburg.de ----------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From wortmann at se-rwth.de Sat Aug 24 10:49:19 2019 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Sat, 24 Aug 2019 10:49:19 +0200 Subject: [fg-arc] EAPLS PhD Award 2018: Call for Nominations Message-ID: ============================================= EAPLS PhD Award 2018: Call for Nominations ============================================= URL: http://eapls.org/pages/phd_award/ The European Association for Programming Languages and Systems (EAPLS) has established a Best Dissertation Award in the international research area of programming languages and systems. The award will go to the Ph.D. student who in the previous period has made the most original and influential contribution to the area. The purpose of the award is to draw attention to excellent work, to help the career of the student in question, and to promote the research field as a whole. Eligibility -------------------------------- Eligible for the award are those who successfully defended their PhD * at an academic institution in Europe * in the field of Programming Languages and Systems * in the period from 1 January 2018 – 31 December 2018 Nominations -------------------------------- Candidates for the award must be nominated by their supervisor. Nominating a candidate consists of submitting the nomination to https://easychair.org/conferences/?conf=ep18. The nomination must consist of a single PDF file containing * a letter from the supervisor describing why the thesis should be considered for the award; * a report from an independent researcher who has acted as examiner of the thesis at its defense; and * the thesis itself. The theses will be evaluated with respect to originality, influence, relevance to the field and (to a lesser degree) quality of writing. Questions can be directed to the Ph.D. award chairs, at ep18 at easychair.org. Procedure -------------------------------- The nominations will be evaluated and compared by an international committee of experts. The procedure to be followed is analogous to the review phase of a conference. The justification by the supervisor and the external report will play an important role in the evaluation. The final decision is made by the EAPLS board, based on the recommendation of the expert committee. Members of the expert committee and the EAPLS board are barred from nominating their own Ph.D. students for the award. The award consists of a certificate announcing the winner to have received the EAPLS Ph.D. award 2018 and the supervisor will receive a copy of this certificate. If possible, the certificate will be handed out ceremonially at a suitable occasion, as for instance the ETAPS conference. Apart from the winner, no further ranking of nominees will be published. The decision of the expert committee is final and binding, and will not be subject to discussion. Important Dates -------------------------------- 30 August 2019: Deadline for nominations 1 December 2019: Announcement of the award winner Expert Committee -------------------------------- The expert committee includes: * Thorsten Altenkirch, University of Nottingham, UK * Eerke Boiten, De Montfort University, UK * Luis Caires, FCT / Universidade Nova de Lisboa, Portugal * Marco Carbone, IT University of Copenhagen, Denmark * Paolo Ciancarini, Dipartimento di Scienze dell'Informazione, Università di Bologna, Italy * Stefano Crespi Reghizzi, Politecnico di Milano, Italy * Kei Davis, Los Alamos National Laboratory, USA * Mariangiola Dezani, Universitá di Torino, Italy * JosuKa Díaz Labrador, Universidad de Deusto, Spain * Maribel Fernández, King's College London, UK * Maurizio Gabbrielli, University of Bologna , Italy * Sabine Glesner, Technische Universität Berlin, Germany * Stefan Gruner, University of Pretoria, South Africa * Jens Knoop, TU Vienna, Austria * Ralf Lämmel, University of Koblenz, Germany * Tiziana Margaria, University of Limerick, Ireland * Greg Michaelson, Heriot-Watt University, UK * Alan Mycroft, University of Cambridge, UK * Ricardo Peña, Universidad Complutense de Madrid, Spain * Matteo Pradella, Politecnico di Milano, Italy * Gunter Saake, Otto-von-Guericke-University Magdeburg, Germany * Ana Sokolova, Universität Salzburg, Austria * Bernhard Steffen, Technische Universität Dortmund, Germany * Mark Van Den Brand, Eindhoven University of Technology, The Netherlands * Marko Van Eekelen, Radboud University Nijmegen, The Netherlands * Peter Van Roy, Université Catholique de Louvain, Belgium * Andreas Wortmann, RWTH Aachen University, Germany (chair) -- ----------------------------------------------------------------------------------------------------------------- Dr. Andreas Wortmann | Software Engineering Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 (241) 80-21346 / Fax -22218 | http://www.se-rwth.de From matthias.gudemann at gmail.com Sat Aug 24 09:32:22 2019 From: matthias.gudemann at gmail.com (=?UTF-8?Q?Matthias_G=C3=BCdemann?=) Date: Sat, 24 Aug 2019 09:32:22 +0200 Subject: [fg-arc] Second call for papers Software Verfication and Testing (SVT) at SAC 2020 Message-ID: 35th Annual ACM Symposium on Applied Computing Software Verification and Testing Track Brno, Czech Republic March 30 - April 3, 2020 http://www.sigapp.org/sac/sac2020/ SAC SVT 2020 Website : http://guedemann.org/svt2020/ Important dates =============== Sep. 15, 2019 - Submission of regular papers and SRC research abstracts Nov. 10, 2019 - Notification of paper / SRC abstract acceptance/rejection Nov. 25, 2019 - Camera-ready copies of accepted papers/SRC Dec. 10, 2019 - Author registration due date ACM Symposium on Applied Computing ================================== The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2020 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will take place in Brno, Czech Republic. Software Verification and Testing Track ======================================= The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also are welcome detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: * model checking * theorem proving * correct by construction development * model-based testing * software testing * symbolic execution * static and dynamic analysis * abstract interpretation * analysis methods for dependable systems * software certification and proof carrying code * fault diagnosis and debugging * verification and validation of large scale software systems * real world applications and case studies applying software testing and verification * benchmarks and data sets for software testing and verification Submission Guidelines ===================== Paper submissions must be original, unpublished work. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within eight two-column pages (an extra two pages, to a total of ten pages, may be available at a charge). The length of a poster is limited to three pages (plus one extra page may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2020 proceedings. Paper registration is required, allowing the inclusion of papers/posters in the conference proceedings. An author or a proxy attending SAC MUST present the work. This is a requirement for the presented work to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library. It is planned to arrange a journal special issue after the conference. Student Research Competition ============================ As previous editions, SAC 2020 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.sigapp.org/sac/sac2020/. SAC-SVT Program Committee Chairs =============================== Matthias Güdemann, IOHK, Hong Kong Nikolai Kosmatov, CEA List, France SAC-SVT Program Committee ========================= - Wolfgang Ahrendt, Chalmers University, Sweden - Sébastien Bardin, CEA, France - Ezio Bartocci, TU Vienna, Austria - Radu Calinescu, University of York, UK - Christian Colombo, University of Malta, Malta - Maxime Cordy, University of Luxembourg, Luxembourg - Cristina David, University of Cambridge, UK - Giovanni Denaro, University of Milano Bicocca, Milano, Italy - Cathérine Dubois, ENSIIE, France - Gidon Ernst, LMU Munich, Germany - Yliès Falcone, University Grenoble Alpes, Inria, France - Carlo A. Furia, Università della Svizzera Italiana, Switzerland - Maria del Mar Gallardo, University of Malaga, Spain - Sylvain Hallé, Université du Québec à Chicoutimi, Canada - Ralf Huuck, The University of New South Wales, Australia - Thierry Jéron, Inria, France - Maurizio Leotta, University of Genoa, Italy - Martin Leucker, University of Lübeck, Germany - Stefan Leue, University of Konstanz, Germany - Frédéric Loulergue, Northern Arizona University, USA - Mercedes Merayo, Universidad Complutense de Madrid, Spain - Brian Nielsen, Aalborg University, Denmark - Peter Csaba Ölveczky, University of Oslo, Norway - Jun Pang, University of Luxembourg, Luxembourg - Mike Papadakis, University of Luxembourg, Luxembourg - Filippo Ricca, University of Genova, Italy - Antoine Rollet, Bordeaux INP, LaBRI, France - Gwen Salaün, University Grenoble Alpes, Inria, France - Julien Signoles, CEA, France - Marjan Sirjani, Malardalen University, Sweden - Tom van Dijk, University of Twente, Netherlands - Neil Walkinshaw, University of Sheffield, UK - Anton Wijs, Technische Universiteit Eindhoven, Netherlands - Burkhart Wolff, University Paris-Sud, LRI, France - Rongxin Wu, University of Science and Technology, Hong Kong - Nina Yevtushenko, Tomsk State University, Russia - Cemal Yilmaz, Sabancı University, Turkey - Fatiha Zaïdi, University of Paris-Sud, France - Gianluigi Zavattaro, University of Bologna, Italy From announce at cs.ucy.ac.cy Sun Aug 25 12:34:28 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 25 Aug 2019 13:34:28 +0300 Subject: [fg-arc] 14th International Conference on Research Challenges in Information Science (RCIS 2020): Second Call for Papers Message-ID: *** Second Call for Papers *** 14th International Conference on Research Challenges in Information Science (RCIS 2020) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus May 20-22, 2020, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJNDEzCUxpc3RzCTE0NAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Frcis-conf.com%2F Abstract submission deadline: January 20, 2020 Paper submission deadline: January 27, 2020 (AoE) (Proceedings to be published by Springer) SCOPE AND TOPICS RCIS aims to bring together scientists, researchers, engineers and practitioners from a wide range of information science fields and to provide opportunities for knowledge sharing and dissemination. RCIS 2020 will continue paying attention to traditional topics at the conference; in addition, we solicit submissions aligned the special theme of Information Science in the Days of Artificial Intelligence. We understand AI in a broad sense, including machine learning, self-adaptation, logic-based reasoning, automation, agents and multiagent systems, natural language processing, etc. RCIS welcomes submissions from the whole spectrum of the information science field. The list of themes and topics includes, but is not limited to: Information Systems and their Engineering · Requirements Engineering · Software Testing · Information Security and Risk · Method Engineering User-Oriented Approaches · Social Computing and Social Network Analysis · User-Centred Design · Collaborative Computing · Human Factors in Information Systems Data and Information Management · Databases and Information · Information Search and Discovery · Conceptual Modelling and Ontologies Business Process Management · Business Process Engineering and Reengineering · Process Mining · Enterprise Engineering Domain-specific IS Engineering · E-Health, e-Government, e-Commerce, ... · Industry 4.0 · Web-Based Applications and Services · Smart Cities Data Science · Big Data & Business Analytics · Decision Information Systems · Knowledge Management · Knowledge Discovery from Data Information Infrastructures · Cyber-Physical Systems · Web Information Systems · Grid Computing and Cloud Computing · Internet of Things · Pervasive and Mobile Computing Reflective Research and Practice · Research Methodologies in Information Science · Impact of Information on the Enterprise and the Individual · Lifecycle Models · Design Science and Rationale Tutorials, Doctoral Consortium, Posters & Demos will complement the main conference. RCIS STEERING COMMITTEE Saïd Assar; Marco Bajec; Pericles Loucopoulos; Haralambos Moratidis; Selmin Nurcan; Oscar Pastor; Jolita Ralyté; Colette Rolland. SUBMISSION PROCESS Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJNDEzCUxpc3RzCTE0NAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines . Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2020. Papers should be in English and must be associated to one of the following categories: Technical solution papers (max 16 pages Springer) present solutions that are novel or significantly improve existing approaches. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in follow-up research. Evaluation papers (max 16 pages Springer) evaluate existing problem situations or validate proposed solutions through scientific means, i.e., by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Industrial practice and experience papers (max 16 pages Springer) thoroughly present problems or challenges encountered in practice, elaborate on success or failure with existing approaches, or report on industrial practice (e.g., methods and tools). A paper in this category shall provide a clear context, detail the problem or the industrial practice, and explain the lessons learned. Work in progress papers (max 8 pages Springer) present relevant preliminary results across the spectrum of information science. These papers can either present a novel technical solution, or report on a preliminary evaluation of a technique. Please note that the maximum length of the paper includes references, appendices, etc. The submission site is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJNDEzCUxpc3RzCTE0NAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.easychair.org%2Fconferences%2F%3Fconf%3Drcis2020 . By submitting a paper, the authors agree that at least one of them will register to the conference and present the paper. The appearance of a paper in the Springer proceedings is dependent on the registration of one author within the early registration deadline on March 31, 2020. IMPORTANT DATES · Regular paper submission deadline: January 27, 2020 (AoE) · Notification to authors and registration opening: March 15, 2020 · Author registration deadline for all paper types: March 31, 2020 · Camera-ready copy deadline for all paper types: March 31, 2020 · Conference: May 20-22, 2020 CONFERENCE COMMITTEES General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Pericles Loucopoulos, Harokopio University of Athens, Greece Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Jelena Zdravkovic, Stockholm University, Sweden · Fabiano Dalpiaz, Utrecht University, Netherlands Doctoral Consortium Chairs · Raian Ali, Bournemouth University, United Kingdom · Sergio España, Utrecht University, Netherlands Tutorial Chairs · Estefania Serral Asensio, KU Leuven, Belgium · Ignacio Panach, University of Valencia, Spain Posters & Demos Chairs · Elena Kornyshova, Conservatoire National des Arts et Métiers, France · Marcela Ruiz, Zurich University of Applied Sciences, Switzerland -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Mon Aug 26 14:57:00 2019 From: lpulina at uniss.it (Luca Pulina) Date: Mon, 26 Aug 2019 14:57:00 +0200 Subject: [fg-arc] AIIA 2019 Doctoral Consortium Message-ID: <1bf51891-838d-288c-9fd5-764f017ef801@uniss.it> Students are invited to apply for admission to the Doctoral Consortium to be held at the the AIIA 2019 conference which will take place in Rende, from the 19th to the 22nd of November 2019. Submission Deadline: September 15th, 2019 The AIIA 2019 Doctoral Consortium provides an opportunity for Ph.D. students to explore and develop their research interests in the Artificial Intelligence field, in the broader sense, under the guidance of a panel of distinguished researchers from both academia and industry. Attending students will have the opportunity to present their work in a dedicated workshop and to share their work with other students in a similar situation and with senior researchers during a dedicated workshop. During the entire conference every student will be paired with a senior mentor (selected from the DC program committee) who will dedicate some time for interacting with the student. AIIA Doctoral Consortium main objectives are the following:          Provide a supportive setting for feedback on students' current research and guidance on future research directions.          Offer each student comments and fresh perspectives on their own work from faculty and students outside their own institution, taking advantage of mentorship opportunities.          Promote the development of a supportive community of scholars and a spirit of collaborative research.          Contribute to the conference goals through interaction with other researchers and conference events. We accept contributions from students regularly enrolled in some Ph.D. program. Exceptions might include students not yet enrolled in a Ph.D. program, but that are strongly motivated to enroll in the near future. Every contribution should be in the form of up to 5 pages extended abstracts including references, in Springer LNCS format. In line with the main research track of the conference, the AIIA 2019 Doctoral Consortium welcomes submissions on research across all areas of AI, including (but not limited to) traditional topics such as machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. Students with accepted extended abstracts are invited to give an oral presentation of their work during the Doctoral Consortium, and to prepare a poster to be displayed during the poster sessions of the main conference. The authors of the accepted extended abstracts are requested to attend the Doctoral Consortium and to register to the main conference. Poster should include student's contacts in order to allow any interested person to fix an appointment with the student and discuss her/his work during the conference. Extended abstract submission, format and publication Prepare an up to five-pages extended abstract describing your current or future research work (or on some specific issue) in the LNCS Proceedings Format. You should be the only author of the extended abstract and you should mention your advisor. We allow two types of contributions:        Overview of the Ph.D. work, which should include: Introduction/Motivation, State of the Art, Problem Statement and Contributions, Research Methodology and Approach, Preliminary or Intermediate Results, Evaluation Plan, Conclusions (recommended for students in an early stage of the Ph.D.)        Presentation of one specific scientific achievement you have reached during the Ph.D. course. The contribution could have been already published in some other venue. Extended abstracts will be evaluated by at least 2 members of the Doctoral Consortium Committee. The main evaluation criteria include originality of the work, scientific quality, validity of claims and clarity. The DC Committee will assign a Best Ph.D. Paper award to the best contribution, by evaluating the subject described in the extended abstract, the quality of the presentation and poster. Accepted extended abstracts will be possibly published on CEUR WS Proceedings upon request. Extended abstract will be handled through Easychair at   https://easychair.org/conferences/?conf=aiia2019 Important Dates Paper submission: September 15th, 2018 Notification: October 5th, 2018 Camera-ready extended abstracts due: November 5th, 2018 Doctoral Consortium: TBD (between 19th-22nd November 2018) Doctoral Consortium Chair Marco Maratea, University of Genova Programme Committee TBD -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From irdta at irdta.eu Thu Aug 22 16:14:18 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 22 Aug 2019 16:14:18 +0200 Subject: [fg-arc] LATA 2020: 1st call for papers Message-ID: <545102060a010b020053500a0400525e5b5e53540605550305525b09005506545d000105035b52030402050504070407@grlmc_ip-zone_com-6> LATA 2020: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 14th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2020   Milan, Italy   March 2-6, 2020   Co-organized by:             Department of Informatics, Systems and Communication University of Milano-Bicocca   and   Institute for Research Development, Training and Advice Brussels/London   lata2020.irdta.eu *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. LATA 2020 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2020 will take place in Milan, the third largest economy among European cities and one of the Four Motors for Europe.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2020 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Jorge Almeida (University of Porto, PT) Franz Baader (Technical University of Dresden, DE) Alessandro Barenghi (Polytechnic University of Milan, IT) Djamal Belazzougui (CERIST, DZ) Marcello Bonsangue (Leiden University, NL) Bruno Courcelle (University of Bordeaux, FR) Laurent Doyen (ENS Paris-Saclay, FR) Manfred Droste (Leipzig University, DE) Rudolf Freund (Technical University of Vienna, AT) Paweł Gawrychowski (University of Wrocław, PL) Tero Harju (University of Turku, FI) Jeffrey Heinz (Stony Brook University, US) Lane A. Hemaspaandra (University of Rochester, US) Marcin Jurdziński (University of Warwick, UK) Juhani Karhumäki (University of Turku, FI) Jarkko Kari (University of Turku, FI) Dexter Kozen (Cornell University, US) François Le Gall (Kyoto University, JP) Markus Lohrey (University of Siegen, DE) Parthasarathy Madhusudan (University of Illinois, Urbana-Champaign, US) Sebastian Maneth (University of Bremen, DE) Nicolas Markey (IRISA, Rennes, FR) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Victor Mitrana (University of Bucharest, RO) Paliath Narendran (University at Albany, US) Gennaro Parlato (University of Molise, IT) Dominique Perrin (University of Paris-Est, FR) Nir Piterman (Chalmers University of Technology, SE) Sanguthevar Rajasekaran (University of Connecticut, US) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen’s University, CA) Helmut Seidl (Technical University of Munich, DE) William F. Smyth (McMaster University, CA) Jiří Srba (Aalborg University, DK) Edward Stabler (University of California, Los Angeles, US) Benjamin Steinberg (City University of New York, US) Frank Stephan (National University of Singapore, SG) Jan van Leeuwen (Utrecht University, NL) Margus Veanes (Microsoft Research, US) Tomáš Vojnar (Brno University of Technology, CZ) Mikhail Volkov (Ural Federal University, RU) James Worrell (University of Oxford, UK)   ORGANIZING COMMITTEE:   Alberto Leporati (Milan, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Dana Shapira (Ariel) David Silva (London, co-chair) Bianca Truthe (Giessen) Claudio Zandron (Milan, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2020   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   lata2020.irdta.eu/registration   DEADLINES (all at 23:59 CET):   Paper submission: October 18, 2019 Notification of paper acceptance or rejection: November 25, 2019 Final version of the paper for the LNCS proceedings: December 2, 2019 Early registration: December 2, 2019 Late registration: February 17, 2020 Submission to the journal special issue: June 6, 2020   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGMENTS:   Università degli Studi di Milano-Bicocca   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Aug 27 03:01:46 2019 From: irdta at irdta.eu (IRDTA) Date: Tue, 27 Aug 2019 03:01:46 +0200 Subject: [fg-arc] SLSP 2019: call for posters Message-ID: <545102060a010b02005359010702505e575602500401545905020902530202525d045404055d51505451595350565455@grlmc_ip-zone_com-6> SLSP 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------- The 7th International Conference on Statistical Language and Speech Processing (SLSP 2019) invites researchers to submit poster presentations. SLSP 2019 will be held in Ljubljana on October 14-16, 2019. See  https://slsp2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 7, 2019 Notification of poster acceptance or rejection: September 14, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2019. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (Elsevier, JCR 2018 impact factor: 1.776). REGISTRATION At least one author of each accepted poster must register to the conference by September 30, 2019. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Aug 23 13:16:28 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 23 Aug 2019 14:16:28 +0300 Subject: [fg-arc] 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Last Call for Papers Message-ID: *** Last Call for Papers *** 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020) Atlantica Miramare 4* Beach Hotel, Limassol, Cyprus January 20-24, 2020 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk0NnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDdXJyZW50IFRyZW5kcyBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIENvbXB1dGVyIFNjaWVuY2UgKFNPRlNFTSAyMDIwKTogTGFzdCBDYWxsIGZvciBQYXBlcnMJNDExCUxpc3RzCTE0NAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fsofsem2020%2F *** Submission Deadline (abstract first): August 26, 2019 (AoE) *** (Proceedings to be published by Springer. Springer will sponsor the Best Paper Award with ?1000) INVITED SPEAKERS · Mikolaj Bojanczyk, Poland · Ernesto Damiani, UAE · Erol Gelenbe, UK · Gunnar Klau, Germany · Elias Koutsoupias, UK SOFSEM (SOFtware SEMinar) is an annual international winter conference devoted to the theory and practice of computer science. The first SOFSEM was organized in 1974. SOFSEM consists of invited talks by prominent researchers, of contributed talks selected from the submitted papers, and of the Student Research Forum. The program is organized in plenary talks and parallel tracks devoted to original research in the selected research areas. SOFSEM has a long-standing tradition of facilitating discussions and collegial interactions. It is well-known for its familiar and inspiring atmosphere and as a meeting place for active and leading computer scientists. SOFSEM is a track-based conference. It features the traditional track on foundations of computer science and a number of other tracks that cover contemporary important areas, such as artificial intelligence, cryptography, security, verification, data science, knowledge engineering, social computing and human factors, software and web engineering, etc. The Track Chairs are soliciting technical papers for presentation at the conference and inclusion in the proceedings published by Springer in the ARCoSS/LNCS series. The topics of the conference are organised in four tracks and the (non exhaustive) list of topics for each track is as follows: Foundations of Computer Science · Algorithms and data structures · Automata and formal languages · Complexity theory · Computability theory · Cryptography and security · Graphs and networks · Machine learning · Non-classical models of computing · Theory of databases, semi-structured data, and finite model theory · Theory of programming languages Foundations of Software Engineering · Methods and tools for improved software processes · Software architecture of complex software-intensive systems · Requirements Engineering · Model-based software engineering methods and tools · Data-driven improvement of methods, models, and tools · Methods and tools for software engineering applications · Empirical Software Engineering Foundations of Data Science · Data Models and Query Languages · Data Integration and Interoperability · Query Processing and Optimization · Distributed, Parallel, and P2P Data Processing and Management · Data Semantics and Linked Data · Spatial, Temporal, Multimedia Data · Web- and Graph-based Data · Probabilistic and Uncertain Data · Information Extraction and Retrieval · Data Privacy, Security, and Trust Foundations of Algorithmic Computational Biology · Alignment and assembly of sequences · Biological networks · Cancer genomics · Comparative genomics · Gene expression · Phylogenetics · Sequence analysis · System biology PAPER SUBMISSION Detailed guidelines for submission are available on the conference web site (https://cyprusconferences.org/sofsem2020/). Papers must be submitted electronically via Easychair in standard Springer format (max 12 pages, including references, etc.). The submision link is: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk0NnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDdXJyZW50IFRyZW5kcyBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIENvbXB1dGVyIFNjaWVuY2UgKFNPRlNFTSAyMDIwKTogTGFzdCBDYWxsIGZvciBQYXBlcnMJNDExCUxpc3RzCTE0NAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Dsofsem2020 . Submitted papers will undergo a peer review process. PROCEEDINGS The proceedings will be published by Springer in the ARCoSS/LNCS series. IMPORTANT DATES · August 26th, 2019 (AoE - Anywhere on Earth): Submission of abstracts · September 2nd, 2019 (AoE): Submission of full papers · October 14th, 2019: Notification of acceptance/rejection · October 28th, 2019: Camera ready papers & author registration · November 25th: Early (non author) registration · January 20th - 24th, 2020: Conference dates ORGANISATION General Chairs · Yannis Manolopoulos, Open University of Cyprus, Cyprus · George A. Papadopoulos, University of Cyprus, Cyprus Steering Committee · Barbara Catania, University of Genova, Italy · Miroslaw Kutylowski, Wroclaw Uni. of Technology, Poland · Jan van Leeuwen, Utrecht University, Utrecht, Netherlands · Tiziana Margaria-Steffen, University of Limerick, Ireland · Branislav Rovan, Comenius University, Bratislava, Slovakia · Petr Saloun, Technical University of Ostrava, Czech Republic · Julius Stuller, Academy of Sciences, Prague, Czech Republic, chair Tracks and Track Chairs · Foundations of Computer Science: Christos Kapoutsis, Qatar · Foundations of Data Science: Herodotos Herodotou, Cyprus · Foundations of Software Engineering, Alexander Chatzigeorgiou, Greece · Foundations of Algorithmic Computational Biology, Riccardo Dondi, Italy and Florian Sikora, France Student Research Forum Chair · Theodoros Tzouramanis, Greece Webadmin · Kyriakos Georgiades, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Thu Aug 29 12:05:37 2019 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Thu, 29 Aug 2019 10:05:37 +0000 Subject: [fg-arc] FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal Message-ID: # FMTea19 - CALL FOR PARTICIPATION Formal Methods Teaching Workshop and Tutorial - FMTea19 Porto, October 7, 2019 https://fmtea.github.io/ Affiliated with the 3rd World Congress on Formal Methods FMTea19 aims to share experiences of teaching formal methods that have gone well, or that failed in surprising ways, as well as to develop ways to reboot the presence of formal methods in curricula. FMTea19 is a full-day event, comprising both a tutorial part in the morning as well as the workshop part in the afternoon. We are extremely happy with both the invited and tutorial lectures in the morning as well as with the enthusiastic response we got to our call for papers. Tutorial part of FMTea19 We are very pleased to present the following tutorial program in the morning: - Invited lecture: Prof Carroll Morgan (University of New South Wales and Data61, Australia) - Is Formal Methods Really Essential? - Tutorial lecture: Sir Tony Hoare (Cambridge University Computing Laboratory, UK) - Logic, Algebra, and Geometry at the Foundation of Computer Science - Tutorial lecture: Prof Holger Hermanns (Saarland University, Germany) - pseuCo.com - Tutorial lecture: Prof Bas Luttik (Eindhoven University of Technology, the Netherlands): Efficient Online Homologation to Prepare Students for Formal Methods Courses Workshop Part of FMTea19 The workshop program includes the presentation and discussion of 12 papers and 3 posters. We have divided the papers into three panel sessions. Each paper is shortly presented in its panel session and then, the session's presenters participate in a panel discussion of 30 minutes, led by one/two session chairs. The idea is to encourage an open and inclusive discussion that could also engage the audience. The posters will be placed inside FMTea's room and be available for discussion, for instance, during the afternoon coffee break. You can check the accepted papers below: - Andrew Simpson. Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach - Nestor Catano. Teaching Formal Methods: Lessons Learnt from Using Event-B - Sandrine Blazy. Teaching Deductive Verification in Why3 to Undergraduate Students - Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka and Thomas Wilke. Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods - Adrian Johnstone and Elizabeth Scott. Principled and Pragmatic Specification of Programming Languages - Kristin Yvonne Rozier. On Teaching Applied Formal Methods in Aerospace Engineering - María-Del-Mar Gallardo and Laura Panizo. Teaching Formal Methods: From Software in the Small to Software in the Large - Faron Moller and Liam O'Reilly. Teaching Discrete Mathematics to Computer Science Students - Emil Sekerinski. Teaching Concurrency with the Disappearing Formal Method - Jose Divasón and Ana Romero. Using Krakatoa for Teaching Formal Verification of Java Programs - Tony Hoare, Alexandra Mendes and Joao F. Ferreira. Logic, Algebra, and Geometry at the Foundation of Computer Science (invited paper) - Ariane A. Almeida, Ana Cristina Rocha-Oliveira, Thiago Mendonça Ferreira Ramos, Flavio L. C. De Moura and Mauricio Ayala-Rincon. The Computational Relevance of Formal Logic through Formal Proofs - Christophe Garion, Jérôme Hugues, Claire Dross, Joffrey Huguet and Léo Creuse. Teaching Deductive Verification through Frama-C and SPARK - Catherine Dubois, Virgile Prevosto and Guillaume Burel. Teaching Formal Methods to Future Engineers - Giampaolo Bella. You Already Used Formal Methods but Did Not Know The abstracts of all presentations and the FMTea19 schedule can be seen here: https://www.easychair.org/smart-program/FMTea19/. Registration Registration is open as follows: - Early - until Sep 10 (AoE) - Late - from Sep 11 until 5 Oct (AoE) - On site - from Oct 6 to Oct 11 (AoE) Registration is via the FM2019 website: http://formalmethods2019.inesctec.pt/?page_id=2363, where you can check the info on prices, deadlines, etc for FMTea, FM and related events, while the registration platform itself is here: https://www.weezevent.com/fm-19. The early registration fee (until September 10) for FMTea19 is 140 eur. It is very important that you mention FMTea19 in the text box if you register for more than our event (say for the whole week at FM'19). Only in this way we will know that you registered to FMTea and prepare accordingly. The FMTea19 proceedings will be available only online. This belongs to a global move of the FM'19 events - they are all paperless, in an effort to provide a greener environment. The FMTea19 online proceedings will be available only to the registered FMTea19 participants, so please register in time to catch the early fee, until September 10. The proceedings is published by Springer in the Lecture Notes in Computer Science series, volume 11758. Please do not hesitate to contact us for any question that may pop up. We are very happy about the FMTea19 program and look forward to meet you all on October 7 in Porto! Kind regards, Luigia Petre, Brijesh Dongol, Graeme Smith (the PC co-chairs) *** Welcome to FMTea19 *** *** Welcome to PORTO *** *** Welcome to Portugal *** ______________________________________________________________ __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Aug 30 11:10:53 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 30 Aug 2019 12:10:53 +0300 Subject: [fg-arc] 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Last Mile for Paper Submission Message-ID: *** Last Mile for Paper Submission *** 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020) Atlantica Miramare 4* Beach Hotel, Limassol, Cyprus January 20-24, 2020 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk0NnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDdXJyZW50IFRyZW5kcyBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIENvbXB1dGVyIFNjaWVuY2UgKFNPRlNFTSAyMDIwKTogTGFzdCBNaWxlIGZvciBQYXBlciBTdWJtaXNzaW9uCTQxNQlMaXN0cwkxNDQJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fsofsem2020%2F *** Submission Deadline (full paper): September 2, 2019 (AoE) *** (Proceedings to be published by Springer. Springer will sponsor the Best Paper Award with ?1000) INVITED SPEAKERS · Mikolaj Bojanczyk, Poland · Ernesto Damiani, UAE · Erol Gelenbe, UK · Gunnar Klau, Germany · Elias Koutsoupias, UK SOFSEM (SOFtware SEMinar) is an annual international winter conference devoted to the theory and practice of computer science. The first SOFSEM was organized in 1974. SOFSEM consists of invited talks by prominent researchers, of contributed talks selected from the submitted papers, and of the Student Research Forum. The program is organized in plenary talks and parallel tracks devoted to original research in the selected research areas. SOFSEM has a long-standing tradition of facilitating discussions and collegial interactions. It is well-known for its familiar and inspiring atmosphere and as a meeting place for active and leading computer scientists. SOFSEM is a track-based conference. It features the traditional track on foundations of computer science and a number of other tracks that cover contemporary important areas, such as artificial intelligence, cryptography, security, verification, data science, knowledge engineering, social computing and human factors, software and web engineering, etc. The Track Chairs are soliciting technical papers for presentation at the conference and inclusion in the proceedings published by Springer in the ARCoSS/LNCS series. The topics of the conference are organised in four tracks and the (non exhaustive) list of topics for each track is as follows: Foundations of Computer Science · Algorithms and data structures · Automata and formal languages · Complexity theory · Computability theory · Cryptography and security · Graphs and networks · Machine learning · Non-classical models of computing · Theory of databases, semi-structured data, and finite model theory · Theory of programming languages Foundations of Software Engineering · Methods and tools for improved software processes · Software architecture of complex software-intensive systems · Requirements Engineering · Model-based software engineering methods and tools · Data-driven improvement of methods, models, and tools · Methods and tools for software engineering applications · Empirical Software Engineering Foundations of Data Science · Data Models and Query Languages · Data Integration and Interoperability · Query Processing and Optimization · Distributed, Parallel, and P2P Data Processing and Management · Data Semantics and Linked Data · Spatial, Temporal, Multimedia Data · Web- and Graph-based Data · Probabilistic and Uncertain Data · Information Extraction and Retrieval · Data Privacy, Security, and Trust Foundations of Algorithmic Computational Biology · Alignment and assembly of sequences · Biological networks · Cancer genomics · Comparative genomics · Gene expression · Phylogenetics · Sequence analysis · System biology PAPER SUBMISSION Detailed guidelines for submission are available on the conference web site (https://cyprusconferences.org/sofsem2020/). Papers must be submitted electronically via Easychair in standard Springer format (max 12 pages, including references, etc.). The submision link is: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk0NnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDdXJyZW50IFRyZW5kcyBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIENvbXB1dGVyIFNjaWVuY2UgKFNPRlNFTSAyMDIwKTogTGFzdCBNaWxlIGZvciBQYXBlciBTdWJtaXNzaW9uCTQxNQlMaXN0cwkxNDQJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Dsofsem2020 . Submitted papers will undergo a peer review process. PROCEEDINGS The proceedings will be published by Springer in the ARCoSS/LNCS series. IMPORTANT DATES · September 2nd, 2019 (AoE): Submission of full papers · October 14th, 2019: Notification of acceptance/rejection · October 28th, 2019: Camera ready papers & author registration · November 25th: Early (non author) registration · January 20th - 24th, 2020: Conference dates ORGANISATION General Chairs · Yannis Manolopoulos, Open University of Cyprus, Cyprus · George A. Papadopoulos, University of Cyprus, Cyprus Steering Committee · Barbara Catania, University of Genova, Italy · Miroslaw Kutylowski, Wroclaw Uni. of Technology, Poland · Jan van Leeuwen, Utrecht University, Utrecht, Netherlands · Tiziana Margaria-Steffen, University of Limerick, Ireland · Branislav Rovan, Comenius University, Bratislava, Slovakia · Petr Saloun, Technical University of Ostrava, Czech Republic · Julius Stuller, Academy of Sciences, Prague, Czech Republic, chair Tracks and Track Chairs · Foundations of Computer Science: Christos Kapoutsis, Qatar · Foundations of Data Science: Herodotos Herodotou, Cyprus · Foundations of Software Engineering, Alexander Chatzigeorgiou, Greece · Foundations of Algorithmic Computational Biology, Riccardo Dondi, Italy and Florian Sikora, France Student Research Forum Chair · Theodoros Tzouramanis, Greece Webadmin · Kyriakos Georgiades, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From apvereda at uma.es Fri Aug 30 14:36:56 2019 From: apvereda at uma.es (=?utf-8?Q?Alejandro=20Perez=20Vereda?=) Date: Fri, 30 Aug 2019 12:36:56 +0000 Subject: [fg-arc] =?utf-8?q?FOCLASA_2019=3A_Call_For_Participation?= Message-ID: <9b6934846f06d860c185471e4.677bd6e3f0.20190830123650.08d5fa58b8.81a02145@mail123.sea91.rsgsv.net> We would like to kindly invite you to participate in this workshop Foclasa 2019 ** FOCLASA 2019 ------------------------------------------------------------ 17th International Workshop on Orchestration, Coordination Languages and Self-Adaptive Systems Oslo, Norway September 17, 2019 https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=aa37f9ed81&e=677bd6e3f0 The organizers of the 17th International Workshop on Orchestration, Coordination Languages and Self-Adaptative Systems (FOCLASA 2019) held in conjunction with SEFM 2019, in Oslo, Norway, would like to kindly invite you to participate in this workshop, which will occur on September 17th. ------------------------------------------------------------ REGISTRATION Registration is now open. The early registration deadline is September 1, 2019 https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=2128561d1f&e=677bd6e3f0 ------------------------------------------------------------ ** PROGRAM ------------------------------------------------------------ Lunch 🍔 🍟 + Registration 🎟 Session 1 (Chair: Ernesto Pimentel) 14.00-14.05: Opening 14.05-14.40: Formal Verification of Smart Contract with the KeY Tool Bernhard Beckert 14.40-15.05: Quantifying the Similarity of Non-bisimilar LTSs Gwen Salaün 15.05-15.30: Identifying failure causalities in multi-component applications Antonio Brogi and Jacopo Soldani Coffee break ☕ Session 2 (Chair: Jacopo Soldani) 16.00-16.25: A Formal Programming Framework for Digital Avatars Alejandro Pérez Vereda, Carlos Canal and Ernesto Pimentel 16.25-16.50: Modeling Self-Adaptive Fog Systems Using Bigraphs Hamza Sahli, Thomas Ledoux and Éric Rutten 16.50-17.25: TBA Einar-Broch Johnsen 17.25-17.30: Closing ------------------------------------------------------------ ** INVITED TALKS ------------------------------------------------------------ Formal Verification of Smart Contract with the KeY Tool by Bernhard Beckert. Abstract. Smart contracts are programs building on blockchain technology. They implement functionality that has been agreed on between the concerned parties on a network. However, their immutability and exposed position make them vulnerable to programming errors, leading to faulty behavior and possible exploits. Therefore, smart contracts demand a particularly thorough analysis, ideally using formal program verification. In this talk, I will give a short overview of the program verification tool KeY for Java programs, including latest work estimating the coverage of partial proofs. And I will present an approach for the deductive verification of Hyperledger Fabric smart contracts using the KeY prover. TBA by Einar-Broch Johnsen. Abstract. TBA. ------------------------------------------------------------ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by SEFM 2019 * Publication of extended version of selected work is planned in a special issue of an international journal as in previous editions of FOCLASA ------------------------------------------------------------ WORKSHOP GOALS Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions. ------------------------------------------------------------ Topics of interest include (but are not limited to) both theoretical and practical solutions for what follows: * Coordination, orchestration, composition and adaptation of components, services or microservices. * Business processes and concurrent system modelling. * Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Cloud/fog/edge computing, and large-scale distributed systems. * Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems. * Peer-to-peer and multi-agent systems, and blockchains. * QoS observation, storage, history-based analysis in self-adaptive systems. ------------------------------------------------------------ PROCEEDINGS The conference proceedings will be published by Springer, in the Lecture Notes in Computer Science (LNCS) series. Extended versions of a selection of the best papers is planned to be published in a special issue of an international journal as in previous editions of FOCLASA. ------------------------------------------------------------ PROGRAM COMMITTEE Co-Chairs Ernesto Pimentel University of Malaga, Spain epimentel at uma.es https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=67cb35be91&e=677bd6e3f0 Jacopo Soldani University of Pisa, Italy soldani at di.unipi.it https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=2ef83e8b14&e=677bd6e3f0 Members * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, INRIA Lille - Nord Europe, France * Uwe Breitenbücher, University of Stuttgart, Germany * Antonio Brogi, University of Pisa, Italy * Javier Cámara, Carnegie Mellon University, USA * Flavio De Paoli, University of Milano Bicocca, Italy * Francisco J. Durán, Universidad de Malaga, Spain * Erik de Vink, Eindhoven University of Technology, The Netherlands * Schahram Dustdar, TU Wien, Austria * Nahla El-Araby, Vienna University of Technology, Austria (TBC) * Jean-Marie Jacquet, University of Namur, Belgium * Einar Broch Johnsen, University of Oslo, Norway * Alberto Lluch Lafuente, Technical University of Denmark, Denmark * Sun Meng, Peking University, China * Fabrizio Montesi, University of Southern Denmark, Denmark (TBC) * Hernan C. Melgratti, University of Buenos Aires, Argentina * Cesare Pautasso, University of Lugano, Switzerland (TBC) * Pascal Poizat, Universite Paris Ouest, France * Jose Proenca, INESC TEC & Universidade do Minho, Portugal * Gwen Salaün, University of Grenoble, France * Marjan Sirjani, Reykjavik University, Iceland * Emilio Tuosto, University of Leicester, UK - Gran Sasso Science Institute, Italy * Mirko Viroli, University of Bologna, Italy * Lina Ye, CentraleSupelec, France ============================================================ Copyright © 2019 FOCLASA Workshop, All rights reserved. If you do not want to receive more email from here ** unsubscribe from this list (https://unipi.us20.list-manage.com/unsubscribe?u=9b6934846f06d860c185471e4&id=3aefc5abde&e=677bd6e3f0&c=08d5fa58b8) . Email Marketing Powered by Mailchimp http://www.mailchimp.com/monkey-rewards/?utm_source=freemium_newsletter&utm_medium=email&utm_campaign=monkey_rewards&aid=9b6934846f06d860c185471e4&afl=1 -------------- next part -------------- An HTML attachment was scrubbed... URL: