From announce at cs.ucy.ac.cy Sun Apr 1 13:05:04 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 1 Apr 2018 14:05:04 +0300 Subject: [fg-arc] The 6th International Conference on Enterprise Systems (ES 2018): Third Call for Papers Message-ID: *** THIRD CALL FOR PAPERS *** The 6th International Conference on Enterprise Systems (ES 2018) St. Raphael Resort, Limassol, Cyprus, 1-2 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMJMTY5CUxpc3RzCTE2NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018 WELCOME Welcome to the 6th International Conference on Enterprise Systems. Enterprise Systems (ES), also referred to as Enterprise Information Systems, has become increasingly popular over the last 20 years because it integrates and extends business processes across the boundaries of business functions and corporate walls, as well as country border lines. The International Conference on Enterprise Systems (ES) has been held every year since 2013. The sixth in the series will be held at St. Raphael Resort, Limassol, Cyprus, 8-9 October, 2018. The conference is hosted by the Department of Computer Science, University of Cyprus. This conference series is focusing on both the technical and application aspects of enterprise systems, the complex and cross-disciplinary problems of enterprise integration, and the new technological frontiers such as Industrial Integration, Industrial Information Integration, and Industry 4.0. The objectives of the conference are to provide high quality research and professional interactions for the advancement of science and technology. The main features of the conference include Keynote Speeches, Regular and Special Sessions. It has been highlighted by the IEEE Systems, Man, and Cybernetics Society: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMJMTY5CUxpc3RzCTE2NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fieeesmc.org%2F . SCOPE We welcome original and survey articles about the latest advances of technology. The final results can be state-of-the-art, requirements, fundamental theories, models, frameworks, algorithms, methodologies, platforms, protocols, prototypes, testbeds, field trials, case studies/stories, field experiences, standardization efforts, regulatory activities, education and training innovations, etc. The application areas include aeronautics and astronautics, agriculture, automotive, building, construction, energy, finance, healthcare, logistics, manufacturing, process industry, power, transportation, etc. TOPICS The topics of interest include but are not limited to: · Enterprise Systems for Industry 4.0 · Cyber Physical Systems for Industry 4.0 · Internet of Things for Industry 4.0 · Big Data for Industry 4.0 · Security and Privacy Protection for Industry 4.0 · System Engineering and Human Factors for Industry 4.0 · IoT-enabled Smart Manufacturing A full list of subtopics for each one of the above topics can be found on the conference web site. SPECIAL SESSIONS The goal of Special Sessions is to provide a focused discussion of new or innovative topics. Special Session organizers consist of at least 5 papers. Please download the template of Special Sessions and submit it to the Special Session Chair (relevant information is available on conference web site). All Special Session papers will be reviewed with the same criteria as Regular Session papers. PAPER SUBMISSION The submitted paper should adhere to the double-blind review policy. All papers will be double-blind reviewed by the Program Committee on the basis of technical quality, relevance, originality, significance, and clarity. All paper submissions will be handled electronically. Papers that do not comply with the Submission Guidelines will be rejected without review. Paper types: · Full papers present final result. They must not exceed 8 pages. · Short papers can contain preliminary results. They must not exceed 6 pages. · Work-in-progress papers to present valuable and latest progresses of ongoing projects: 4 pages. Note, all manuscripts shall be written in English, using the IEEE conference template (double column, size 10). Templates can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMJMTY5CUxpc3RzCTE2NgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Please use the following submission link for Easy Chair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMJMTY5CUxpc3RzCTE2NgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Des20180 . PUBLICATION AND SPECIAL ISSUES Accepted papers will be submitted for inclusion into the IEEE Xplore Database which is indexed by EI. Furthermore, selected papers will be invited for a special issue by the Journal of Industrial Integration and Management, World Scientific, with theme "Next-Generation Enterprise Systems in the Industrial Integration Era". More information is available on the conference web site. IMPORTANT DATES · Regular Paper Submissions (al types) due: 14th May 2018 · Notification of Acceptance/Rejection: 23rd July 2018 · Camera-Ready Versions of Accepted Papers: 13th August 2018 · Author Registration: 13th August 2018 · Early Non-Author Registration: 10th September 2018 · Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Honorary General Chairs · Aurona Gerber, South Africa, IEEE SMC EAE TC Chair · Alta Van der Merwe, South Africa, IEEE SMC EAE TC Chair · Li Da Xu, USA, IEEE SMC EIS TC Co-Chair Program Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs · Ling Xia Li, Old Dominion University, USA · Wattana Golf Viriyasitavat, Chulalongkorn University, Thailand · Yale Yu, Infosys Australia & New Zealand · Chris Zhang, University of Saskatchewan, Canada · Zhuo Zou, Fudan University, China Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMJMTY5CUxpc3RzCTE2NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018/pages/pc.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Apr 2 12:01:02 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 02 Apr 2018 12:01:02 +0200 Subject: [fg-arc] DeepLearn 2018: early registration April 7 Message-ID: <545102060a010b0500505705060b5a00575702055753045700510c055055050200590104515f075752505805045707@grlmc_ip-zone_com-6> DeepLearn 2018: early registration April 7*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2018   Genova, Italy   July 23-27, 2018   Organized by: University of Genova IRDTA – Brussels/London   http://grammars.grlmc.com/DeepLearn2018/   ***************************************************************   --- Early registration deadline: April 7, 2018 ---   ***************************************************************   SCOPE:   DeepLearn 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 six-hour courses, and 1 round table, 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, DeepLearn 2018 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:   DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be:   Porto Antico di Genova – Centro Congressi Magazzini del Cotone – Module 10 16128 Genova, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications   Joachim M. Buhmann (Swiss Federal Institute of Technology Zurich), [introductory/advanced] Model Selection by Algorithm Validation   Li Deng (Citadel), tba   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale   Xiaodong He (Microsoft Research), [intermediate/advanced] Deep Learning for Natural Language Processing and Language-Vision Multimodal Intelligence   Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology   Sun-Yuan Kung (Princeton University), [introductory] Systematic (Analytical and Empirical) Optimization/Generalization of  Deep Learning Networks   Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers   Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [introductory/advanced] Cognitive Architectures for Object Recognition in Video   Björn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis   Michèle Sebag (French National Center for Scientific Research, Gif-sur-Yvette), [intermediate] Representation Learning, Domain Adaptation and Generative Models with Deep Learning   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines   Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis   Gökhan Tür (Google Research), [intermediate/advanced] Deep Learning in Conversational AI   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] A Statistical Machine Learning Perspective of Deep Learning: Algorithm, Theory, Scalable Computing   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Yudong Zhang (Nanjing Normal University), [introductory/intermediate] Convolutional Neural Network and Its Variants   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 July 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018.   ORGANIZING COMMITTEE:   Francesco Masulli (Genova, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2018/registration.php   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 can be found at   http://www.deeplearn-hotels.promoest.com/hp.aspx?s=0   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:   Università degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From slucas at dsic.upv.es Tue Apr 3 09:02:38 2018 From: slucas at dsic.upv.es (Salvador Lucas) Date: Tue, 3 Apr 2018 09:02:38 +0200 Subject: [fg-arc] WST 2018 - 2nd Call for Papers (submission: April 15, 2018) Message-ID: ==========================================================================                           WST 2018 - Call for Papers                    16th International Workshop on Termination                     July 18-19, 2017, Oxford, United Kingdom                           http://wst2018.webs.upv.es/ ========================================================================== The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The workshop is held as part of the 2018 Federated Logic Conference (FLoC 2018)           http://www.floc2018.org/ IMPORTANT DATES:  * submission deadline:  April 15, 2018  * notification:         May 15, 2018  * final version due:    May 31, 2018  * workshop:             July 18-19, 2018 TOPICS: The 16th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to):  * abstraction methods in termination analysis  * certification of termination and complexity proofs  * challenging termination problems  * comparison and classification of termination methods  * complexity analysis in any domain  * implementation of termination methods  * non-termination analysis and loop detection  * normalization and infinitary normalization  * operational termination of logic-based systems  * ordinal notation and subrecursive hierarchies  * SAT, SMT, and constraint solving for (non-)termination analysis  * scalability and modularity of termination methods  * termination analysis in any domain (lambda calculus, declarative    programming, rewriting, transition systems, etc.)  * well-founded relations and well-quasi-orders COMPETITION: Since 2003, the catalytic effect of WST to stimulate new research on termination has been enhanced by the celebration of the Termination Competition and its continuously developing problem databases containing thousands of programs as challenges for termination analysis in different categories, see    http://termination-portal.org/wiki/Termination_Competition In 2018, the Termination Competition will run in parallel with FLoC 2018. More details will be provided in a dedicated announcement on the competition. PROGRAM COMMITTEE:     Cristina Borralleras - U. de Vic     Ugo Dal Lago - U. degli Studi di Bologna     Carsten Fuhs - Birkbeck, U. of London     Samir Genaim - U. Complutense de Madrid     Juergen Giesl - RWTH Aachen     Raul Gutiérrez - U. Politecnica de València     Keiichirou Kusakari - Gifu University     Salvador Lucas (chair) - U. Politecnica de Valencia     Fred Mesnard - U. de La Reunion     Aart Middeldorp - U. of Innsbruck     Albert Rubio - U. Politecnica de Catalunya     Rene Thiemann - U. of Innsbruck     Caterina Urban - ETH Zürich INVITED SPEAKERS:     tba SUBMISSION: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page:     https://easychair.org/conferences/?conf=wst2018 Please, use LaTeX and the LIPIcs style file     http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. From jung.juergen at fb2.fra-uas.de Thu Apr 5 19:11:23 2018 From: jung.juergen at fb2.fra-uas.de (=?iso-8859-1?Q?J=FCrgen_Jung?=) Date: Thu, 5 Apr 2018 19:11:23 +0200 Subject: [fg-arc] =?iso-8859-1?q?CfP=3A_IEEE_CBI_2018=2C_Vienna=2C_AT=2C_?= =?iso-8859-1?q?July_11-14=2C_2018?= Message-ID: <000b01d3cd01$1fda7bf0$5f8f73d0$@fb2.fra-uas.de> ---------------------------------------------------------------------------- ---------------- 20th IEEE International Conference on Business Informatics (IEEE CBI 2018) July 11–14, 2018, Vienna, Austria https://cbi2018.big.tuwien.ac.at http://www.cbi-series.org ---------------------------------------------------------------------------- ------------------ The IEEE Conference Series on Business Informatics is the leading international forum for state-of-the-art research in Business Informatics. The 20th anniversary edition, IEEE CBI 2018, held in beautiful and summery Vienna, calls for submissions in the multidisciplinary field of Business Informatics, and welcomes a multitude of theoretical and practical perspectives and mind sets on today’s challenges of the digital transformation. Meet in Vienna, enjoy an open, friendly and stimulating atmosphere of discussion and knowledge sharing, discuss your research with peers, and take momentum back home for future work. The IEEE CBI series encourages a broad understanding of Business Informatics research, and intends to further its many different facets, theoretical foundations and experiential body of knowledge. In doing so, the CBI series has proven to be a fertile ground for research with high impact, and a hub for multidisciplinary research with contributions from Management Science, Organisation Science, Economics, Information Systems, Computer Science, and Informatics. In line with this,  the CBI series aims to provide a forum for researchers and practitioners from various fields and backgrounds that contribute to the construction, use and maintenance of information systems and their organisational use contexts. A dedicated goal of the CBI series of conferences is to bring together researchers from different fields and disciplines to stimulate discussion, synergy and collaboration. Accordingly, CBI conferences use a format that enables in depth discussions among researchers during the conference. The benefits of such a cross-disciplinary conception are contrasted by a challenge: Authors who submit a paper take the risk to be assessed by standards that are different from those they are used to in their own research communities. The conference organisation accounts for this challenge by involving renowned  track chairs and programme committee members from different fields and disciplines. List of Tracks =========== • Enterprise Modelling, Engineering and Architecture • Business Process Management • Information Systems Engineering • Recommender Systems and Information Retrieval • Information Management • Business Analytics and Business Data Engineering • Industry 4.0 (Industry Applications) • Government 4.0 (E-Government) • Business Innovation • General Topics Important Dates ============= • Mandatory abstract submission (new): April 9, 2018 • Full paper submission (extended): April 15, 2018 • Notification of paper acceptance: May 15, 2018 • Revised camera-ready version: May 29, 2018 Accepted papers will be published as IEEE proceedings and submitted for integration into the IEEE Digital Library. Selected papers will be invited to submit an extended version to a special issue of the EMISA journal (subject to separate review). Further details on individual tracks as well as submission guidelines can be found on the conference web site: https://cbi2018.big.tuwien.ac.at From gvidal at dsic.upv.es Wed Apr 4 09:44:23 2018 From: gvidal at dsic.upv.es (German Vidal) Date: Wed, 4 Apr 2018 09:44:23 +0200 Subject: [fg-arc] Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018) Message-ID: Final Call for Papers: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis ---------------------------------------------------------------------- (apologies for multiple copies) 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ICLP at FLoC 2018 July 13, 2018 - Oxford, UK https://www.sci.unich.it/hcvs18/ Invited speakers: Pierre Ganty (IMDEA Software Institute) Hiroshi Unno (University of Tsukuba) Submission deadlines: - Paper submission: 15 April 2018 - Paper notification: 15 May 2018 - Camera-ready: 25 May 2018 - Workshop: 13 July 2018 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows four previous meetings: HCVS 2017 in Gothenburg, Sweden (w/CADE), HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: - Elvira Albert (Complutense University of Madrid) - Maria Alpuente (Universitat Politecnica de Valencia) - Nikolaj Bjorner (Microsoft Research) - Giorgio Delzanno (Universita degli Studi di Genova) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University and IMDEA Software Institute) - Pierre-Loic Garoche (ONERA) - Arie Gurfinkel (University of Waterloo) - Temesghen Kahsai (Amazon) -chair - Ekaterina Komendantskaya (Heriot-Watt University) - David Monniaux (CNRS/Verimag) - Jorge A. Navas (SRI International) - Carlos Olarte (Universidade Federal do Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://www.easychair.org/conferences/?conf=hcvs2018 ---------------------------------------------------------------------- From Klaus.Havelund at jpl.nasa.gov Thu Apr 5 17:16:24 2018 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Thu, 5 Apr 2018 15:16:24 +0000 Subject: [fg-arc] [fm-announcements] RV 2018 Call for Papers Message-ID: <878E410B-8040-443E-A718-F583FBB69B54@jpl.nasa.gov> **************************************************************************** RV 2018 Call for Papers The 18th International Conference on Runtime Verification November 10-13, 2018, Limassol, Cyprus https://rv2018.isp.uni-luebeck.de rv18(at)easychair(dot)org **************************************************************************** Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: * specification languages * monitor construction techniques * program instrumentation * logging, recording, and replay * combination of static and dynamic analysis * specification mining and machine learning over runtime traces * monitoring techniques for concurrent and distributed systems * runtime checking of privacy and security policies * statistical model checking * metrics and statistical information gathering * program/system execution visualization * fault localization, containment, recovery and repair * dynamic type checking Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2018 will be held November 10-13 in Limassol, Cyprus. RV 2018 will feature a tutorial day (November 10), and three conference days (November 11-13). IMPORTANT DATES Papers as well as tutorial proposals will follow the following timeline (Anywhere on Earth): * Abstract deadline: June 18, 2018 * Paper deadline: June 25, 2018 * Paper notification: September 10, 2018 * Camera-ready deadline: September 21, 2018 * Conference: November 10-13, 2018 GENERAL INFORMATION ON SUBMISSIONS All accepted papers (including short papers) will appear in the conference proceedings in an LNCS volume. More precisely, the proceedings will appear within the formal methods subline of LNCS. Submitted papers must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv18 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper must attend RV 2018 for presentation. PAPER SUBMISSIONS There are two categories of papers which can be submitted: regular or short papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. * Regular Papers (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. * Short Papers (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. The Program Committee of RV 2018 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. RELATED EVENTS The RV conference also includes an RV tool contest as well as an exhibition of industrial-strength runtime verification tools and approaches. Separate calls for contribution to these events will be issued soon. COMMITTEES General Chair * Saddek Bensalem, VERIMAG (University of Grenoble Alpes), France Program Chairs * Christian Colombo, University of Malta, Malta * Martin Leucker, University of Lübeck, Germany Finance Chair * Violet Ka I Pun, University of Oslo, Norway Publicity Chair * Cyrille Artho, KTH Royal Institute of Technology, Sweden Local Organisation Chairs * Anna Philippou, University of Cyprus, Cyprus * Panagiotis Kouvaros, University of Cyprus, Cyprus Program Committee * Wolfgang Ahrendt, Chalmers University of Technology, Sweden * Howard Barringer, University of Manchester, United Kingdom * Ezio Bartocci, Vienna University of Technology, Austria * Andreas Bauer, KUKA Systems, Germany * Eric Bodden, Paderborn University, Germany * Borzoo Bonakdarpour, McMaster University, Canada * Ylies Falcone, University of Grenoble Alpes, France * Lu Feng, University of Virginia, USA * Adrian Francalanza, University of Malta * Jean Goubault-Larrecq, University of Paris Saclay * Radu Grosu, Vienna University of Technology, Austria * Sylvain Hallé, Université du Québec, Canada * Klaus Havelund, NASA, USA * Marieke Huisman, University of Twente, Netherlands * Limin Jia, Carnegie Mellon University, USA * Felix Klaedtke, NEC Laboratories Europe, Germany * Shuvendu Lahiri, Microsoft, USA * Kim G. Larsen, Aalborg University, Denmark * Insup Lee, University of Pennsylvania, USA * Axel Legay, Inria, France * David Lo, Singapore Management University, Singapore * Leonardo Mariani, University of Milano-Bicocca, Italy * Ayoub Nouri, University of Grenoble Alpes, France * Gordon Pace, University of Malta, Malta * Doron Peled, Bar Ilan University, Israel * Jorge A. Perez, University of Groningen, Netherlands * Violet Ka I Pun, University of Oslo, Norway * Giles Reger, University of Manchester, United Kingdom * Grigore Rosu, University of Illinois, USA * Cesar Sanchez, IMDEA Software Institute, Spain * Gerardo Schneider, University of Gothenburg, Sweden * Nastaran Shafiei, NASA, USA * Rahul Sharma, Stanford University, USA * Shin’Ichi Shiraishi, Toyota, USA * Julien Signoles, CEA, France * Scott Smolka, Stony Brook University, USA * Oleg Sokolsky, University of Pennsylvania, USA * Bernhard Steffen, University of Applied Science Dortmund, Germany * Scott Stoller, Stony Brook University, USA * Volker Stolz, Western Norway Univ. of Applied Sciences, Norway * Neil Walkinshaw, University of Leicester, UK * Chao Wang, University of Southern California, USA * Eugen Zalinescu, TUM, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From ruipereira at di.uminho.pt Fri Apr 6 11:23:15 2018 From: ruipereira at di.uminho.pt (Rui Pereira) Date: Fri, 6 Apr 2018 10:23:15 +0100 Subject: [fg-arc] EXTENDED DEADLINE for VL/HCC 2018 - IEEE Symposium on Visual Languages and Human-Centric Computing Message-ID: We have extended the abstract and paper deadlines by 2 weeks. The new dates are: - Abstract Submission: 20 April 2018 - Paper Submission: 27 April 2018 Please consider using these two extra weeks to submit a (new) paper to VL/HCC 2018! Please find below the full call for papers. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2018) 1-4 October, 2018 - Lisbon, Portugal http://vlhcc.org IMPORTANT DATES --------------- - Abstract Submission: 20 April 2018 - Paper Submission: 27 April 2018 - Review Notifications: 15 June 2018 - Rebuttal Deadline: 22 June 2018 - Paper Notification: 6 July 2018 - Camera Ready copy: 27 July 2018 - Conference: 1–4 October 2018 SCOPE AND TOPICS ---------------- We solicit original, unpublished research papers on computing technologies and visual languages for modelling, programming, communicating, and reasoning, which are easier to learn, use or understand by humans than the current state-of-the-art. Papers should focus on efforts to design, formalize, implement, or evaluate those technologies and languages. This includes tools and visual languages intended for general audiences (e.g. professional or novice programmers, or the public) or domain-specific audiences (e.g. people working in business administration, production environments, healthcare, urban design or scientific domains). This year's special topic is "Building Human-Adaptive Socio-Technical Systems". Systems in which humans are both developers of and intrinsic parts of the system are becoming more common. These Human-Adaptive Socio-Technical Systems adapt to changes in context and the behavior of human users. Example systems include situation-aware human-assistance systems and learning-based cooperative control systems in a variety of application areas including Internet-of-Things applications and Cyber-physical social systems. These kinds of systems require human-centered concepts, languages and methods in two separate contexts: to specify system behavior and to assist in modeling human behavior. Areas of interest include, but are not limited to: - Novel visual languages - Design, evaluation, and theory of visual languages - End-user development, adaptation, and programming - Domain-specific languages - Visual modeling of socio-technical systems - Visual modeling of human behavior - Visual modeling of digital twins of humans - Interdisciplinary approaches (e.g. psychology, sociology) to human aspects - Human aspects and psychology of software development and language design - New representations and user interfaces for explaining system’s behavior - Computational thinking and computer science education - Problem solving through programming and play - Debugging and program understanding - Crowd Sourcing design and development work - Software visualization - Technologies and infrastructures for end user development - Technology acceptance and adoption studies - Evaluation of end user development technologies PAPER SUBMISSIONS ----------------- We invite two kinds of papers: - full-length research papers, up to 8 pages - plus unlimited additional pages containing only references - short research papers, up to 4 pages - plus unlimited additional pages containing only references Supplemental Materials: In addition to papers, authors may optionally submit supplemental materials that support their papers. Examples of supplemental materials include short digital videos, copies of study instruments, or experimental methodologies. Supplementary material should be briefly described in the paper body. However, since not everyone who reviews your paper may review submitted supplemental materials, your submission must stand on its own without the supplemental materials. The supplemental materials will be distributed at the conference and will appear in the IEEE Xplore Digital Library. Videos must be at most 3 minutes in length, at most 100 MB in size, and prepared as MP4 files using the H.264 codec. All supplemental materials must adhere to the IEEE preparation instructions: https://www.ieee.org/documents/MMdocumentation.pdf. Papers and supplemental materials must be submitted using the EasyChair system: https://easychair.org/conferences/?conf=vlhcc2018 * Please note that we will follow a double-blind reviewing mechanism for 2018. * To facilitate assigning papers to reviewers, we require paper abstracts to be submitted via EasyChair at least one week before the paper submission deadline. The abstract must be no longer than 150 words and must be kept up-to-date such that it exactly matches the abstract in the submitted paper. All accepted papers, whether full or short, should be complete, self-contained, archival contributions. Contributions from full papers are more extensive than those from short papers. Work-in-progress, which has not yet yielded a contribution, should be submitted to the Showpieces category. All submissions will be reviewed by members of the Program Committee. Submission and reviews for the technical program are managed with EasyChair. At least one author of each accepted paper is required to register for VL/HCC 2018 and present the paper at the conference. IEEE reserves the right to exclude a paper from distribution after the conference, including IEEEXplore® Digital Library, if the paper is not presented by the author at the conference. Accepted papers will be distributed at the conference and will be included in the IEEE Xplore Digital Library (http://ieeexplore.ieee.org/). The proceedings are an official electronic publication of the IEEE in Computer Science, with an ISBN number. Be sure to use the current IEEE conference paper format: http://www.ieee.org/conferences_events/conferences/publishing/templates.html. DOUBLE BLIND REVIEWING ---------------------- We follow a light-weight double-blind reviewing process. Thus, submitted papers must not reveal the identities of authors. However, the author names will be known to the program committee in the rebuttal phase. Both authors and reviewers are expected to make every effort to honor the double-blind reviewing process. In case of questions, please contact the Program Chairs. Authors should ensure that the submission can be evaluated without it being obvious who wrote the paper. This means leaving author names off the paper and using terms like “previous research” rather than “our previous research” when describing background. However, do not hide previous work – papers must still reference all relevant research, including that by the current authors, so reviewers can evaluate novelty. It is important that authors specify all conflicts of interest with potential reviewers during the submission phase. Reviewers should not undertake any investigation that might lead to the revealing of authors identity. If identities are inadvertently revealed, please contact the Program Chairs. The Program Chairs will check all submissions for obvious signs of lack of anonymity and may ask authors to make changes and resubmit the paper within four days of the submission deadline. EVALUATION AND JUSTIFICATION ---------------------------- Papers are expected to support their claims with appropriate evidence. For example, a paper that claims to improve programmer productivity is expected to demonstrate improved productivity; a paper that claims to be easier to use should demonstrate increased ease of use. However, not all claims necessarily need to be supported with empirical evidence or studies with people. For example, a paper that claims to make something feasible that was clearly infeasible might substantiate its claim through the existence of a functioning prototype. Moreover, there are many alternatives to empirical evidence that may be appropriate for justifying claims, including analytical methods, formal arguments or case studies. Given this criterion, we encourage potential authors to think carefully about what claims their submission makes and what evidence would adequately support these claims. In addition, we expect short papers to have less comprehensive evaluation than long papers. REVIEWING PROCESS ----------------- Papers will be reviewed as follows: - Initial review period: at least three members of the Program Committee or external reviewers will review each paper. At the end of this period, these initial reviews will be released to the authors. - Author response period: authors will have an opportunity to submit a response based on their initial reviews. Responses should focus on answering reviewers' questions, addressing reviewers' concerns, and clarifying any factual misunderstandings. At this point, the identity of authors will be revealed to the program committee. - Final review period: taking the author response into account, the original reviewers will revise their reviews as they deem appropriate, and the Program Committee will reach a final decision to accept or reject the submitted work. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sabel at ki.informatik.uni-frankfurt.de Thu Apr 5 09:03:59 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Thu, 5 Apr 2018 09:03:59 +0200 Subject: [fg-arc] PPDP 2018: Second Call for Papers Message-ID: <405715b0-4b49-03be-4317-a3c15886a66b@ki.informatik.uni-frankfurt.de> ====================================================================== PPDP 2018: Second Call for Papers ====================================================================== 20th International Symposium on Principles and Practice of Declarative Programming Frankfurt am Main, Germany, 3-5 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html (co-located with LOPSTR 2018 and WFLP 2018) http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Invited Talks (NEW!) ==================== - Philippa Gardner, Imperial College: Testing and Verification for JavaScript (joint with LOPSTR) - Jorge Navas, SRI International: Constrained Horn Clauses for Verification (joint with LOPSTR) - Chung-Chieh Shan, University of Indiana: Calculating Distributions Scope ===== The PPDP 2018 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will be co-located with the 28th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Submission Categories ===================== Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: insights gained from real-world projects using declarative programming comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum curricular issues encountered when using declarative programming in education real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general novel use of declarative programming in the classroom programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study any material beyond the respective page limit. Format of a submission ====================== For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.48. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM'€™s TeX support team at Aptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ============================ At least one author of each accepted submission will be expected to attend and present the work at the conference. The pc chair may retract a paper that is not presented. The pc chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates =============== - 23.04.2018 paper submission - 14.06.2018 rebuttal period (48 hours) - 25.06.2018 notification - 16.07.2018 final papers - 03.09.2018 conference starts From soldani at di.unipi.it Mon Apr 9 09:36:36 2018 From: soldani at di.unipi.it (Jacopo Soldani) Date: Mon, 9 Apr 2018 09:36:36 +0200 Subject: [fg-arc] FOCLASA 2018 - 2nd call for papers Message-ID: <20180409073638.582A641AE6@smtp.unipi.it> 16th International Workshop on Foundations of Coordination Languages and Self-adaptive systems (FOCLASA 2018) Toulouse, France / June 26, 2018 http://foclasa.lcc.uma.es/ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by STAF * Publication of extended versions of selected work is planned in a special issue of an international journal as in previous issues of FOCLASA IMPORTANT DATES * Submission of abstract: April 13, 2018 * Submission of papers: April 20, 2018 * Notification of acceptance: May 20, 2018 * Final version: June 10, 2018 * Workshop: June 26, 2018 WORKSHOP GOALS Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone services. Service coordination and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Coordination languages and formal approaches to modelling and reasoning about self-adaptive behaviour help to simplify the development of complex distributed service-based systems, enable functional correctness proofs and improve 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 solutions in the context of coordination languages and self-adaptive systems. Topics of interest include (but are not limited to): * Theoretical models and frameworks for component and service coordination, service composition, service adaptation and concurrent system modeling. * Applications and usability studies for the aforementioned theoretical models, interaction and coordination challenges in various application domains. * Languages and specification protocols for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * "Software as a service" models (e.g., cloud computing) and dynamic software architectures, such as self-adaptive and self-organizing systems. * Tools and environments for the development of concurrent and customizable self-monitoring, self-adaptive and self-organizing applications. * Algorithms, mathematical models and realization frameworks for quality-of-service observation, storage, history-based analysis in self-adaptive systems (queuing models, load balancing, analysis of fault-tolerance, machine learning systems). Practice, experience and methodologies from the following areas are solicited as well: * Business process modelling * Blockchains * Cloud/fog/edge computing * Component-based systems * Large-scale distributed systems * (Micro)service-based systems * Multi-agent systems * Peer-to-peer systems * 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 issues of FOCLASA. SUBMISSION INSTRUCTIONS Papers must be submitted electronically in PostScript or PDF by using a two-phase online submission process. Registration of information and and abstract (max. 250 words) of papers must be completed before April 13, 2018. Final submission of papers is due no later than April 20, 2018. All submissions will be handled through the EasyChair conference management system, accessible from the conference web site: http://pages.di.unipi.it/foclasa Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style. Short papers (6 pages long) describing preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review. Papers should be submitted as PDF or PS via EasyChair. PROGRAM COMMITTEE Co-Chairs Jean-Marie Jacquet, University of Namur, Belgium Jacopo Soldani, University of Pisa, Italy Members Gul Agha, University of Illinois at Urbana-Champaign, USA Pedro Alvarez, Universidad de Zaragoza, Spain Farhad Arbab, CWI, The Netherlands Simon Bliudze, INRIA Lille - Nord Europe, France Radu Calinescu, University of York, UK Javier Camara, Carnegie Mellon University, USA Flavio De Paoli, University of Milano, Italy Francisco J. Duran, Universidad de Malaga, Spain Erik de Vink, Eindhoven University of Technology, The Netherlands Schahram Dustdar, TU Wien, Austria Letterio Galletta, IMT Lucca, Italy Eva Kuhn, Vienna University of Technology, Austria Alberto Lluch Lafuente, Technical University of Denmark Sun Meng, Peking University, China Hernan C. Melgratti, University of Buenos Aires, Argentina Mohammad Mousavi, Halmstad University, Sweden Pascal Poizat, Universite Paris Ouest, France Jose Proenca, INESC TEC & Universidade do Minho, Portugal Gwen Salaun, University of Grenoble, France Michael Sheng, University of Adelaide, Australia Marjan Sirjani, Reykjavik University, Iceland Carolyn Talcott, SRI International, USA Massimo Tivoli, University of L'Aquila, Italy Emilio Tuosto, University of Leicester, UK Lina Ye, CentraleSupelec, France Gianluigi Zavattaro, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Wed Apr 11 09:14:15 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 11 Apr 2018 09:14:15 +0200 Subject: [fg-arc] =?utf-8?q?EKAW_2018_=3A_Second_call_for_research=2C_in-?= =?utf-8?q?use_and_position_paper?= Message-ID: <190d-5acdb600-19-54e3b000@241277230> ** Second call for research, in-use, and position papers ** The 21th International Conference on Knowledge Engineering and Knowledge Management concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on. The special theme of EKAW 2018 is "Knowledge and AI". We are indeed calling for papers that describe algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery. EKAW 2018 will put a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI. ** Proceedings ** The proceedings of the research track will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. The authors of selected best papers will be invited to submit an extended version of their manuscript to a special issue of the Semantic Web Journal by IOS Press. ** Best paper award ** Research and in-use papers are eligible for the Bob Wielinga Best Paper Award sponsored by Springer that will award a prize of 1,000 euros to the best paper of the main track. ** Topics of interest ** EKAW 2018 welcomes papers dealing with theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management. In particular, but not exclusively, we solicit papers about methods, tools and methodologies on the following topics: * AI and Knowledge * - AI-based knowledge engineering and management - Natural Language Processing and knowledge discovery/acquisition - Knowledge acquisition for AI - Intelligent knowledge evolution, maintenance, and repair - Managing compliance between knowledge and data - Managing Multi-media knowledge - Machine Learning and the knowledge lifecycle - Combining learning knowledge from data and from humans - Modeling learned and conceptual knowledge together - Lessons learned from case studies - Adoption of techniques that exploit knowledge and AI - Evaluation of techniques that exploit knowledge and AI * Knowledge Management * - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies - Corporate memories for knowledge management - Knowledge evolution, maintenance and preservation - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g. games with a purpose) * Knowledge Engineering and Acquisition * - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localisation - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies, etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge * Social and Cognitive Aspects of Knowledge Representation * - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management * Applications in specific domains such as * - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - ICT4D (Knowledge in the developing world) ** Type of papers ** We will accept different types of papers. The papers will all have the same status and follow the same formatting guidelines in the proceedings but will receive special treatment during the reviewing phase. In particular, each paper type will be subject to its own evaluation criteria. The Programme Committee will also make sure that there is a reasonable balance of the paper types accepted. At submission time the paper has to be clearly identified as belonging to one of the following categories. Research papers: These are "standard" papers presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as a proof-of-concept. The main evaluation criteria here will be originality, technical soundness and validation. In-use papers: Here we are expecting papers describing applications of knowledge management and engineering in real environments. Applications need to address a sufficiently interesting and challenging problem on real-world datasets, involving many users, etc. The focus is less on the originality of the approach and more on presenting systems that solve a significant problem while addressing the particular challenges that come with the use of real-world data. Evaluations are essential for this type of paper and should involve a representative subset of the actual users of the system. Position papers: We invite researchers to also publish position papers, which describe novel and innovative ideas. Position papers may also comprise an analysis of currently unsolved problems, or review these problems from a new perspective, in order contribute to a better understanding of these problems in the research community. We expect that such papers will guide future research by highlighting critical assumptions, motivating the difficulty of a certain problem or explaining why current techniques are not sufficient, possibly corroborated by quantitative and qualitative arguments. ** Important dates ** Abstract deadline: July 2nd, 2018 Submission deadline: July 9th, 2018 Notification of acceptance: August 31st, 2018 Camera-ready paper: September 10th, 2018 Conference days: November 13th-16th, 2018 All submission deadlines are 23:59:59 Hawaii Time. ** Submissions ** Pre-submission of abstracts is a strict requirement. All papers and abstracts have to be submitted electronically via EasyChair. All submissions for research, in-use, and position papers must be in English, and no longer than 15 pages. Papers that exceed this limit will be rejected without review. Submissions must be in PDF, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer's Author Instructions. ** Organization ** General chair Amedeo Napoli (CNRS, France) Yannick Toussaint (Université de Lorraine, France) Program chairs Catherine Faron Zucker (Université Nice Sophia Antipolis, France) Chiara Ghidini (Fondazione Bruno Kessler, Italy) From jpg at ruc.dk Fri Apr 6 16:43:41 2018 From: jpg at ruc.dk (John Patrick Gallagher) Date: Fri, 6 Apr 2018 14:43:41 +0000 Subject: [fg-arc] CALL FOR PARTICIPATION. FLOPS 2018: 14th International Symposium on Functional and Logic Programming Message-ID: <3D315812-E820-4FBF-9ACA-D94AC92B61F4@ruc.dk> ======================= Call For Participation ======================= FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 9-11 May, 2018, Nagoya, Japan Registration is now open for FLOPS 2018. http://www.sqlab.jp/FLOPS2018/#registration Deadline for early registration is 20 April, 2018. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. The list of accepted papers is at http://www.sqlab.jp/FLOPS2018/accepted.html Invited Speakers William E. Byrd (University of Alabama at Birmingham, USA) Zhenjiang Hu (National Institute of Informatics, SOKENDAI, Japan) Cédric Fournet (Microsoft) Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Søndergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard University of Southern Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (PC co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politécnica de Valéncia, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (PC co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (PC co-chair) John Gallagher Roskilde University and IMDEA Software Institute (PC co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair) From haowu at cs.nuim.ie Mon Apr 9 09:56:32 2018 From: haowu at cs.nuim.ie (Hao Wu) Date: Mon, 9 Apr 2018 08:56:32 +0100 Subject: [fg-arc] iFM 2081 Call For Papers Message-ID: <9B4B355E-367A-44B9-AC7C-5BB6FCD54D65@cs.nuim.ie> =========================================================== CALL FOR PAPERS iFM 2018 14th International Conference on integrated Formal Methods September 5-7, 2018, Maynooth, Ireland https://ifm2018.cs.nuim.ie/ =========================================================== === Important dates === Abstract submission: Monday, 16 April 2018 Paper submission: Friday, 20 April 2018 Notification: Thursday, 14 June 2018 Conference: 5-7 September 2018 == Keynote speakers == - Cristian Cadar, Imperial College London - Ana Cavalcanti, University of York - Viktor Vafeiadis, MPI-SWS == Colocated events == - PhD Symposium - FMICS: International Conference on Formal Methods for Industrial Critical Systems === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis: the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Combining formal methods - Integration of formal methods into software engineering practice - Program verification, model checking, and static analysis - Theorem proving, decision procedures, SAT/SMT solving - Runtime analysis, monitoring, and testing - Program synthesis - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems - Abstraction and refinement - Model learning and inference === Submission guidelines === iFM 2018 solicits high quality papers reporting research results and/or experience reports related to the overall theme of formal method integration. We accept papers in the following categories: - Regular papers (limit 15 pages) on - original scientific research results - tools, their foundation and evaluations - applications of formal methods, including rigourous evaluations - Short papers (limit 8 pages) on - any subject of interest in the area of formal methods that can be described with sufficient detail within the page limit Page limits include bibliography and any appendices. All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submissions should be made using the iFM 2018 Easychair site: https://easychair.org/conferences/?conf=ifm2018 Submissions must be in PDF format, using the Springer LNCS style files. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, to be indicated by the organizers, and present the paper. === Organization === = General chair = Rosemary Monahan, Maynooth University, Ireland = PC chairs = Carlo A. Furia, Chalmers University of Technology, Sweden Kirsten Winter, University of Queensland, Australia = Program committee = Erika Abraham, RWTH Aachen, Germany Bernhard Aichernig, University of Graz, Austria Elvira Albert, Complutense University of Madrid, Spain Domenico Bianculli, University of Luxembourg, Luxembourg Eerke Boiten, De Montfort University, UK Einar Broch Johnsen, University of Oslo, Norway Maria Christakis, MPI-SWS, Germany David Cok, GrammaTech, USA Robert Colvin, University of Queensland, Australia Ferruccio Damiani, University of Turin, Italy Eva Darulova, MPI SWS, Germany Frank de Boer, CWI Amsterdam, Netherlands John Derrick, University of Sheffield, UK Brijesh Dongol, Brunel University, UK Catherine Dubois, ENSIIE, France Diego Garbervetsky, University of Buenos Aires, Argentina Peter Hoefner, Data61, Australia Marieke Huisman, University of Twente, Netherlands Rajeev Joshi, NASA JPL, USA Nikolai Kosmatov, CEA LIST, France Laura Kovács, Vienna University of Technology, Austria Rustan Leino, Amazon, USA Larissa Meinicke, University of Queensland, Australia Dominique Mery, LORIA Nancy, France Toby Murray, University of Melbourne, Australia Luigia Petre, Åbo Akademi University, Finland Ruzica Piskac, Yale University, USA Chris Poskitt, SUTD, Singapore Kostis Sagonas, Uppsala University, Sweden Gerhard Schellhorn, Universitaet Augsburg, Germany Steve Schneider, University of Surrey, UK Gerardo Schneider, University of Gothenburg, Sweden Emil Sekerinski, McMaster University, Canada Martin Steffen, University of Oslo, Norway Helen Treharne, University of Surrey, UK Caterina Urban, ETH Zurich, Switzerland Mark Utting, University of Sunshine Coast, Australia Heike Wehrheim, University of Paderborn, Germany Mitsuharu Yamamoto, Chiba University, Japan Chenyi Zhang, Jinan University, China = Publicity chair = Hao Wu, Maynooth University, Ireland === Conference location === iFM 2018 is organized by Maynooth University and will take place in Maynooth, Ireland. From ijwa at dline.info Mon Apr 9 12:26:10 2018 From: ijwa at dline.info (ijwa at dline.info) Date: Mon, 09 Apr 2018 04:26:10 -0600 Subject: [fg-arc] ICADIWT 2018 In-Reply-To: <9B4B355E-367A-44B9-AC7C-5BB6FCD54D65@cs.nuim.ie> References: <9B4B355E-367A-44B9-AC7C-5BB6FCD54D65@cs.nuim.ie> Message-ID: <114f1cd9a55578ef8700ae290abe8c16@dline.info> CALL FOR PAPERS The Ninth International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2018) September 05-06, 2018 Porto, Portugal http://socio.org.uk/icadiwt-thai/ The Ninth International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2018) is a forum for researchers to present the intensive and innovative research, ideas, developments and applications in the areas of Computer Communications, Communication networks, Communication Software Communication Technologies and Applications, and other related themes. This conference (ICADIWT Edition IX) will include presentations of contributed papers and state-of-the-art lectures by invited keynote speakers. Digital Technologies is embeded in the research activites of a large number of people and it ensures the Ubiquitous reaching of more number of people in the recent years. Research in digital technologies has been carried out in many directions using various resources and tools and on the other side, the application issues are addressed by more volume of researchers not necessarily limited to information and computing technology. Thus the proposed conference series realize its value and potential and manifest the requirements in the form of the international conference. This edition will address the following outlined themes (but not limited to) Internet Communication Internet Technologies Web Applications Internet Software Data Access and Transmission Digital Communication Software Digital Networks Web Communication Interfaces Adaptive Systems Internet of Things Internet of breath Augmented Reality Databases and applications Web Systems Engineering Design Intelligent Agent systems/ Semantic Web Studies Adaptive Web applications and personalization Actuators and sensors Robotics and Machine Vision Smart cities and structures Control Automation Human-machine interfaces Real-time simulation Digital Technologies for Mechanical and other designs Publication and Indexing The accepted full papers will be published in the IOS series (Frontiers in Artificial Intelligence and Applications (FAIA))and submitted for inclusion in many indexes. Accepted full papers will be submitted for indexing to multiple abstract and indexing partners. The papers will be indexed in many databases as given at http://www.frontiersinai.com/?q=indexing The accepted papers will be published as a post-conference publication. During the conference, the pre-conference volume will be distributed. Important Dates Submission of papers- July 01, 2018 Notification- July 20, 2018 Camera ready-August 20, 2018 Registration-August 20, 2018 Conference Dates-September 05-06, 2018 In addition, selected papers after complete modification and revision will be published in the following special issues of journals Journal of Digital Information Management Technologies Computers PROGRAM COMMITTEES Honorary Chair Jolanta Mizera-Pietraszko, (Opole University, Poland) General Chairs Hathairat Ketmaneechairat, King Mongkut’s University of Technology, Thailand Ramiro Smano Robles, Instituto Superior de Engenharia do Porto Rua, Portugal Program Chairs Yao-Liang Chung, National Taiwan Ocean University, Taiwan Ricardo Rodriguez Jorge, (Autonomous University of Ciudad Juarez, Mexico) Submissions at http://www.socio.org.uk/icadiwt/paper-submission/ Contact diwt at dirf.org or icadiwt at socio.org.uk --------------------------------------------------------------- From irdta at irdta.eu Tue Apr 10 02:08:58 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 10 Apr 2018 02:08:58 +0200 Subject: [fg-arc] AlCoB 2018: call for posters Message-ID: <545102060a010b050154560006055a0450510602500504580a575f080454550700520600565f095604500504035652@grlmc_ip-zone_com-6> AlCoB 2018: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 5th International Conference on Algorithms for Computational Biology (AlCoB 2018) invites researchers to submit poster presentations. AlCoB 2018 will be held in Hong Kong on June 25-26, 2018. See  http://grammars.grlmc.com/AlCoB2018/ 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 algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: May 18, 2018 Notification of poster acceptance or rejection: May 25, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2018 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/LNBI proceedings volume of AlCoB 2018. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2016 JCR impact factor: 1.955). REGISTRATION At least one author of each accepted poster must register to the conference by June 11, 2018. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants 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 epontell at cs.nmsu.edu Tue Apr 10 15:12:08 2018 From: epontell at cs.nmsu.edu (epontell) Date: Tue, 10 Apr 2018 07:12:08 -0600 Subject: [fg-arc] CFP ICLP-DC 2018 Message-ID: ICLP-DC 2018 - 14th Doctoral Consortium (DC) on Logic Programming https://www.cs.nmsu.edu/ALP/iclp2018/Proceedings/ICLP_DC.html Call for Applications The 14th Doctoral Consortium (DC) on Logic Programming will be held in conjunction with ICLP 2018 and FLoC 2018. It provides a forum for students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts. Goals The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master’s program and aiming at doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. · provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback, · provide students with relevant information about important issues for doctoral candidates and future academics, · develop a supportive community of scholars and a spirit of collaborative research, and · support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths Applicants are expected to conduct research in areas related to logic and constraint programming. Topics included, but not limited to: · Theoretical Foundations of Logic and Constraint Logic Programming · Sequential and Parallel Implementation Technologies · Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification · Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) · Innovative Applications of Logic Programming Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student’s work. Discussants The DC allows participants to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited talks. Each participant will give a short, critiqued, research presentation. Renowned experts in the field will evaluate submission packages and participate in the DC, providing valuable feedback to DC participants. Important Dates Submission deadline: April 15, 2018 Notification of acceptance: May 15, 2018 Camera-ready due: May 25, 2018 14th ICLP DC : July 18, 2018 Submission Details Research summary Prepare your research summary as a PDF document, using the OpenAccess Series in Informatics (OASIcs) format (template available here: http://www.dagstuhl.de/publikationen/oasics/anleitung-fuer-autoren/ ) and submitted via EasyChair: https://easychair.org/conferences/?conf=iclpdc2018 . The body of the research summary should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include sections like the following: · Introduction and problem description · Background and overview of the existing literature · Goal of the research · Current status of the research · Preliminary results accomplished (if any) · Open issues and expected achievements · Bibliographical references All papers must be written in English and should be between 5 and 10 pages. Accepted DC papers will be published as technical communications (TCs) by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs): http://www.dagstuhl.de/publikationen/oasics/ . Cover Letter Please include the following information in a cover letter: · statement of interest in participating in the DC, · full name of school and department to which you are affiliated, · name(s) of your supervising professor(s), · title of your research work and keywords pertinent to your research, · current stage in your program of study (e.g. Ph.D./MS student, start date), · contact information (full name, address, telephone number, email address), and · the URL of your web page (if any). Letter of Recommendation Include a short letter of recommendation written by your graduate or thesis adviser(s). Please, invite your adviser(s) to give an indication of the current status of your research and of the expected deadline for thesis submission. In addition, your adviser(s) should briefly describe what she/he hopes you would gain from participation in the DC. Review Criteria A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. For all accepted DC papers, the student is required to attend the DC program and give a presentation of 20 minutes followed by discussions. Financial Support The Association for Logic Programming has funds to assist financially disadvantaged participants and students to enable them to attend the conference. Students are invited to submit to the Doctoral Consortium (within the submission deadline) to receive financial assistance. FLoC has some funds to provide travel grants of up to $1000 (USD) for student attendees of FLoC’18. The application deadline is May, 18 2018. Please see FLoC’18 Travel Support for details about how to apply here: http://www.floc2018.org/travel-stipend/ Program Committee Marina De Vos, University of Bath Fabio Fioravanti, University of Chieti-Pescara Martin Gebser, Aalto University Jose F. Morales, IMDEA Software Research Institute Takehide Soh, Information Science and Technology Center, Kobe University Frank D. Valencia LIX, Ecole Polytechnique Program Co-Chairs Neda Saeedloei, Southern Illinois University Carbondale, neda at cs.siu.edu Paul Fodor, Stony Brook University, pfodor at cs.stonybrook.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Wed Apr 11 09:16:45 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 11 Apr 2018 09:16:45 +0200 Subject: [fg-arc] =?utf-8?q?EKAW_2018_=3A_Second_call_for_workshops_ans_t?= =?utf-8?q?utorials?= Message-ID: <5a71-5acdb680-205-347a7c80@198200425> Call for workshops and tutorials In conjunction with EKAW 2018 https://project.inria.fr/ekaw2018/ November 12 - 16 Nancy, France Introduction The International Conference on Knowledge Engineering and Knowledge Management (EKAW) is concerned with all aspects of eliciting, acquiring, modelling and managing knowledge, as well its role in the construction of knowledge-intensive systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, etc. This year, EKAW will pay special attention to topics related to knowledge and artificial intelligence. Besides the regular conference tracks, EKAW will host a number of workshops and tutorials on topics related to the theme of the conference. We hope our workshops to provide an informal setting where participants have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas; and tutorials to enable attendees to fully appreciate current issues, main schools of thought, and possible application areas. Topics of Interest In order to meet these goals, workshop/tutorial proposals should address topics that satisfy the following criteria: the falls in the general scope of EKAW 2018; there is a clear focus on a specific technology, problem or application; there is a sufficiently large community interested in the topic. Submission Guidelines Proposals should be submitted via EasyChair at: https://easychair.org/conferences/?conf=ekaw2018wst Submissions should be a single PDF file of no more than 5 pages, specifying "Workshop Proposal" or "Tutorial Proposal", and should contain the following information. Workshop proposals: Title. Abstract (200 words). Motivation on why the topic is of particular interest at this time and its relation to the main conference topics. Workshop format, discussing the mix of events such as paper presentations, invited talks, panels, and general discussion. Intended audience and expected number of participants. List of (potential) members of the program committee (at least 50% have to be confirmed at the time of the proposal, confirmed participants should be marked specifically). Indication of whether the workshop should be considered for a half-day or full-day. The tentative dates (submission, notification, camera-ready deadline, etc.) Past versions of the workshop, including URLs as well as number of submissions and acceptance rates. Details of the organisers (name, affiliation, email address, homepage) and short CV. We strongly advise having more than one organiser, preferably from different institutions, bringing different perspectives to the workshop topic. We welcome, and will prioritise, workshops with creative structures and organisations that attract various types of contributions and ensure rich interactions. Tutorial proposals: Title. Abstract (200 words). Relation to the conference topics, i.e. why it will be of interest to the conference attendants. If the tutorial, or a very similar tutorial, has been given elsewhere, explanation of the benefit of presenting it again to the EKAW community. Overview of content, description of the aims, presentation style, potential/preferred prerequisite knowledge. Indication on whether the tutorial should be considered for a half-day or full-day. Intended audience and expected number of participants. Audio-visual or technical requirements and any special room requirements (for hands-on sessions, any software needed and download sites must be provided by the tutorial presenters). Details of the presenters (name, affiliation, email address, homepage) and short CV including also their expertise, experiences in teaching and in tutorial presentation. Workshop Organiser Responsibilities The organisers of accepted workshops are expected to: prepare a workshop webpage (linked to the official EKAW website) containing the call for papers and detailed information about the workshop organisation and timelines. be responsible for the workshop publicity. be responsible for their own reviewing process, decide upon the final program content and report the number of submissions and accepted papers to the workshop chair. be responsible for publishing electronic proceedings (e.g. on the CEUR-WS website). ensure workshop participants are informed they have to register to the main conference and the workshop. schedule, attend and coordinate their entire workshop. Tutorial Organisers Responsibilities The proposers of accepted tutorials are expected to prepare a tutorial webpage (linked to the official EKAW website) containing detailed information about the tutorial prepare the tutorial materials publicity distribute materials to participants schedule, attend and coordinate their tutorial. Important Dates Proposals due: 9 May, 2018 Notifications: 23 May 2018 Suggested Timeline for Workshops Workshop website up and calls: 1 June 2018 Deadline to submit Papers to Workshops: 8 September 2018 Acceptance of Papers for Workshops: 1 October 2018 Workshop days: 12 or 13 November 2018 Chairs Manuel Atencia, Université Grenoble Alpes & Inria, France Marieke van Erp, KNAW Humanities Cluster, The Netherlands Contact: ekaw2018wst at easychair.org From hennicke at pst.ifi.lmu.de Wed Apr 11 12:52:01 2018 From: hennicke at pst.ifi.lmu.de (Rolf Hennicker) Date: Wed, 11 Apr 2018 12:52:01 +0200 Subject: [fg-arc] CFP ICLP-DC 2018 In-Reply-To: References: Message-ID: <8ae875cf-6842-4950-710e-00800482ae12@pst.ifi.lmu.de> Please remove me from your mailing lists. Many thanks! Rolf Hennicker Am 10.04.2018 um 15:12 schrieb epontell: > > *ICLP-DC 2018 -  14th Doctoral Consortium (DC) on Logic Programming* > > https://www.cs.nmsu.edu/ALP/iclp2018/Proceedings/ICLP_DC.html > > *Call for Applications* > > The 14th Doctoral Consortium (DC) on Logic Programming will be held in > conjunction with ICLP 2018 and FLoC 2018. It provides a forum for > students working in areas related to logic and constraint programming, > with a particular emphasis to students interested in pursuing a career > in academia. The DC gives students the opportunity to present and > discuss their research and to obtain feedback from peers as well as > world-renowned experts. > > *Goals* > > The DC is designed for students currently enrolled in a Ph.D. program, > though we are also open to exceptions (e.g., students currently in a > Master’s program and aiming at doctoral studies). Students at any > stage in their doctoral studies are encouraged to apply for > participation in the DC. > > ·provide doctoral students working in the fields of logic and > constraint programming with a friendly and open forum to present their > research ideas, listen to ongoing work from peer students, and receive > constructive feedback, > > ·provide students with relevant information about important issues for > doctoral candidates and future academics, > > ·develop a supportive community of scholars and a spirit of > collaborative research, and > > ·support a new generation of researchers with information and advice > on academic, research, industrial, and non-traditional career paths > > Applicants are expected to conduct research in areas related to logic > and constraint programming. Topics included, but not limited to: > > ·Theoretical Foundations of Logic and Constraint Logic Programming > > ·Sequential and Parallel Implementation Technologies > > ·Static and Dynamic Analysis, Abstract Interpretation, Compilation > Technology, Verification > > ·Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic > Programming, Inductive Logic Programming) > > ·Innovative Applications of Logic Programming > > Submissions by students who have presented their work at previous ICLP > DC editions > > are allowed, but should occur only if there are substantial changes or > improvements to > > the student’s work. > > *Discussants* > > The DC allows participants to interact with established researchers > and fellow students, through presentations, question-answer sessions, > panel discussions, and invited talks. Each participant will give a > short, critiqued, research presentation. Renowned experts in the field > will evaluate submission packages and participate in the DC, providing > valuable feedback to DC participants. > > *Important Dates* > > Submission deadline:  April 15, 2018 > > Notification of acceptance:     May 15, 2018 > > Camera-ready due:     May 25, 2018 > > 14th ICLP DC :           July 18, 2018 > > *_Submission Details_* > > *Research summary* > > Prepare your research summary as a PDF document, using the OpenAccess > Series in Informatics (OASIcs) format (template available here: > http://www.dagstuhl.de/publikationen/oasics/anleitung-fuer-autoren/ ) > and submitted via EasyChair: > https://easychair.org/conferences/?conf=iclpdc2018 . The body of the > research summary should provide a clear overview of your research, its > potential impact, and its current > > status. You are encouraged to include sections like the following: > > ·Introduction and problem description > > ·Background and overview of the existing literature > > ·Goal of the research > > ·Current status of the research > > ·Preliminary results accomplished (if any) > > ·Open issues and expected achievements > > ·Bibliographical references > > All papers must be written in English and should be between 5 and 10 > pages. Accepted DC papers will be published as technical > communications (TCs) by Dagstuhl Publishing in the OpenAccess Series > in Informatics (OASIcs): http://www.dagstuhl.de/publikationen/oasics/ . > > *Cover Letter* > > Please include the following information in a cover letter: > > ·statement of interest in participating in the DC, > > ·full name of school and department to which you are affiliated, > > ·name(s) of your supervising professor(s), > > ·title of your research work and keywords pertinent to your research, > > ·current stage in your program of study (e.g. Ph.D./MS student, start > date), > > ·contact information (full name, address, telephone number, email > address), and > > ·the URL of your web page (if any). > > *Letter of Recommendation* > > Include a short letter of recommendation written by your graduate or > thesis adviser(s). Please, invite your adviser(s) to give an > indication of the current status of your research and of the expected > deadline for thesis submission. In addition, your adviser(s) should > briefly describe what she/he hopes you would gain from participation > in the DC. > > *Review Criteria* > > A program committee consisting of experts in various areas related to > logic and constraint programming reviews the submissions. Papers are > reviewed by at least two, and usually three, referees. The DC program > committee will select participants based on their anticipated > contribution to the DC objectives. Participants typically have settled > on their thesis directions and have their research proposal accepted > by their thesis committee. Students will be selected based on clarity > and completeness of their submission package, relevance of their > research area w.r.t. the focus of ICLP, stage of research, > recommendation letter, and evidence of promise towards a successful > career in research and academia, such as published papers or technical > reports. > > For all accepted DC papers, the student is required to attend the DC > program and give a presentation of 20 minutes followed by discussions. > > *Financial Support* > > The Association for Logic Programming has funds to assist financially > disadvantaged participants and students to enable them to attend the > conference. Students are invited to submit to the Doctoral Consortium > (within the submission deadline) to receive financial assistance. > > FLoC has some funds to provide travel grants of up to $1000 (USD) for > student attendees of FLoC’18. The application deadline is May, 18 > 2018. Please see FLoC’18 Travel Support for details about how to apply > here: http://www.floc2018.org/travel-stipend/ > > *Program Committee* > > Marina De Vos, University of Bath > > Fabio Fioravanti, University of Chieti-Pescara > > Martin Gebser, Aalto University > > Jose F. Morales, IMDEA Software Research Institute > > Takehide Soh, Information Science and Technology Center, Kobe University > > Frank D. Valencia LIX, Ecole Polytechnique > > *Program Co-Chairs* > > Neda Saeedloei, Southern Illinois University Carbondale, > neda at cs.siu.edu > > Paul Fodor, Stony Brook University, pfodor at cs.stonybrook.edu > > > > > ----FG ARC----FG ARC----FG ARC----FG ARC---- > Mailverteiler der GI-Fachgruppe "Architekturen" > http://fg-arc.gi.de/ > > Nachrichten an diesen Mailverteiler senden Sie bitte an fg-arc at lists.uni-paderborn.de > > Allgemeine Informationen zum Mailverteiler, zum Eintragen oder Austragen finden Sie unter > https://lists.uni-paderborn.de/mailman/listinfo/fg-arc > > Um den Besitzer der Liste zu kontaktieren, senden Sie eine E-Mail an fg-arc-owner at lists.uni-paderborn.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Fri Apr 13 14:00:57 2018 From: lpulina at uniss.it (Luca Pulina) Date: Fri, 13 Apr 2018 14:00:57 +0200 Subject: [fg-arc] QBFEVAL'18 - Deadline extension Message-ID: [apologies for any cross-posting] ****************************************************************************************** QBFEVAL'18 - Competitive Evaluation of QBF Solvers A joint event with the 21st Int. Conference on Theory and Applications of Satisfiability Testing (SAT) (affiliated with FLoC 2018) Oxford, UK, July 9 - July 12 2018 ****************************************************************************************** QBFEVAL'18 is the 2018 competitive evaluation of QBF solvers, and the thirteenth evaluation of QBF solvers and instances ever. QBFEVAL'18 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval18.php For questions, comments and any other issue regarding QBFEVAL'18, please get in touch with the organizers via qbf18 at qbflib.org. ** Important Dates ** -    Registration close: April 22 (incl. solver description) - EXTENDED -    Solvers and Benchmarks due: April 25 (for all tracks except Hard-Instances Track) - EXTENDED -    First stage results: May 3 -    Second stage solvers due: May 15 (for all tracks except Hard-Instances Track) -    Hard instances solver due: June 1 (no registration is necessary) -    Competition Benchmarks available for download: June 14 -    Final results: presented at SAT'18 ** Organizing committee ** * Organization * Luca Pulina, University of Sassari Martina Seidl, Johannes Kepler Universitat Linz * Judges * Olaf Beyersdorff, University of Leeds Christoph Wintersteiger, Microsoft Research Limited -- Luca Pulina, Ph.D. Associate Professor of Computer Science University of Sassari Tel. +39 079 228987 From francesco.osborne at open.ac.uk Fri Apr 13 14:03:35 2018 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Fri, 13 Apr 2018 12:03:35 +0000 Subject: [fg-arc] CfP for EKAW2018 Doctoral Consortium Message-ID: <0C806C47-7D96-4A9A-A528-F1F2EB9CC0AE@open.ac.uk> Call for papers: EKAW2018 Doctoral Consortium Abstract and Paper and deadlines: 7th and 14th of September 2018. The EKAW 2018 Doctoral Consortium is an opportunity for PhD students in Knowledge Engineering and Knowledge Management to discuss and obtain feedback on their ongoing work, plans and research directions with/from experienced researchers in the field. The objective is to share best practices of research methods and approaches, as well as to exchange on what it means to engage in an academic career on the topics relevant to the EKAW conference. All papers submitted to the EKAW 2018 Doctoral Consortium will be reviewed by three experienced researchers. In addition, the authors of accepted papers will be asked to review one of the other Doctoral Consortium papers. The objective is to make students experience the reviewing process and to provide for each paper different views regarding the research they describe. Submissions will be divided into two different categories depending on the PhD phase: - Early Stage PhD: Students who may have identified the main research problem they want to address as well as the relevant literature, and who are building their research methodology, but who might not yet have obtained significant results, or only preliminary ones. - Late Stage PhD: Students who have already defined their approach (even if incompletely) and obtained significant results (e.g., that might have been published already). These categories do not affect the chances of being selected. They will, however, be taken into account by the reviewers in their feedback, and in the length and format of the presentation. The organisers might decide to move a submission from one category to the other, if they think it is justified. Submission guidelines All submissions must be single-author submissions. Please acknowledge your PhD advisor(s) and other contributors in the Acknowledgements section. Submissions should clearly indicate the category of the submission (Early Stage PhD or Late Stage PhD) and should be structured around the following items which are the key methodological components required for a sound research narrative: 1. Problem: describe the core problem that you work on, motivate its relevance for the knowledge management, knowledge acquisition and knowledge representation areas, and formulate the research question(s) and/or hypotheses that you will answer; 2. State of the art: describe relevant related work and point out areas that need to be improved or investigated; 3. Proposed Approach: present the approach taken and motivate how this is novel with respect to existing work; 4. Methodology: sketch the methodology that is (or will be) adopted, including the evaluation protocol, i.e. the way in which the results will be validated and/or the hypotheses will be tested. 5. Results: describe the current status of the work and any results that have been reached so far; 6. Discussion: reflect on why you think your approach will work (or not), difficulties you have run into, and recommendations for future work. Topics The Doctoral Consortium focuses on the same topics of the main conference. In particular, but not exclusively, we solicit papers about methods, tools and methodologies relevant with regard to the following topics: AI and Knowledge - AI-based knowledge engineering and management - Natural Language Processing and knowledge discovery/acquisition - Knowledge acquisition for AI - Intelligent knowledge evolution, maintenance, and repair - Managing compliance between knowledge and data - Managing Multimedia knowledge - Machine Learning and the knowledge lifecycle - Combining learning knowledge from data and from humans - Modeling learned and conceptual knowledge together - Lessons learned from case studies - Adoption of techniques that exploit knowledge and AI - Evaluation of techniques that exploit knowledge and AI Knowledge Management - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies - Corporate memories for knowledge management - Knowledge evolution, maintenance and preservation - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g. games with a purpose) Knowledge Engineering and Acquisition - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localisation - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies, etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge Social and Cognitive Aspects of Knowledge Representation - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management Applications in specific domains such as - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - ICT4D (Knowledge in the developing world) Submission information and requirements All submissions for the Doctoral Consortium must be in English, and between 5 and 8 pages. Papers and abstracts can be submitted electronically via EasyChair (http://www.easychair.org/conferences/?conf=ekaw2018doctoralcons). Submissions must be either in PDF or in HTML, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer's Author Instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. HTML submissions should be submitted to EasyChair as a ZIP archive that contains the complete content of the paper. Authors can use any HTML-based format for the submission, but a mandatory LNCS-like layout should be provided and the submission still needs to comply with the established page limit. Authors who are new to HTML submissions may consider to use either dokieli (https://dokie.li) or RASH (https://github.com/essepuntato/rash) that can help produce well formatted academic papers using HTML and are capable of rendering papers in the LNCS layout. Students accepted to present at the Doctoral Consortium must attend the Doctoral Consortium for the whole day in order to gain as much value as possible from the experience. Each submitter should also be aware that they will be asked to review one other paper submitted to the Doctoral Consortium. Accepted papers will be published online via CEUR Workshop Proceedings (or equivalent). Important Dates Abstract submission: 7 September 2018 Full paper submission: 14 September 2018 Notification: 5 October 2018 Camera-ready: TBA Doctoral Consortium: 13 November 2018 Chairs Francesco Osborne (KMi, The Open University, UK) Laura Hollink (CWI, Netherlands) -- The Open University is incorporated by Royal Charter (RC 000391), an exempt charity in England & Wales and a charity registered in Scotland (SC 038302). The Open University is authorised and regulated by the Financial Conduct Authority in relation to its secondary activity of credit broking. -------------- next part -------------- An HTML attachment was scrubbed... URL: From slucas at dsic.upv.es Sat Apr 14 09:16:56 2018 From: slucas at dsic.upv.es (Salvador Lucas) Date: Sat, 14 Apr 2018 09:16:56 +0200 Subject: [fg-arc] WST 2018 - Call for Papers (extended deadline: April 30, 2018) Message-ID: <4bb4838e-c5ad-4f0c-7247-a3e4a6ab5614@dsic.upv.es> ==========================================================================                           WST 2018 - Call for Papers                    16th International Workshop on Termination                     July 18-19, 2018, Oxford, United Kingdom                           http://wst2018.webs.upv.es/ ========================================================================== NEW: Deadline extended to April 30, 2018 NEW: Akihisa Yamada, WST 2018 invited speaker The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The workshop is held as part of the 2018 Federated Logic Conference (FLoC 2018)           http://www.floc2018.org/ IMPORTANT DATES:  * submission deadline:  April 30, 2018 (extended)  * notification:         May 28, 2018  * final version due:    June 11, 2018  * workshop:             July 18-19, 2018 TOPICS: The 16th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to):  * abstraction methods in termination analysis  * certification of termination and complexity proofs  * challenging termination problems  * comparison and classification of termination methods  * complexity analysis in any domain  * implementation of termination methods  * non-termination analysis and loop detection  * normalization and infinitary normalization  * operational termination of logic-based systems  * ordinal notation and subrecursive hierarchies  * SAT, SMT, and constraint solving for (non-)termination analysis  * scalability and modularity of termination methods  * termination analysis in any domain (lambda calculus, declarative    programming, rewriting, transition systems, etc.)  * well-founded relations and well-quasi-orders COMPETITION: Since 2003, the catalytic effect of WST to stimulate new research on termination has been enhanced by the celebration of the Termination Competition and its continuously developing problem databases containing thousands of programs as challenges for termination analysis in different categories, see    http://termination-portal.org/wiki/Termination_Competition In 2018, the Termination Competition will run in parallel with FLoC 2018. More details will be provided in a dedicated announcement on the competition. PROGRAM COMMITTEE:     Cristina Borralleras - U. de Vic     Ugo Dal Lago - U. degli Studi di Bologna     Carsten Fuhs - Birkbeck, U. of London     Samir Genaim - U. Complutense de Madrid     Juergen Giesl - RWTH Aachen     Raul Gutiérrez - U. Politecnica de València     Keiichirou Kusakari - Gifu University     Salvador Lucas (chair) - U. Politecnica de Valencia     Fred Mesnard - U. de La Reunion     Aart Middeldorp - U. of Innsbruck     Albert Rubio - U. Politecnica de Catalunya     Rene Thiemann - U. of Innsbruck     Caterina Urban - ETH Zürich INVITED SPEAKERS:     Akihisa Yamada - NII Japan SUBMISSION: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page:     https://easychair.org/conferences/?conf=wst2018 Please, use LaTeX and the LIPIcs style file     http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. From soldani at di.unipi.it Mon Apr 16 10:00:27 2018 From: soldani at di.unipi.it (Jacopo Soldani) Date: Mon, 16 Apr 2018 10:00:27 +0200 Subject: [fg-arc] Extended deadlines, last CFP - FOCLASA 2018 Message-ID: <20180416080035.4027640C15@smtp.unipi.it> ** Due to numerous requests, the deadlines for FOCLASA 2018 have been extended (see below) ** 16th International Workshop on Foundations of Coordination Languages and Self-adaptive systems (FOCLASA 2018) Toulouse, France / June 26, 2018 http://foclasa.lcc.uma.es/ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by STAF * Publication of extended versions of selected work is planned in a special issue of an international journal as in previous issues of FOCLASA IMPORTANT DATES * Submission of abstract: April 13, 2018 Extended to April 22, 2018 (strict) * Submission of papers: April 20, 2018 Extended to April 30, 2018 (strict) * Notification of acceptance: May 20, 2018 * Final version: June 10, 2018 * Workshop: June 26, 2018 WORKSHOP GOALS Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone services. Service coordination and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Coordination languages and formal approaches to modelling and reasoning about self-adaptive behaviour help to simplify the development of complex distributed service-based systems, enable functional correctness proofs and improve 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 solutions in the context of coordination languages and self-adaptive systems. Topics of interest include (but are not limited to): * Theoretical models and frameworks for component and service coordination, service composition, service adaptation and concurrent system modeling. * Applications and usability studies for the aforementioned theoretical models, interaction and coordination challenges in various application domains. * Languages and specification protocols for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * "Software as a service" models (e.g., cloud computing) and dynamic software architectures, such as self-adaptive and self-organizing systems. * Tools and environments for the development of concurrent and customizable self-monitoring, self-adaptive and self-organizing applications. * Algorithms, mathematical models and realization frameworks for quality-of-service observation, storage, history-based analysis in self-adaptive systems (queuing models, load balancing, analysis of fault-tolerance, machine learning systems). Practice, experience and methodologies from the following areas are solicited as well: * Business process modelling * Blockchains * Cloud/fog/edge computing * Component-based systems * Large-scale distributed systems * (Micro)service-based systems * Multi-agent systems * Peer-to-peer systems * 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 issues of FOCLASA. SUBMISSION INSTRUCTIONS Papers must be submitted electronically in PostScript or PDF by using a two-phase online submission process. Registration of information and and abstract (max. 250 words) of papers must be completed before April 13, 2018. Final submission of papers is due no later than April 20, 2018. All submissions will be handled through the EasyChair conference management system, accessible from the conference web site: http://pages.di.unipi.it/foclasa Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style. Short papers (6 pages long) describing preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review. Papers should be submitted as PDF or PS via EasyChair. PROGRAM COMMITTEE Co-Chairs Jean-Marie Jacquet, University of Namur, Belgium Jacopo Soldani, University of Pisa, Italy Members Gul Agha, University of Illinois at Urbana-Champaign, USA Pedro Alvarez, Universidad de Zaragoza, Spain Farhad Arbab, CWI, The Netherlands Simon Bliudze, INRIA Lille - Nord Europe, France Radu Calinescu, University of York, UK Javier Camara, Carnegie Mellon University, USA Flavio De Paoli, University of Milano, Italy Francisco J. Duran, Universidad de Malaga, Spain Erik de Vink, Eindhoven University of Technology, The Netherlands Schahram Dustdar, TU Wien, Austria Letterio Galletta, IMT Lucca, Italy Eva Kuhn, Vienna University of Technology, Austria Alberto Lluch Lafuente, Technical University of Denmark Sun Meng, Peking University, China Hernan C. Melgratti, University of Buenos Aires, Argentina Mohammad Mousavi, Halmstad University, Sweden Pascal Poizat, Universite Paris Ouest, France Jose Proenca, INESC TEC & Universidade do Minho, Portugal Gwen Salaun, University of Grenoble, France Michael Sheng, University of Adelaide, Australia Marjan Sirjani, Reykjavik University, Iceland Carolyn Talcott, SRI International, USA Massimo Tivoli, University of L'Aquila, Italy Emilio Tuosto, University of Leicester, UK Lina Ye, CentraleSupelec, France Gianluigi Zavattaro, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From haowu at cs.nuim.ie Mon Apr 16 11:07:03 2018 From: haowu at cs.nuim.ie (Hao Wu) Date: Mon, 16 Apr 2018 10:07:03 +0100 Subject: [fg-arc] iFM 2018 Call For Papers Message-ID: <3C3E175A-988F-47C0-8767-22EC7F7C5931@cs.nuim.ie> =========================================================== CALL FOR PAPERS iFM 2018 14th International Conference on integrated Formal Methods September 5-7, 2018, Maynooth, Ireland https://ifm2018.cs.nuim.ie/ =========================================================== == News == - Extended deadlines - Extended page limits === Important dates === Abstract submission: Wednesday, 25 April 2018 (EXTENDED!) Paper submission: Wednesday, 2 May 2018 (EXTENDED!) Notification: Thursday, 14 June 2018 Conference: 5-7 September 2018 == Keynote speakers == - Cristian Cadar, Imperial College London - Ana Cavalcanti, University of York - Viktor Vafeiadis, MPI-SWS == Colocated events == - PhD Symposium - FMICS: International Conference on Formal Methods for Industrial Critical Systems === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis: the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Combining formal methods - Integration of formal methods into software engineering practice - Program verification, model checking, and static analysis - Theorem proving, decision procedures, SAT/SMT solving - Runtime analysis, monitoring, and testing - Program synthesis - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems - Abstraction and refinement - Model learning and inference === Submission guidelines === iFM 2018 solicits high quality papers reporting research results and/or experience reports related to the overall theme of formal method integration. We accept papers in the following categories: - Regular papers (limit 18 pages) on - original scientific research results - tools, their foundation and evaluations - applications of formal methods, including rigourous evaluations - Short papers (limit 8 pages) on - any subject of interest in the area of formal methods that can be described with sufficient detail within the page limit Page limits do not include the list of bibliographic references, which can take up to 2 additional pages. All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submissions should be made using the iFM 2018 Easychair site: https://easychair.org/conferences/?conf=ifm2018 Submissions must be in PDF format, using the Springer LNCS style files. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, to be indicated by the organizers, and present the paper. === Organization === = General chair = Rosemary Monahan, Maynooth University, Ireland = PC chairs = Carlo A. Furia, Chalmers University of Technology, Sweden Kirsten Winter, University of Queensland, Australia = Program committee = Erika Abraham, RWTH Aachen, Germany Bernhard Aichernig, University of Graz, Austria Elvira Albert, Complutense University of Madrid, Spain Domenico Bianculli, University of Luxembourg, Luxembourg Eerke Boiten, De Montfort University, UK Einar Broch Johnsen, University of Oslo, Norway Maria Christakis, MPI-SWS, Germany David Cok, GrammaTech, USA Robert Colvin, University of Queensland, Australia Ferruccio Damiani, University of Turin, Italy Eva Darulova, MPI SWS, Germany Frank de Boer, CWI Amsterdam, Netherlands John Derrick, University of Sheffield, UK Brijesh Dongol, Brunel University, UK Catherine Dubois, ENSIIE, France Diego Garbervetsky, University of Buenos Aires, Argentina Peter Hoefner, Data61, Australia Marieke Huisman, University of Twente, Netherlands Rajeev Joshi, NASA JPL, USA Nikolai Kosmatov, CEA LIST, France Laura Kovács, Vienna University of Technology, Austria Rustan Leino, Amazon, USA Larissa Meinicke, University of Queensland, Australia Dominique Mery, LORIA Nancy, France Toby Murray, University of Melbourne, Australia Luigia Petre, Åbo Akademi University, Finland Ruzica Piskac, Yale University, USA Chris Poskitt, SUTD, Singapore Kostis Sagonas, Uppsala University, Sweden Gerhard Schellhorn, Universitaet Augsburg, Germany Steve Schneider, University of Surrey, UK Gerardo Schneider, University of Gothenburg, Sweden Emil Sekerinski, McMaster University, Canada Martin Steffen, University of Oslo, Norway Helen Treharne, University of Surrey, UK Caterina Urban, ETH Zurich, Switzerland Mark Utting, University of Sunshine Coast, Australia Heike Wehrheim, University of Paderborn, Germany Mitsuharu Yamamoto, Chiba University, Japan Chenyi Zhang, Jinan University, China = Publicity chair = Hao Wu, Maynooth University, Ireland === Conference location === iFM 2018 is organized by Maynooth University and will take place in Maynooth, Ireland. From baskas at ktl.mii.lt Mon Apr 16 13:24:51 2018 From: baskas at ktl.mii.lt (baskas at ktl.mii.lt) Date: Mon, 16 Apr 2018 14:24:51 +0300 (EEST) Subject: [fg-arc] [nwpt-info] iFM 2018 Call For Papers In-Reply-To: <3C3E175A-988F-47C0-8767-22EC7F7C5931@cs.nuim.ie> References: <3C3E175A-988F-47C0-8767-22EC7F7C5931@cs.nuim.ie> Message-ID: <50105.78.60.181.120.1523877891.squirrel@webmail.ktl.mii.lt> https://www.youtube.com/results?search_query=antanas+baskas https://www.youtube.com/watch?v=tM4LQYHz1-Y 2018 Balandis 16, 12:07 pm, Pir Hao Wu rašė: > =========================================================== > CALL FOR PAPERS > iFM 2018 > > 14th International Conference on integrated Formal Methods > September 5-7, 2018, Maynooth, Ireland > > > https://ifm2018.cs.nuim.ie/ > =========================================================== > > > == News == > > > - Extended deadlines > - Extended page limits > > > === Important dates === > > > Abstract submission: Wednesday, 25 April 2018 (EXTENDED!) > Paper submission: Wednesday, 2 May 2018 (EXTENDED!) > Notification: Thursday, 14 June 2018 > Conference: 5-7 September 2018 > > > == Keynote speakers == > > > - Cristian Cadar, Imperial College London > - Ana Cavalcanti, University of York > - Viktor Vafeiadis, MPI-SWS > > > == Colocated events == > > > - PhD Symposium > - FMICS: International Conference on Formal Methods for > Industrial Critical Systems > > > === Objectives and scope === > > > Applying formal methods may involve the usage of different formalisms > and different analysis techniques to validate a system, either because > individual components are most amenable to one formalism or technique, > because one is interested in different properties of the system, or simply > to cope with the sheer complexity of the system. The iFM conference series > seeks to further research into hybrid approaches to formal modeling and > analysis: the combination of (formal and > semi-formal) methods for system development, regarding both modeling and > analysis. The conference covers all aspects from language design through > verification and analysis techniques to tools and their integration into > software engineering practice. > > Areas of interest include but are not limited to: > - Formal and semi-formal modelling notations > - Combining formal methods > - Integration of formal methods into software engineering practice > - Program verification, model checking, and static analysis > - Theorem proving, decision procedures, SAT/SMT solving > - Runtime analysis, monitoring, and testing > - Program synthesis > - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, > or concurrent systems - Abstraction and refinement > - Model learning and inference > > > === Submission guidelines === > > > iFM 2018 solicits high quality papers reporting research results and/or > experience reports related to the overall theme of formal method > integration. > > We accept papers in the following categories: > > > - Regular papers (limit 18 pages) on > - original scientific research results > - tools, their foundation and evaluations > - applications of formal methods, including rigourous evaluations > > > - Short papers (limit 8 pages) on > - any subject of interest in the area of formal methods that can be > described with sufficient detail within the page limit > > Page limits do not include the list of bibliographic references, which > can take up to 2 additional pages. All submissions must be original, > unpublished, and not submitted for publication elsewhere. Each paper will > undergo a thorough review process. Submissions will be judged on the > basis of significance, relevance, correctness, originality, and clarity. > > Submissions should be made using the iFM 2018 Easychair site: > > > https://easychair.org/conferences/?conf=ifm2018 > > > Submissions must be in PDF format, using the Springer LNCS style > files. > > The conference proceedings will be published in Springer's > Lecture Notes in Computer Science series. > > > All accepted papers must be presented at the conference. Their authors > must be prepared to sign a copyright transfer statement. At least one > author of each accepted paper must register to the conference by the early > registration date, to be indicated by the organizers, and present the > paper. > > === Organization === > > > = General chair = > Rosemary Monahan, Maynooth University, Ireland > > > = PC chairs = > Carlo A. Furia, Chalmers University of Technology, Sweden > Kirsten Winter, University of Queensland, Australia > > > = Program committee = > Erika Abraham, RWTH Aachen, Germany > Bernhard Aichernig, University of Graz, Austria > Elvira Albert, Complutense University of Madrid, Spain > Domenico Bianculli, University of Luxembourg, Luxembourg > Eerke Boiten, De Montfort University, UK > Einar Broch Johnsen, University of Oslo, Norway > Maria Christakis, MPI-SWS, Germany > David Cok, GrammaTech, USA > Robert Colvin, University of Queensland, Australia > Ferruccio Damiani, University of Turin, Italy > Eva Darulova, MPI SWS, Germany > Frank de Boer, CWI Amsterdam, Netherlands > John Derrick, University of Sheffield, UK > Brijesh Dongol, Brunel University, UK > Catherine Dubois, ENSIIE, France > Diego Garbervetsky, University of Buenos Aires, Argentina > Peter Hoefner, Data61, Australia > Marieke Huisman, University of Twente, Netherlands > Rajeev Joshi, NASA JPL, USA > Nikolai Kosmatov, CEA LIST, France > Laura Kovács, Vienna University of Technology, Austria > Rustan Leino, Amazon, USA > Larissa Meinicke, University of Queensland, Australia > Dominique Mery, LORIA Nancy, France > Toby Murray, University of Melbourne, Australia > Luigia Petre, Åbo Akademi University, Finland > Ruzica Piskac, Yale University, USA > Chris Poskitt, SUTD, Singapore > Kostis Sagonas, Uppsala University, Sweden > Gerhard Schellhorn, Universitaet Augsburg, Germany > Steve Schneider, University of Surrey, UK > Gerardo Schneider, University of Gothenburg, Sweden > Emil Sekerinski, McMaster University, Canada > Martin Steffen, University of Oslo, Norway > Helen Treharne, University of Surrey, UK > Caterina Urban, ETH Zurich, Switzerland > Mark Utting, University of Sunshine Coast, Australia > Heike Wehrheim, University of Paderborn, Germany > Mitsuharu Yamamoto, Chiba University, Japan > Chenyi Zhang, Jinan University, China > > > = Publicity chair = > Hao Wu, Maynooth University, Ireland > > > === Conference location === > > > iFM 2018 is organized by Maynooth University and will take place in > Maynooth, Ireland. > > > From gvidal at dsic.upv.es Mon Apr 16 09:39:42 2018 From: gvidal at dsic.upv.es (German Vidal) Date: Mon, 16 Apr 2018 09:39:42 +0200 Subject: [fg-arc] Deadline extension: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis Message-ID: <913E9878-D360-4F28-AB1A-BA4F68A47515@dsic.upv.es> ---------------------------------------------------------------------- (apologies for multiple copies) *** SUBMISSION DEADLINE EXTENDED: April 29 (Sunday) *** 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ICLP at FLoC 2018 July 13, 2018 - Oxford, UK https://www.sci.unich.it/hcvs18/ Invited speakers: Pierre Ganty (IMDEA Software Institute) Hiroshi Unno (University of Tsukuba) Submission deadlines: - Paper submission: 29 April 2018 EXTENDED ! - Paper notification: 15 May 2018 - Camera-ready: 25 May 2018 - Workshop: 13 July 2018 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows four previous meetings: HCVS 2017 in Gothenburg, Sweden (w/CADE), HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: - Elvira Albert (Complutense University of Madrid) - Maria Alpuente (Universitat Politecnica de Valencia) - Nikolaj Bjorner (Microsoft Research) - Giorgio Delzanno (Universita degli Studi di Genova) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University and IMDEA Software Institute) - Pierre-Loic Garoche (ONERA) - Arie Gurfinkel (University of Waterloo) - Temesghen Kahsai (Amazon) -chair - Ekaterina Komendantskaya (Heriot-Watt University) - David Monniaux (CNRS/Verimag) - Jorge A. Navas (SRI International) - Carlos Olarte (Universidade Federal do Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://www.easychair.org/conferences/?conf=hcvs2018 ---------------------------------------------------------------------- From baskas at ktl.mii.lt Mon Apr 16 13:24:59 2018 From: baskas at ktl.mii.lt (baskas at ktl.mii.lt) Date: Mon, 16 Apr 2018 14:24:59 +0300 (EEST) Subject: [fg-arc] [nwpt-info] iFM 2018 Call For Papers In-Reply-To: <3C3E175A-988F-47C0-8767-22EC7F7C5931@cs.nuim.ie> References: <3C3E175A-988F-47C0-8767-22EC7F7C5931@cs.nuim.ie> Message-ID: <50109.78.60.181.120.1523877899.squirrel@webmail.ktl.mii.lt> https://www.youtube.com/results?search_query=antanas+baskas https://www.youtube.com/watch?v=tM4LQYHz1-Y 2018 Balandis 16, 12:07 pm, Pir Hao Wu rašė: > =========================================================== > CALL FOR PAPERS > iFM 2018 > > 14th International Conference on integrated Formal Methods > September 5-7, 2018, Maynooth, Ireland > > > https://ifm2018.cs.nuim.ie/ > =========================================================== > > > == News == > > > - Extended deadlines > - Extended page limits > > > === Important dates === > > > Abstract submission: Wednesday, 25 April 2018 (EXTENDED!) > Paper submission: Wednesday, 2 May 2018 (EXTENDED!) > Notification: Thursday, 14 June 2018 > Conference: 5-7 September 2018 > > > == Keynote speakers == > > > - Cristian Cadar, Imperial College London > - Ana Cavalcanti, University of York > - Viktor Vafeiadis, MPI-SWS > > > == Colocated events == > > > - PhD Symposium > - FMICS: International Conference on Formal Methods for > Industrial Critical Systems > > > === Objectives and scope === > > > Applying formal methods may involve the usage of different formalisms > and different analysis techniques to validate a system, either because > individual components are most amenable to one formalism or technique, > because one is interested in different properties of the system, or simply > to cope with the sheer complexity of the system. The iFM conference series > seeks to further research into hybrid approaches to formal modeling and > analysis: the combination of (formal and > semi-formal) methods for system development, regarding both modeling and > analysis. The conference covers all aspects from language design through > verification and analysis techniques to tools and their integration into > software engineering practice. > > Areas of interest include but are not limited to: > - Formal and semi-formal modelling notations > - Combining formal methods > - Integration of formal methods into software engineering practice > - Program verification, model checking, and static analysis > - Theorem proving, decision procedures, SAT/SMT solving > - Runtime analysis, monitoring, and testing > - Program synthesis > - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, > or concurrent systems - Abstraction and refinement > - Model learning and inference > > > === Submission guidelines === > > > iFM 2018 solicits high quality papers reporting research results and/or > experience reports related to the overall theme of formal method > integration. > > We accept papers in the following categories: > > > - Regular papers (limit 18 pages) on > - original scientific research results > - tools, their foundation and evaluations > - applications of formal methods, including rigourous evaluations > > > - Short papers (limit 8 pages) on > - any subject of interest in the area of formal methods that can be > described with sufficient detail within the page limit > > Page limits do not include the list of bibliographic references, which > can take up to 2 additional pages. All submissions must be original, > unpublished, and not submitted for publication elsewhere. Each paper will > undergo a thorough review process. Submissions will be judged on the > basis of significance, relevance, correctness, originality, and clarity. > > Submissions should be made using the iFM 2018 Easychair site: > > > https://easychair.org/conferences/?conf=ifm2018 > > > Submissions must be in PDF format, using the Springer LNCS style > files. > > The conference proceedings will be published in Springer's > Lecture Notes in Computer Science series. > > > All accepted papers must be presented at the conference. Their authors > must be prepared to sign a copyright transfer statement. At least one > author of each accepted paper must register to the conference by the early > registration date, to be indicated by the organizers, and present the > paper. > > === Organization === > > > = General chair = > Rosemary Monahan, Maynooth University, Ireland > > > = PC chairs = > Carlo A. Furia, Chalmers University of Technology, Sweden > Kirsten Winter, University of Queensland, Australia > > > = Program committee = > Erika Abraham, RWTH Aachen, Germany > Bernhard Aichernig, University of Graz, Austria > Elvira Albert, Complutense University of Madrid, Spain > Domenico Bianculli, University of Luxembourg, Luxembourg > Eerke Boiten, De Montfort University, UK > Einar Broch Johnsen, University of Oslo, Norway > Maria Christakis, MPI-SWS, Germany > David Cok, GrammaTech, USA > Robert Colvin, University of Queensland, Australia > Ferruccio Damiani, University of Turin, Italy > Eva Darulova, MPI SWS, Germany > Frank de Boer, CWI Amsterdam, Netherlands > John Derrick, University of Sheffield, UK > Brijesh Dongol, Brunel University, UK > Catherine Dubois, ENSIIE, France > Diego Garbervetsky, University of Buenos Aires, Argentina > Peter Hoefner, Data61, Australia > Marieke Huisman, University of Twente, Netherlands > Rajeev Joshi, NASA JPL, USA > Nikolai Kosmatov, CEA LIST, France > Laura Kovács, Vienna University of Technology, Austria > Rustan Leino, Amazon, USA > Larissa Meinicke, University of Queensland, Australia > Dominique Mery, LORIA Nancy, France > Toby Murray, University of Melbourne, Australia > Luigia Petre, Åbo Akademi University, Finland > Ruzica Piskac, Yale University, USA > Chris Poskitt, SUTD, Singapore > Kostis Sagonas, Uppsala University, Sweden > Gerhard Schellhorn, Universitaet Augsburg, Germany > Steve Schneider, University of Surrey, UK > Gerardo Schneider, University of Gothenburg, Sweden > Emil Sekerinski, McMaster University, Canada > Martin Steffen, University of Oslo, Norway > Helen Treharne, University of Surrey, UK > Caterina Urban, ETH Zurich, Switzerland > Mark Utting, University of Sunshine Coast, Australia > Heike Wehrheim, University of Paderborn, Germany > Mitsuharu Yamamoto, Chiba University, Japan > Chenyi Zhang, Jinan University, China > > > = Publicity chair = > Hao Wu, Maynooth University, Ireland > > > === Conference location === > > > iFM 2018 is organized by Maynooth University and will take place in > Maynooth, Ireland. > > > From announce at cs.ucy.ac.cy Mon Apr 16 19:00:37 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 16 Apr 2018 20:00:37 +0300 Subject: [fg-arc] 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2018): Last Call for Workshop Proposals Message-ID: *** LAST CALL FOR WORKSHOP PROPOSALS *** 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2018) St. Raphael Resort, Limassol, Cyprus, 15-17 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBMYXN0IENhbGwgZm9yIFdvcmtzaG9wIFByb3Bvc2FscwkxNzEJTGlzdHMJMTY2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.wimob.org%2Fwimob2018%2F (*** Sponsorship Approved by IEEE Communication Society ***) WiMob is an international forum for the exchange of knowledge and experience among researchers, developers and practitioners of wireless and mobile technology. For fourteen years, the International WiMob conference has provided unique opportunities for researchers and developers to interact, share new results, show live demonstrations, and discuss emerging directions in a number of contemporary topics in wireless and mobile computing. WiMob 2018 is soliciting high quality technical papers addressing research challenges in the areas of wireless communications, wireless networking, mobility, nomadicity, ubiquitous computing, services and applications. Papers should present original work validated via analysis, simulation or experimentation. Practical experiences and Testbed trials also are welcome. TOPICS WiMob 2018 will host 5 parallel symposia on: · Wireless Communications · Wireless Networking, Mobility and Nomadicity · Ubiquitous Computing, Services and Applications · Green and Sustainable Communications and Network Computing · Security on Wireless and Mobile Networks A full list of topics for each symposium can be found on the conference web site. CALL FOR WORKSHOP PROPOSALS As part of the program of WiMob 2018, a limited number of workshops are planned to be held in conjunction with the main conference. The main aim will be to provide an international forum for researchers to present their early research results and share experiences focused on specific research areas. Workshop proposals are solicited in all areas and topics related to wireless networking, mobile computing, mobile and wireless communications, pervasive computing and networking, and services and applications. All papers accepted by the workshops will be published in the WiMob 2018 proceedings. All workshops will be held on October 15, 2018. Workshop Proposal Form A proposal to organize a workshop can be submitted in PDF or plain text and should contain the following information: · A draft of the CFP of the workshop (includes title, description, topics and dates) · Why is the topic area important? · Likely contributors and target audience · Organizing committee (chairs, list of potential TPC members) · Plan for workshop advertising and publicity (including workshop URL) · Biography of the main organizer(s) (100-200 words) Workshop proposals must be sent by e-mail to the three Workshop co-chairs: - Anna Maria Vegni, annamaria.vegni[at]uniroma3.it - Hossam Hassanein, hossam[at]cs.queensu.ca - Nirwan Ansari, nirwan.ansari[at]njit.edu IMPORTANT DATES · Workshop proposal submission: April 20, 2018 · Notification of acceptance of workshop proposals: April 25, 2018 · Preliminary CFP to be published for workshops: April 30, 2018 · Paper submission deadline for the workshops: June 30, 2018 · Workshop paper acceptance: July 31, 2018 ORGANISATION Honorific Chair · Lajos Hanzo, University of Southampton, UK General Chair · Abderrahim Benslimane, University of Avignon, France Steering Committee · Abderrahim Benslimane - University of Avignon, France · Hsiao-Hwa Chen - National Cheng Kung University, Taiwan · Khaled Ben Letaief - Hong Kong University of Science and Technology, HK · Victor C. M. Leung - University of British Columbia, Canada · Samuel Pierre - Ecole Polytechnique de Montreal, Canada · Dovan Thanh - Telenor & Norwegian Univ. of Science & Technology, Norway Executive Co-Chairs · Wessam Ajib, Universite du Quebec - Montreal, Canada · George Angelos Papadopoulos, University of Cyprus, Cyprus Workshop Co-Chairs · Nirwan Ansari, New Jersey Institute of Technology, USA · Hossam Hassanein, Queen's University, Canada · Anna Maria Vegni - Roma Tre University, Italy TPC Co-Chairs · Abbas Bradai, XLIM Institute, University of Poitiers, France · Brigitte Jaumard, Concordia University, Canada · Ming Li, University of Arizona, USA · Qi Liao, Nokia Bell Labs, Germany Publication Co-Chairs · Abderrahim Benslimane, University of Avignon, France · Corinna Schmitt, University of Zurich, Switzerland Publicity Co-Chairs · Abdellatif Ezzouhairi, ENSA Fez, Morocco · Chunxiao Jiang, Tsinghua University, China · Neeraj Kumar, Thapar University, India · Cristina López-Bravo, Universidade de Vigo, Spain · Roca Vincent, INRIA Rhone-Alpes, France -------------- next part -------------- An HTML attachment was scrubbed... URL: From baskas at ktl.mii.lt Mon Apr 16 14:23:43 2018 From: baskas at ktl.mii.lt (baskas at ktl.mii.lt) Date: Mon, 16 Apr 2018 15:23:43 +0300 (EEST) Subject: [fg-arc] [nwpt-info] iFM 2081 Call For Papers In-Reply-To: <9B4B355E-367A-44B9-AC7C-5BB6FCD54D65@cs.nuim.ie> References: <9B4B355E-367A-44B9-AC7C-5BB6FCD54D65@cs.nuim.ie> Message-ID: <50312.78.60.181.120.1523881423.squirrel@webmail.ktl.mii.lt> https://www.youtube.com/results?search_query=antanas+baskas https://www.youtube.com/watch?v=tM4LQYHz1-Y 2018 Balandis 9, 10:56 am, Pir Hao Wu rašė: > =========================================================== > CALL FOR PAPERS > iFM 2018 > > 14th International Conference on integrated Formal Methods > September 5-7, 2018, Maynooth, Ireland > > > https://ifm2018.cs.nuim.ie/ > =========================================================== > > > === Important dates === > > > Abstract submission: Monday, 16 April 2018 > Paper submission: Friday, 20 April 2018 > Notification: Thursday, 14 June 2018 > Conference: 5-7 September 2018 > > > == Keynote speakers == > > > - Cristian Cadar, Imperial College London > - Ana Cavalcanti, University of York > - Viktor Vafeiadis, MPI-SWS > > > == Colocated events == > > > - PhD Symposium > - FMICS: International Conference on Formal Methods for > Industrial Critical Systems > > > === Objectives and scope === > > > Applying formal methods may involve the usage of different formalisms > and different analysis techniques to validate a system, either because > individual components are most amenable to one formalism or technique, > because one is interested in different properties of the system, or simply > to cope with the sheer complexity of the system. The iFM conference series > seeks to further research into hybrid approaches to formal modeling and > analysis: the combination of (formal and > semi-formal) methods for system development, regarding both modeling and > analysis. The conference covers all aspects from language design through > verification and analysis techniques to tools and their integration into > software engineering practice. > > Areas of interest include but are not limited to: > - Formal and semi-formal modelling notations > - Combining formal methods > - Integration of formal methods into software engineering practice > - Program verification, model checking, and static analysis > - Theorem proving, decision procedures, SAT/SMT solving > - Runtime analysis, monitoring, and testing > - Program synthesis > - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, > or concurrent systems - Abstraction and refinement > - Model learning and inference > > > === Submission guidelines === > > > iFM 2018 solicits high quality papers reporting research results and/or > experience reports related to the overall theme of formal method > integration. > > We accept papers in the following categories: > > > - Regular papers (limit 15 pages) on > - original scientific research results > - tools, their foundation and evaluations > - applications of formal methods, including rigourous evaluations > > > - Short papers (limit 8 pages) on > - any subject of interest in the area of formal methods that can be > described with sufficient detail within the page limit > > Page limits include bibliography and any appendices. All submissions > must be original, unpublished, and not submitted for publication elsewhere. > Each paper will undergo a thorough review process. > Submissions will be judged on the basis of significance, relevance, > correctness, originality, and clarity. > > Submissions should be made using the iFM 2018 Easychair site: > > > https://easychair.org/conferences/?conf=ifm2018 > > > Submissions must be in PDF format, using the Springer LNCS style > files. > > The conference proceedings will be published in Springer's > Lecture Notes in Computer Science series. > > > All accepted papers must be presented at the conference. Their authors > must be prepared to sign a copyright transfer statement. At least one > author of each accepted paper must register to the conference by the early > registration date, to be indicated by the organizers, and present the > paper. > > === Organization === > > > = General chair = > Rosemary Monahan, Maynooth University, Ireland > > > = PC chairs = > Carlo A. Furia, Chalmers University of Technology, Sweden > Kirsten Winter, University of Queensland, Australia > > > = Program committee = > Erika Abraham, RWTH Aachen, Germany > Bernhard Aichernig, University of Graz, Austria > Elvira Albert, Complutense University of Madrid, Spain > Domenico Bianculli, University of Luxembourg, Luxembourg > Eerke Boiten, De Montfort University, UK > Einar Broch Johnsen, University of Oslo, Norway > Maria Christakis, MPI-SWS, Germany > David Cok, GrammaTech, USA > Robert Colvin, University of Queensland, Australia > Ferruccio Damiani, University of Turin, Italy > Eva Darulova, MPI SWS, Germany > Frank de Boer, CWI Amsterdam, Netherlands > John Derrick, University of Sheffield, UK > Brijesh Dongol, Brunel University, UK > Catherine Dubois, ENSIIE, France > Diego Garbervetsky, University of Buenos Aires, Argentina > Peter Hoefner, Data61, Australia > Marieke Huisman, University of Twente, Netherlands > Rajeev Joshi, NASA JPL, USA > Nikolai Kosmatov, CEA LIST, France > Laura Kovács, Vienna University of Technology, Austria > Rustan Leino, Amazon, USA > Larissa Meinicke, University of Queensland, Australia > Dominique Mery, LORIA Nancy, France > Toby Murray, University of Melbourne, Australia > Luigia Petre, Åbo Akademi University, Finland > Ruzica Piskac, Yale University, USA > Chris Poskitt, SUTD, Singapore > Kostis Sagonas, Uppsala University, Sweden > Gerhard Schellhorn, Universitaet Augsburg, Germany > Steve Schneider, University of Surrey, UK > Gerardo Schneider, University of Gothenburg, Sweden > Emil Sekerinski, McMaster University, Canada > Martin Steffen, University of Oslo, Norway > Helen Treharne, University of Surrey, UK > Caterina Urban, ETH Zurich, Switzerland > Mark Utting, University of Sunshine Coast, Australia > Heike Wehrheim, University of Paderborn, Germany > Mitsuharu Yamamoto, Chiba University, Japan > Chenyi Zhang, Jinan University, China > > > = Publicity chair = > Hao Wu, Maynooth University, Ireland > > > === Conference location === > > > iFM 2018 is organized by Maynooth University and will take place in > Maynooth, Ireland. > > > From announce at cs.ucy.ac.cy Tue Apr 17 16:10:33 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 17 Apr 2018 17:10:33 +0300 Subject: [fg-arc] 21st International Conference on Discovery Science (DS 2018): First Call for Papers Message-ID: *** FIRST CALL FOR PAPERS *** 21st International Conference on Discovery Science (DS 2018) St. Raphael Resort, Limassol, Cyprus, 30-31 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBEaXNjb3ZlcnkgU2NpZW5jZSAoRFMgMjAxOCk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkxNzMJTGlzdHMJMTY2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fds2018 (*** In conjunction with ISMIS 2018 ***) WELCOME The 21st International Conference on Discovery Science (DS 2018) provides an open forum for intensive discussions and exchange of new ideas among researchers working in the area of Discovery Science. The scope of the conference includes the development and analysis of methods for discovering scientific knowledge, coming from machine learning, data mining, intelligent data analysis, big data analysis as well as their application in various scientific domains. We welcome papers that focus on the analysis of different types of massive and complex data, including structured, spatio-temporal and network data. We particularly welcome papers addressing applications. Finally, we would like to encourage contributions from the areas of computational scientific discovery, mining scientific data, computational creativity and discovery informatics. DS 2018 will be co-located with ISMIS 2018, the 24th International Symposium on Methodologies for Intelligent Systems. The two conferences will be held in parallel, and will share their invited talks. TOPICS We invite submissions of research papers addressing all aspects of discovery science. We particularly welcome contributions that discuss the application of data analysis, data mining and other support techniques for scientific discovery including, but not limited to, biomedical, astronomical and other physics domains. Applications to massive, heterogeneous, continuous or imprecise data sets are of particular interests. Possible topics include, but are not limited to: · Knowledge discovery, machine learning and statistical methods · Ubiquitous knowledge discovery · Data streams, evolving data and models · Change detection and model maintenance · Active knowledge discovery · Learning from text and web mining · Information extraction from scientific literature · Knowledge discovery from heterogeneous, unstructured and multimedia data · Knowledge discovery in network and link data · Knowledge discovery in social networks · Data and knowledge visualization · Spatial/temporal Data · Mining graphs and structured data · Planning to learn · Knowledge transfer · Computational creativity · Human-machine interaction for knowledge discovery and management · Biomedical knowledge discovery and analysis · Machine learning for high-performance computing, grid and cloud computing · Applications of the above techniques to natural or social sciences PAPER SUBMISSION Papers may contain up to fifteen (15) pages and must be formatted according to the layout supplied by Springer-Verlag for the Lecture Notes in Computer Science series. Submitted papers may not have appeared in or be under consideration for another workshop, conference or a journal, nor may they be under review or submitted to another forum during the DS 2018 review process Authors can submit their papers electronically via our submission page through Easychair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBEaXNjb3ZlcnkgU2NpZW5jZSAoRFMgMjAxOCk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkxNzMJTGlzdHMJMTY2CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dds20180 . PUBLICATION AND JOURNAL SPECIAL ISSUES The DS 2018 proceedings will be published by Springer in LNAI (Lecture Notes in Artificial Intelligence) and will be available at the conference. Authors of best papers will be invited to submit their extended versions to the Machine Learning journal (https://link.springer.com/journal/10994) published by Springer. Fast Track Processing will be used to have them reviewed and published. IMPORTANT DATES · Paper Submissions due: 28th June 2018 · Notification of Acceptance/Rejection: 18th July 2018 · Camera-Ready Versions of Accepted Papers: 28th July 2018 · Author Registration: 31st Juy 2018 · Early Non-Author Registration: 10th September 2018 · Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE General Chair · George Angelos Papadopoulos (University of Cyprus, Cyprus) Program Committee Co-Chairs · Larisa Soldatova, Goldsmiths, University of London, UK · Joaquin Vanschoren, Eindhoven University of Technology, the Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From franconi at inf.unibz.it Wed Apr 18 17:50:20 2018 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Wed, 18 Apr 2018 17:50:20 +0200 Subject: [fg-arc] Computer Science PhD grants @ KRDB - Univ. of Bozen-Bolzano Italy Message-ID: <18042018175020240GGh77pfXqRRd0261@smtp.office365.com> 10 four-years grants are offered by the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy for its PhD programme. Each grant amounts to 68,000 €; for research visits abroad the grant increases up to 50%. Substantial extra funding (including a personal budget of 2,500 € per year) is available for participation to international conferences, schools, workshops, research visits. The language of the PhD program is English. The deadline for applications will be in 9th of July, 2018. For more info, the call, and applications look at: www.unibz.it/en/faculties/computer-science/phd-computer-science The university is located in one of the most fascinating European regions, the Dolomites. This young university has already established itself as an important research institution, both in Italy and abroad. According to the Times Higher Education World University Rankings 2018, the university is the tenth world’s best small university and it is the second best young Italian University. According to the same ranking, the Faculty of Computer Science of the Free University of Bozen-Bolzano is the third best Italian computer science department, it is the best for international outlook Italian computer science department, and it is the best for citations Italian computer science department. The KRDB Research Centre for Knowledge and Data of the faculty is widely recognised as one of the internationally leading groups in knowledge representation research, with a synergy between foundational and application-oriented research. Among the various available PhD topics described in the call, the KRDB Research Centre is looking for PhD students interested in: 1 Logic-based languages for knowledge representation; 2 Intelligent data access and integration; 3 Semantic technologies; 4 Conceptual and cognitive modelling; 5 Data-aware process modelling, verification, and synthesis; 6 Business process monitoring, mining, and conformance; 7 Temporal aspects of data and knowledge; 8 Extending database technologies; 9 Visual and verbal paradigms for information exploration; 10 Reasoning with uncertain and imprecise knowledge. To get in contact with the KRDB Research Centre and discuss about the opportunities of this call contact prof. Alessandro Artale at artale at inf.unibz.it. -------------- next part -------------- An HTML attachment was scrubbed... URL: From soldani at di.unipi.it Thu Apr 19 19:18:19 2018 From: soldani at di.unipi.it (Jacopo) Date: Thu, 19 Apr 2018 19:18:19 +0200 Subject: [fg-arc] Fwd: FOCLASA 2018 - last CFP, deadlines extended References: Message-ID: <2229B693-D71F-4770-B10B-7D172B6D0AC3@di.unipi.it> ** Due to numerous requests, the deadlines for FOCLASA 2018 have been extended (see below) ** 16th International Workshop on Foundations of Coordination Languages and Self-adaptive systems (FOCLASA 2018) Toulouse, France / June 26, 2018 http://foclasa.lcc.uma.es/ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by STAF * Publication of extended versions of selected work is planned in a special issue of an international journal as in previous issues of FOCLASA IMPORTANT DATES * Submission of abstract: April 13, 2018 Extended to April 22, 2018 (strict) * Submission of papers: April 20, 2018 Extended to April 30, 2018 (strict) * Notification of acceptance: May 20, 2018 * Final version: June 10, 2018 * Workshop: June 26, 2018 WORKSHOP GOALS Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone services. Service coordination and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Coordination languages and formal approaches to modelling and reasoning about self-adaptive behaviour help to simplify the development of complex distributed service-based systems, enable functional correctness proofs and improve 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 solutions in the context of coordination languages and self-adaptive systems. Topics of interest include (but are not limited to): * Theoretical models and frameworks for component and service coordination, service composition, service adaptation and concurrent system modeling. * Applications and usability studies for the aforementioned theoretical models, interaction and coordination challenges in various application domains. * Languages and specification protocols for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * "Software as a service" models (e.g., cloud computing) and dynamic software architectures, such as self-adaptive and self-organizing systems. * Tools and environments for the development of concurrent and customizable self-monitoring, self-adaptive and self-organizing applications. * Algorithms, mathematical models and realization frameworks for quality-of-service observation, storage, history-based analysis in self-adaptive systems (queuing models, load balancing, analysis of fault-tolerance, machine learning systems). Practice, experience and methodologies from the following areas are solicited as well: * Business process modelling * Blockchains * Cloud/fog/edge computing * Component-based systems * Large-scale distributed systems * (Micro)service-based systems * Multi-agent systems * Peer-to-peer systems * 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 issues of FOCLASA. SUBMISSION INSTRUCTIONS Papers must be submitted electronically in PostScript or PDF by using a two-phase online submission process. Registration of information and and abstract (max. 250 words) of papers must be completed before April 13, 2018. Final submission of papers is due no later than April 20, 2018. All submissions will be handled through the EasyChair conference management system, accessible from the conference web site: http://pages.di.unipi.it/foclasa Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style. Short papers (6 pages long) describing preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review. Papers should be submitted as PDF or PS via EasyChair. PROGRAM COMMITTEE Co-Chairs Jean-Marie Jacquet, University of Namur, Belgium Jacopo Soldani, University of Pisa, Italy Members Gul Agha, University of Illinois at Urbana-Champaign, USA Pedro Alvarez, Universidad de Zaragoza, Spain Farhad Arbab, CWI, The Netherlands Simon Bliudze, INRIA Lille - Nord Europe, France Radu Calinescu, University of York, UK Javier Camara, Carnegie Mellon University, USA Flavio De Paoli, University of Milano, Italy Francisco J. Duran, Universidad de Malaga, Spain Erik de Vink, Eindhoven University of Technology, The Netherlands Schahram Dustdar, TU Wien, Austria Letterio Galletta, IMT Lucca, Italy Eva Kuhn, Vienna University of Technology, Austria Alberto Lluch Lafuente, Technical University of Denmark Sun Meng, Peking University, China Hernan C. Melgratti, University of Buenos Aires, Argentina Mohammad Mousavi, Halmstad University, Sweden Pascal Poizat, Universite Paris Ouest, France Jose Proenca, INESC TEC & Universidade do Minho, Portugal Gwen Salaun, University of Grenoble, France Michael Sheng, University of Adelaide, Australia Marjan Sirjani, Reykjavik University, Iceland Carolyn Talcott, SRI International, USA Massimo Tivoli, University of L'Aquila, Italy Emilio Tuosto, University of Leicester, UK Lina Ye, CentraleSupelec, France Gianluigi Zavattaro, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From marcello.balduccini at gmail.com Wed Apr 18 17:12:13 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Wed, 18 Apr 2018 11:12:13 -0400 Subject: [fg-arc] 2 MONTHS LEFT: KR 2018 Doctoral Consortium Call for Papers Message-ID: <201804181512.w3IFCDgT024511@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ****************** * 2 MONTHS LEFT! * * * * June 24 * * Deadline * ****************** KR Doctoral Consortium Call for Applications October 30 - November 2, 2018 Tempe, Arizona, US http://kr2018.org/ The 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic, research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. For accepted students there will be a row of dedicated events, including DC invited talks on research practice, a lightning talk session, a poster session, and a mentoring lunch. Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. 2) APPLICATION SUBMISSION Applications must be submitted by email. Each application must contain the following elements combined into a single PDF document.: (1) Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). (2) Curriculum Vitae. A description of your background and relevant experience (research, education, employment), of two pages maximum. (3) Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. (4) Indication of whether a sponsored studentship is requested, and if so, whether the student volunteers to help with local organization during KR, DL, and NMR. (5) Optionally, a suggestion of up to 5 potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Doctoral students who submit to the DC are permitted to have previously published on their research, and are encouraged to submit papers to KR 2018 and associated conferences and workshops. 3) IMPORTANT DATES Application deadline: June 24, 2018 Acceptance notification: July 11, 2018 Doctoral Consortium: October 30 - November 2, 2018 For further information, please contact the DC chairs: Madalina Croitoru, University Montpellier (croitoru at lirmm.fr) Sebastian Rudolph, TU Dresden (sebastian.rudolph at tu-dresden.de) From marcello.balduccini at gmail.com Wed Apr 18 16:21:36 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Wed, 18 Apr 2018 10:21:36 -0400 Subject: [fg-arc] KR 2018 Call for Papers ** WORKSHOPS AND TUTORIALS ANNOUNCED ** Message-ID: <201804181421.w3IELaCn021780@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** KR 2018 *** *** WORKSHOPS AND TUTORIALS ANNOUNCED *** 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) October 30-November 2, 2018 http://kr2018.org/ Co-located with DL 2018 [http://dl.kr.org/] and NMR 2018 [http://www.kr.org/NMR] KR 2018 IMPORTANT DATES ----------------------- * Submission of title and abstract: 13 May 2018 * Paper submission deadline: 20 May 2018 * Author response period: 25-27 June 2018 * Notification: 11 July 2018 * Camera-ready papers due: 3-10 August 2018 * Conference date: 30 October-2 November 2018 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2018 will also feature a number of exciting workshop and tutorial. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. The list of KR 2018 workshops and tutorials can be found below. Please check the KR 2018 website for further information. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Papers must be submitted in AAAI style and PDF format. We invite two kinds of submissions: * full papers of up to 9 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page; submission of additional material (e.g. proofs) as separate documents is allowed, but this material should not form an integral part of the submission and will only be consulted at the discretion of reviewers, PC members and (area and program) chairs, as appropriate; * short papers describing applications, systems and/or demos, of up to 4 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief revision and update, belief merging, information fusion * Computational aspects of knowledge representation * Concept formation, similarity-based reasoning * Contextual reasoning * Description logics * Decision making * Explanation finding, diagnosis, causal reasoning, abduction * Inconsistency- and exception tolerant reasoning, paraconsistent logics * KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems * KR and game theory * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Multi- and order-sorted representations and reasoning * Nonmonotonic logics, default logics, conditional logics * Philosophical foundations of KR * Ontology formalisms and models * Preference modeling and representation, reasoning about preferences, * preference-based reasoning * Qualitative reasoning, reasoning about physical systems * Reasoning about actions and change, action languages, situation calculus, dynamic logic * Reasoning about knowledge and belief, epistemic and doxastic logics * Spatial reasoning and temporal reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics INVITED SPEAKERS ---------------- Michael Beetz (University of Bremen) William W. Cohen (Carnegie Mellon University) Oren Etzioni (Allen Institute for AI) Francesca Rossi (IBM Research and University of Padua) Mirek Truszczynski -- Great Moments in KR Talk (University of Kentucky) WORKSHOPS (more details at http://kr2018.org/?p=workshops_tutorials) --------- W1: Knowledge Representation in Natural Languages W2: Reasoning about Actions and Processes: Planning, Verification and Synthesis W3: First Workshop on Induce and Deduce: Integrating learning of representations and models with deductive, explainable reasoning that leverages knowledge W4: Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine W5: Hybrid Reasoning and Learning W6: Third International Workshop on Ontology Modularity, Contextuality, and Evolution W7: Cognitive Robotics Workshop TUTORIALS (more details at http://kr2018.org/?p=workshops_tutorials) --------- T1: Belief Revision: 30 Years T2: Implementing KR Approaches with Tweety T3: An overview of ranking-based argumentation semantics T4: Knowledge, Strategy, and Know-How T5: Stream Reasoning - Incremental Reasoning Upon Rapidly Changing Information T6: Rulelog: Highly Expressive, Yet Scalable, Semantic Rules T7: From Game Description Language to Game Description Logics T8: Inconsistency-Tolerant Ontology-Mediated Query Answering CONFERENCE CHAIRS ----------------- General: Frank Wolter (University of Liverpool, UK) Program: Michael Thielscher (The University of New South Wales, Australia) Francesca Toni (Imperial College London, UK) Local Organization: Joohyung Lee (Arizona State University, USA) Tran Cao Son (New Mexico State University, USA) Doctoral Consortium: Sebastian Rudolph (Technische Universitat Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT University, Australia) Ivan Varzinczak (Univ. Artois & CNRS, France) Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA) Marco Maratea (University of Genova, Italy) From sebastian.goetz1 at tu-dresden.de Fri Apr 20 12:44:42 2018 From: sebastian.goetz1 at tu-dresden.de (=?UTF-8?Q?Sebastian_G=c3=b6tz?=) Date: Fri, 20 Apr 2018 12:44:42 +0200 Subject: [fg-arc] CFP: EDDY 2018 - Special Session on Adaptive Data Management meets Self-Adaptive Systems Message-ID: [Apologies if you receive this CFP more than once. Please forward to whomever you think may be interested!] ------------------------------------------------------------------------ EDDY 2018 - Special Session on Adaptive Data Management meets Self-Adaptive Systems 26th-28th of July, 2018 in Porto, Portugal http://www.dataconference.org/EDDY.aspx co-located with DATA 2018 http://www.dataconference.org Submission deadline: June 5, 2018 http://www.insticc.org/primoris/DirectLink.aspx?idEvent=J9gdtHJLRsI=&roleName=AKC6/t1R9Gs=&type=FNiX60z6Am0= ------------------------------------------------------------------------ # Special Session on Adaptive Data Management meets Self-Adaptive Systems (EDDY) With the ongoing shift to a data-driven world in almost all application domains, the management and interpretation/analytics of large amounts of data gain in importance. Moreover, an increasingly important requirement for data management systems is the ability to self-manage by adapting at runtime (1) to react on changing workload and data characteristics or (2) to balance performance and energy-efficiency constraints. Generally, the topic of self-adaptive and self-managing systems has been studied in a variety of applications areas, including autonomic computing, robotics, control systems, and software architectures. The purpose of this special session is to foster the collaboration between disciplines. This special session is the ideal venue for discussing what can be shared in terms of experience, concepts, techniques, modelling paradigms, and to identify new directions. ## Important Dates Submission Deadline: June 5, 2018 Notification: June 19, 2018 Camera-Ready: June 27, 2018 Special Session: July 26th-28th, 2018 ## Topics of Interest Topics of interest include, but are not limited to: * Challenges and Solutions for Adaptive Data Management * Application scenarios and use cases * Requirements and challenges * Structured literature reviews * Experimental results * Data Management in Self-Adaptive Software Systems * Context modeling and management * Continuous data acquisition and retrieval * Incremental reasoning and situation detection * Unanticipated adaptation of the knowledge base * Self-Adaptive Systems for Data Management * Schema Evolution * Adaptive Query Processing * Adaptive Data Analytics * Adaptive Physical Design * Adaptive Physical Data Representation ## Important Links * [Workshop website](http://www.dataconference.org/EDDY.aspx) * [Submission page](http://www.insticc.org/primoris/DirectLink.aspx?idEvent=J9gdtHJLRsI=&roleName=AKC6/t1R9Gs=&type=FNiX60z6Am0=) * [Conference website](http://www.dataconference.org) ## Submission Prospective authors are invited to submit papers in any of the topics listed above. Instructions for preparing the manuscript (in Word and Latex formats) are available at: [Paper Templates](http://www.dataconference.org/Templates.aspx). Please also check the [Guidelines](http://www.dataconference.org/Guidelines.aspx). Papers must be submitted electronically via the web-based submission system using the direct link or the appropriate button on the web page of the special session. ## Organizing Committee * Dirk Habisch *(Technische Universität Dresden, Germany)* * Wolfgang Lehner *(Technische Universität Dresden, Germany)* * Uwe Aßmann *(Technische Universität Dresden, Germany)* * Thomas Kühn *(Technische Universität Dresden, Germany)* * Kai Herrmann *(Technische Universität Dresden, Germany)* ## Program Committee * Alberto Abello *(Universitat Politecninca de Catalunya, Spain)* * Andreas Behrend *(University of Bonn, Germany)* * Nicolás Cardozo *(Universidad de los Andes, Colombia)* * Matthias Böhm *(IBM Almaden, USA)* * to be completed -- Dr.-Ing. Sebastian Götz Researcher (tenured) Technische Universität Dresden Fakultät für Informatik Institut für Software- und Multimediatechnik Lehrstuhl für Softwaretechnologie www: http://www.st.inf.tu-dresden.de/ Mail: sebastian.goetz at acm.org Kontakt: INF 2084 Tel.: +49 351 463 38346 jExam Group www: http://www.jexam.de From announce at cs.ucy.ac.cy Fri Apr 20 16:56:02 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 20 Apr 2018 17:56:02 +0300 Subject: [fg-arc] Call for Papers: ApPLIED workshop held in conjunction with ACM PODC 2018 Message-ID: <4KD2XNQX-6GRH-A77Z-F2I5-D723OBQKKMR8@cs.ucy.ac.cy> *** CALL FOR PAPERS *** ApPLIED: Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems Workshop held in conjunction with PODC 2018 July 27th, 2018, Royal Holloway, University of London, UK http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlDYWxsIGZvciBQYXBlcnM6IEFwUExJRUQgd29ya3Nob3AgaGVsZCBpbiBjb25qdW5jdGlvbiB3aXRoIEFDTSBQT0RDIDIwMTgJMTc1CUxpc3RzCTE2NgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Ftinyurl.com%2FApPLIED2018 SCOPE Designers of advanced systems wishing to implement and evaluate distributed algorithms in practical settings are often faced with challenging questions regarding the transformation from design to a working prototype. For example, what language should they use? What communication library or tool should use to enable the communication between processes? Over which platform the algorithm should be implemented and evaluated? What tradeoffs must be taken into consideration, i.e., choose a low-cost (or free) publically available setting with moderate maintenance or an expensive, developer- friendly one? Context is also very important. Some design assumptions might not be feasible nor affordable to be implemented in practice, or certain considerations might be irrelevant. In other words, some important issues in theory, might not be important in practice whereas some practical obstacles deserve more attention and analysis. The purpose of this workshop is to bring together designers and practitioners of distributed systems from both academia and industry to share their point of views and experiences. We solicit submissions describing research results and/or position papers relevant to the topic of interest to ApPLIED. Topics of interest include, but are not limited to: * The process of designing an algorithm to developing a prototype implementation suitable for running on working systems. * Success stories in which the evaluation of (perhaps known) distributed algorithms resulted in further (analytical) insights. * Position papers that consider new directions, opinions and learned lessons. WORKSHOP SUBMISSION AND PRESENTATIONS Two formats will be considered: * A regular paper submission must report on original research that has not been previously or concurrently published; concurrent submissions to journals or conferences are not permitted. A regular submission must not exceed 6 pages excluding cover page and references. Additional necessary details may be included in an appendix which will be read at the discretion of the program committee. However, the paper must be self-contained without the appendices. Regular papers will have 30 minutes for an oral presentation at the workshop. * Short research statements aim at fostering discussion and collaboration. Research statements may summarize research published elsewhere or outline new emerging ideas. These submissions must not exceed 3 pages excluding cover page and references. The material in these short research statements may be published in other conferences. Short research statements will have 15 minutes for an oral presentation at the workshop. Submissions not conforming to these rules and papers outside of the scope of the conference will be rejected without consideration. The authors are responsible to have at least one of the authors registered to the workshop and presenting their work. PAPER SUBMISSION GUIDELINES Papers are to be submitted electronically through EasyChair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlDYWxsIGZvciBQYXBlcnM6IEFwUExJRUQgd29ya3Nob3AgaGVsZCBpbiBjb25qdW5jdGlvbiB3aXRoIEFDTSBQT0RDIDIwMTgJMTc1CUxpc3RzCTE2NgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dapplied2018 Papers are to be submitted electronically, following the guidelines on the workshop web page. Submission must be in English, in pdf format, and in ACM proceedings style (ACM SIG). Each paper must begin with a cover page containing: (1) title, (2) author names and affiliations, (3) contact author's email, (4) abstract, and (5) indication of whether the paper should be considered as an article of original research, or short research statement. PUBLICATION The final version of the accepted papers will appear on the workshop's website and ACM digital library. These papers will be available to the participants in electronic format during the workshop. DATES * Full Papers Submission: May 13, 2018. * Acceptance Notification: June 4, 2018. * Camera Ready version: June 8, 2018. ORGANIZATION Program Committee Ittai Abraham, VMware Research, Israel Ioannis Chatzigiannakis, Sapienza University of Rome, Italy Chryssis Georgiou (TPC co-chair), University of Cyprus, Cyprus Seif Haridi, SICS, and KTH, Sweden Wolfgang John, Ericsson Research, Sweden Kostas Katrinis, IBM Research, Ireland Yanhong Annie Liu, Stony Brook University, USA Peter Musial, Intralinks, USA Nicolas Nicolaou, KIOS CoE, Cyprus Elad Michael Schiller (TPC co-chair), Chalmers University of Technology, Sweden Stefan Schmid, University of Vienna, Austria Mark R. Tuttle, Amazon, USA Roman Vitenberg, University of Oslo, Norway Marko Vukolic, IBM Research, Switzerland Organizing Committee Chryssis Georgiou, University of Cyprus, Cyprus Elad Michael Schiller, Chalmers University of Technology, Sweden -------------- next part -------------- An HTML attachment was scrubbed... URL: From wadt18 at outlook.com Fri Apr 20 23:49:19 2018 From: wadt18 at outlook.com (WADT 2018) Date: Fri, 20 Apr 2018 21:49:19 +0000 Subject: [fg-arc] WADT 2018 - 3rd Call for Papers & Leverhulme School Message-ID: ====================================================================== THIRD CALL FOR PAPERS WADT 2018 24th International Workshop on Algebraic Development Techniques http://wadt18.cs.rhul.ac.uk July 2–5, 2018, Royal Holloway University of London, Egham, UK AND FIRST CALL FOR PARTICIPATION Leverhulme School on Graph Transformation Techniques 2018 http://wadt18.cs.rhul.ac.uk/lsgt June 29–July 1, 2018, Royal Holloway University of London, Egham, UK ====================================================================== AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: – Foundations of algebraic specification – Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical systems – Specification languages, methods, and environments – Semantics of conceptual modelling methods and techniques – Model-driven development – Graph transformations, term rewriting, and proof systems – Integration of formal specification techniques – Formal testing and quality assurance, validation, and verification – Algebraic approaches to cognitive sciences, including computational creativity WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Monday to Thursday, at Royal Holloway University of London in Egham, UK (https://www.royalholloway.ac.uk). Presentations will be selected on the basis of submitted abstracts. This occurrence of the ADT workshop will be preceded by the Leverhulme School on Graph Transformation Techniques. The school will take place over three days, from Friday, June 29th, to Sunday, July 1st, and will comprise a self-contained series of invited lectures on graph transformation to be given by Reiko Heckel (University of Leicester, UK), Fernando Orejas (Technical University of Catalonia, Spain), and Detlef Plump (University of York, UK). INVITED SPEAKERS Artur d'Avila Garcez (City, University of London, UK) Rolf Hennicker (LMU Munich, Germany) Kai-Uwe Kühnberger (Osnabrück University, Germany) Fernando Orejas (Technical University of Catalonia, Spain) IMPORTANT DATES Submission deadline for abstracts: April 27th, 2018 Notification of acceptance: May 18th, 2018 Early registration: June 1st, 2018 Final abstract due: June 1st, 2018 Leverhulme School on Graph Transformation Techniques: June 29–July 1, 2018 ADT Workshop: July 2–5, 2018 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results or ongoing research as well as invited talks. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. Abstracts must not exceed two pages including references; if a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. Abstracts have to be submitted electronically via the EasyChair system at https://easychair.org/conferences/?conf=wadt18. PROCEEDINGS After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed by the Programme Committee. Selection will be based on originality, soundness, and significance of the presented ideas and results. The proceedings will be published as a volume of Lecture Notes in Computer Science (Springer). The deadline for submissions will be September 3, 2018, with notifications by October 29. Camera-ready versions will be required by November 11. SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3, while the series of graph-transformation lectures is supported by a Leverhulme Trust Visiting Professorship. WADT STEERING COMMITTEE Andrea Corradini (Italy) José Fiadeiro (UK) [co-chair] Rolf Hennicker (Germany) Hans-Jörg Kreowski (Germany) Till Mossakowski (Germany) Fernando Orejas (Spain) Markus Roggenbach (UK) Grigore Roșu (United States) PROGRAMME COMMITEE Paolo Baldan (Italy) Andrea Corradini (Italy) Artur d'Avila Garcez (UK) Răzvan Diaconescu (Romania) José Fiadeiro (UK) [co-chair] Fabio Gadducci (Italy) Reiko Heckel (UK) Rolf Hennicker (Germany) Alexander Knapp (Germany) Barbara König (Germany) Antónia Lopes (Portugal) Narciso Marti-Oliet (Spain) Till Mossakowski (Germany) Fernando Orejas (Spain) Leila Ribeiro (Brazil) Markus Roggenbach (UK) Pierre-Yves Schobbens (Belgium) Lutz Schröder (Germany) Pawel Sobocinski (UK) Ionuț Țuțu (UK) [co-chair] Martin Wirsing (Germany) ORGANIZING COMMITTEE Claudia Chiriță (UK) José Fiadeiro (UK) Ionuț Țuțu (UK) CONTACT INFORMATION Email: wadt18 at cs.rhul.ac.uk Homepage: http://wadt18.cs.rhul.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Sat Apr 21 20:58:40 2018 From: irdta at irdta.eu (IRDTA) Date: Sat, 21 Apr 2018 20:58:40 +0200 Subject: [fg-arc] SLSP 2018: 3rd call for papers Message-ID: <545102060a010b05015e56040f055a01045007500b52035150030e535254025850580503000c015507045803530a59@grlmc_ip-zone_com-6> SLSP 2018: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   6th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2018   Mons, Belgium   October 15-17, 2018   Co-organized by:   NUMEDIART Institute University of Mons   LANGUAGE Institute University of Mons   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   http://slsp2018.irdta.eu/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2018, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2018 will take place in Mons, which was European Capital of Culture in 2015. The venue will be:   University of Mons 31 Bvd Dolez, 7000 Mons Belgium   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2018 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   Thomas Hain (University of Sheffield), Crossing Domains in Automatic Speech Recognition   Simon King (University of Edinburgh), Does 'End-to-End' Speech Synthesis Make any Sense?   Isabel Trancoso (Instituto Superior Técnico, Lisbon), Analysing Speech for Clinical Applications   PROGRAMME COMMITTEE:   Steven Abney (University of Michigan, US) Srinivas Bangalore (Interactions LLC, US) Jean-François Bonastre (University of Avignon et Pays du Vaucluse, FR) Pierrette Bouillon (University of Geneva, CH) Nicoletta Calzolari (Italian National Research Council, IT) Erik Cambria (Nanyang Technological University, SG) Kenneth W. Church (Baidu Research, US) Walter Daelemans (University of Antwerp, BE) Thierry Dutoit (University of Mons, BE) Marcello Federico (Bruno Kessler Foundation, IT) Robert Gaizauskas (University of Sheffield, UK) Ralph Grishman (New York University, US) Udo Hahn (University of Jena, DE) Siegfried Handschuh (University of Passau, DE) Mark Hasegawa-Johnson (University of Illinois, Urbana–Champaign, US) Keikichi Hirose (University of Tokyo, JP) Julia Hirschberg (Columbia University, US) Nancy Ide (Vassar College, US) Gareth Jones (Dublin City University, IE) Philipp Koehn (University of Edinburgh, UK) Haizhou Li (National University of Singapore, SG) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Alessandro Moschitti (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Jian-Yun Nie (University of Montréal, CA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Cecile Paris (CSIRO Data61, AU) Jong C. Park (Korea Advanced Institute of Science and Technology, KR) Alexandros Potamianos (National Technical University of Athens, GR) Paul Rayson (Lancaster University, UK) Mats Rooth (Cornell University, US) Paolo Rosso (Technical University of Valencia, ES) Alexander Rudnicky (Carnegie Mellon University, US) Tanja Schultz (University of Bremen, DE) Holger Schwenk (Facebook AI Research, FR) Vijay K. Shanker (University of Delaware, US) Richard Sproat (Google Research, US) Tomoki Toda (Nagoya University, JP) Gökhan Tür (Google Research, US) Yorick Wilks (Institute for Human & Machine Cognition, US) Phil Woodland (University of Cambridge, UK) Dekai Wu (Hong Kong University of Science and Technology, HK) Junichi Yamagishi (University of Edinburgh, UK)   ORGANIZING COMMITTEE:   Stéphane Dupont (Mons) Thierry Dutoit (Mons, co-chair) Kévin El Haddad (Mons) Kathy Huet (Mons) Sara Morales (Brussels) Manuel J. Parra Royón (Granada) Gueorgui Pironkov (Mons) David Silva (London, 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).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=slsp2018   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of Computer Speech and Language (Elsevier, JCR 2016 impact factor: 1.900) 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:   http://slsp2018.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: May 27, 2018 Notification of paper acceptance or rejection: July 3, 2018 Final version of the paper for the LNCS/LNAI proceedings: July 13, 2018 Early registration: July 13, 2018 Late registration: October 1, 2018 Submission to the journal special issue: January 17, 2019   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Université de Mons   Institute for Research Development, Training and Advice (IRDTA), Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From nicosia at dmi.unict.it Sun Apr 22 09:04:08 2018 From: nicosia at dmi.unict.it (Giuseppe Nicosia) Date: Sun, 22 Apr 2018 08:04:08 +0100 Subject: [fg-arc] CfP: 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 Call for Papers - Paper submission deadline: April 30, 2018 Message-ID: [Apologies if you receive multiple copies of this announcement] [Please kindly help forward it to potentially interested attendees] 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 An Interdisciplinary Conference: Machine Learning, Optimization & Data Science without Borders SIAF Learning Village - Volterra (Pisa) Tuscany, September 13-16, 2018 https://lod2018.icas.xyz/ lod at icas.xyz KEYNOTE SPEAKERS ◦ Jörg Bornschein DeepMind, London, UK ◦ Peter Flach University of Bristol, UK - Editor-in-Chief of the Machine Learning Journal ◦ George Karypis University of Minnesota, USA ◦ Martin Ravetti Universidade Federal de Minas Gerais, Brasil ◦ Andrey Raygorodsky Moscow Institute of Physics and Technology, Russia ◦ Stephen Smale - Fields Medal University of California Berkeley, USA More Speakers TBA! ************************* CALL FOR PAPERS ************************* Paper submission deadline: April 30, 2018 https://lod2018.icas.xyz/call-for-papers/ The LOD 2018 conference will consist of four days of main conference sessions. The 4th Annual Conference on machine Learning, Optimization and Data science (LOD) is a single-track machine learning, computational optimization, data science conference that includes invited talks, tutorial talks, special sessions, industrial tracks, demonstrations and oral and poster presentations of refereed papers. We invite submissions of papers, abstracts and posters on all topics related to Machine learning, Optimization and Big Data including real-world applications for the conference proceedings: https://lod2018.icas.xyz/call-for-papers/ Please prepare your paper in English using the Lecture Notes in Computer Science (LNCS) template, which is available http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Papers must be submitted in PDF. LOD 2018 Types of Submissions When submitting a paper to LOD 2018, authors are required to select one of the following four types of papers: + Long paper: original novel and unpublished work (max. 12 pages in Springer LNCS format); + Short paper: an extended abstract of novel work (max. 4 pages); + Work for oral presentation only (no page restriction; any format). For example, work already published elsewhere, which is relevant and which may solicit fruitful discussion at the conference; + Work for poster presentation only. The poster format for the presentation is A0 (118.9 cm high and 84.1 cm wide, respectively 46.8 x 33.1 inch). For research work which is relevant and which may solicit fruitful discussion at the conference. LOD 2018 Post-Proceedings All accepted long papers will be published in a volume of the series 'Lecture Notes in Computer Science' from Springer after the conference. Instructions for preparing and submitting the final versions (camera-ready papers) of all accepted papers will be available later on. All the other papers (short papers, abstract of the oral presentations, poster presentations) will be published on the LOD 2018 web site. LOD 2018 Best Paper Springer sponsors the LOD 2018 Best Paper Award with a cash prize of EUR 1,000. LOD 2018 Submission System All papers must be submitted using EasyChair: https://easychair.org/conferences/?conf=lod2018 DEADLINE: April 30, 2018 LOD 2018 Important Dates + Paper Submission Deadline: April 30, 2018 + Decision Notification to Authors: June 1st, 2018 + Camera Ready Submission Deadline: July 1st, 2018 + Deadline for early Registration as Presenting Author: July 1st, 2018 + Late registration: July 2 – September 16, 2018 + On-Site registration: September 13-16, 2018 + LOD 2018 conference: September 13-16, 2018 LOD 2018 Registration https://lod2018.icas.xyz/registration/ LOD 2018 Program Committee The current LOD 2018 Program Committee includes about 300 Program Committee members: https://lod2018.icas.xyz/program-committee/ Any questions regarding the submission process can be sent to conference organizers: lod at icas.xyz We look forward to seeing you in Tuscany! LOD 2018 Chairs & Organizing Committee. https://lod2018.icas.xyz/ lod at icas.xyz MOD 2017 Keynote Speakers: Yi-Ke Guo, Imperial College London, UK. Founding Director of Data Science Institute Panos Pardalos, University of Florida, USA. Director of the Center for Applied Optimization Ruslan Salakhutdinov,Carnegie Mellon University, USA. Director of AI Research at Apple. My Thai, University of Florida, USA Jun Pei, Hefei University of Technology, China Vincenzo Sciacca, Cloud and Cognitive Division – IBM Rome, Italy http://www.taosciences.it/mod/keynote-speakers/ MOD 2016 Keynote Speakers: Nello Cristianini, University of Bristol, UK George Michailidis, University of Florida, USA Stephen Muggleton, Imperial College London, UK Panos Pardalos, University of Florida, USA http://www.taosciences.it/mod-2016/keynote-speakers/ MOD 2015 Keynote Speakers: Vipin Kumar, University of Minnesota, USA Panos Pardalos, University of Florida, USA Tomaso Poggio, MIT, USA http://www.taosciences.it/mod-2015/MOD 2015 Best Paper Award of the Previous Editions: https://lod2018.icas.xyz/best-paper-award/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Apr 23 15:09:36 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 23 Apr 2018 16:09:36 +0300 Subject: [fg-arc] Visiting Academic Position -- Department of Computer Science -- University of Cyprus Message-ID: *** VISITING ACADEMIC POSITION *** The Department of Computer Science at the University of Cyprus has one (1) vacancy for Visiting Academic at the rank of Lecturer or Assistant Professor. Presently, the Department is seeking applications for the Fall Semester 2018-2019 (1/9/2018-31/12/2018). Applications are being accepted in all areas, but we are particularly interested in: * Algorithms and Complexity * Computer Graphics * Distributed Systems * Parallel Computing * Visual Computing Applicants should hold a Ph.D. in a relevant subject and BE FLUENT IN GREEK (both these requirements are mandatory). Citizenship of the Republic of Cyprus is not a requirement. TERMS OF EMPLOYMENT: Before submitting an application, applicants should ensure, that in case they are selected they will be residing in Cyprus on a full-time basis during the employment period; submission of application implies acceptance of this condition. Furthermore, acceptance of this term must also be explicitly stated in the letter of application. Monthly gross salaries according to the current legislation governing these positions are approximately as follows: * Visiting Academic (Assistant Professor) 3.091,35 EUR * Visiting Academic (Lecturer) 2.696,35 EUR Gross pay may vary based on fluctuations imposed by State regulations. A bonus equivalent to a percentage of the 13th monthly salary will also be awarded based on the percentage time of the year during which the candidate is employed. The successful candidate will be required to teach a total of nine (9) hours per week. The successful candidate selected for the position must have obtained a leave of absence (or a sabbatical) from their current University. Anyone wishing to apply should send a full CV to the following email (the deadline for receiving applications is the 27th April 2018): E-mail: chair at cs.ucy.ac.cy For more details and other information, interested individuals may contact the Chairperson of the Department of Computer Science: Professor Elpida Keravnou-Papailiou Tel: +357-22-892669 Fax: +357-22-892701 P.O. Box 20537, CY-1678 Nicosia, Cyprus, Tel. +357 22892700, Fax +357 22892701 Email: cs at cs.ucy.ac.cy, Web: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlWaXNpdGluZyBBY2FkZW1pYyBQb3NpdGlvbiAtLSBEZXBhcnRtZW50IG9mIENvbXB1dGVyIFNjaWVuY2UgLS0gVW5pdmVyc2l0eSBvZiBDeXBydXMJMTc3CUxpc3RzCTE2MQljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cs.ucy.ac.cy -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Apr 24 12:49:25 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 24 Apr 2018 13:49:25 +0300 Subject: [fg-arc] 2018 European Conference on Ambient Intelligence (AmI 2018): Third Call for Papers Message-ID: *** THIRD CALL FOR PAPERS *** 2018 European Conference on Ambient Intelligence (AmI 2018) Golden Bay Beach Hotel, Larnaca, Cyprus, 12-14 November, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogVGhpcmQgQ2FsbCBmb3IgUGFwZXJzCTE3OAlMaXN0cwkxNjEJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fami2018 Ambient intelligence refers to normal working and living environments being surrounded by embedded devices that can merge unobtrusively and in natural ways using information and intelligence hidden in the network connecting these devices (e.g. The Internet of Things). Such devices, each specialised in one or more capabilities, are intended to work together based on an infrastructure of intelligent systems, to provide a variety of services improving safety, security and the quality of life in ordinary living, travelling and working environments. ABOUT AMI 2018 The 2018 European Conference on Ambient Intelligence (AmI 2018) has a focus on the role of Ambient Intelligence "Towards a Smart and Human Centered Internet of Things". We invite submissions of full and short papers as well as posters, presenting original research. AmI 2018 is an interdisciplinary venue for leading international researchers, designers, and practitioners that present and discuss new results in Ambient Intelligence. AmI builds on the success of thirteen predecessor conferences, which started in 2003 with the EUSAI-event in Veldhoven, The Netherlands. More information about the AmI series can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogVGhpcmQgQ2FsbCBmb3IgUGFwZXJzCTE3OAlMaXN0cwkxNjEJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fami-conferences.org . The Proceedings of AmI 2018 will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Furthermore, Springer will sponsor the Best Paper Award with 1,000 EUR. TOPICS AmI 2018 will revolve around the focus topic "Towards a Smart and Human- Centred Internet of Things" that follows the vision of Calm Technology, where technology is useful but does not demand our full attention or interfere with our usual behavior and activities. Relevant research topics include, but are not limited to: · Sensors and Actuators Networks · Ambient Networking and Communication · Mobile, Ubiquitous and Pervasive Computing · Internet of Things and Interconnected devices · Internet of Humans and Human Sensors · Artificial Intelligence Models, Methods and Techniques · Machine Learning, Data mining and Big Data · Modelling Context Awareness and Location-based Services · Agent Technologies and Multi-agent Platforms · Cloud Computing for Intelligent Ambients · Multimodal Human-Computer Interaction · Virtual, Mixed and Augmented Reality · Symmetric Interaction in Real and Virtual worlds · Reliability, Assurance and Safety · Security, Privacy and Trust · Systems Architecture and Middleware · Software Development Methodologies and Tools · Robotic Companions · Industrial Internet and Industry 4.0 · Sustainability and Fair Trade · Smart Homes and Intelligent buildings · Energy Efficiency · Ambient Assisted Living · Healthcare and Well-being · Smart Cities · Connected Cars and Autonomous Driving · Pervasive Games in Hybrid Worlds · Ambient Intelligence Education · Evaluation methods and techniques for Trials · Citizen science, Living labs, Maker communities PAPER AND POSTER SUBMISSION Papers must be anonymized to facilitate blind review. Authors are encouraged to minimize any references that may reveal the identity of the authors and their institutions. Relevant references to an author's previous research should not be suppressed but instead referenced in a neutral way. All papers will be reviewed by at least three Program Committee members. The length of each paper including figures and references may not exceed 16 pages for regular papers and 6 pages for short papers. The posters session aims to collect papers showing work in progress and thus raise opportunities to present and discuss current work in an informal setting. These papers will be presented as posters in the conference. Poster contributions may not exceed 2 pages, including figures and references. For more information about what should be considered a regular, short or poster contribution, please refer to the conference web site. All paper and poster submissions must be written in English and submitted in PDF format. Submission of a paper or poster should be regarded as an undertaking that, should the paper or poster be accepted, at least one of the authors will attend the conference to present the work. For preparation of papers and posters please follow the instructions for authors available at the Springer LNCS Web page (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Authors of full and short papers as well as posters are welcome to submit using the conference review system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogVGhpcmQgQ2FsbCBmb3IgUGFwZXJzCTE3OAlMaXN0cwkxNjEJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dami2018 . This year's best paper awards are graciously sponsored by Springer with 1,000 EUR. SPECIAL ISSUE The authors of the best papers to be accepted at AmI 2018 will be invited to submit substantially extended and revised versions of their papers with at least 70% new material to a special journal issue for AmI 2018 to be published in the Journal of Ambient Intelligence and Humanised Computing, by Springer. IMPORTANT DATES · Paper and Poster Submissions due: 17th June 2018 · Notification of Acceptance/Rejection: 22nd July 2018 · Camera-Ready Versions due: 29th July 2018 · Author Registration: 5th August 2018 ORGANIZING COMMITTEE General Chair · George Roussos, Birkbeck, University of London, UK Program Chairs · Achilleas D. Kameas, Hellenic Open University, Greece · Kostas Stathis, Royal Holloway, University of London, UK Workshops Chairs · Ioannis Chatzigiannakis, University of Rome, Italy · Fariba Sadri, Imperial College, UK Local Organization Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From sabel at ki.informatik.uni-frankfurt.de Tue Apr 24 15:35:11 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Tue, 24 Apr 2018 15:35:11 +0200 Subject: [fg-arc] PPDP 2018: Deadline Extension! Message-ID: <084f366f-2ff6-4517-d429-d89a6a4511b1@ki.informatik.uni-frankfurt.de> News: The submission deadline is extended until Monday, May 8, 23:59 AoE! ======================================================================                 PPDP 2018: Deadline Extension ======================================================================                  20th International Symposium on         Principles and Practice of Declarative Programming          Frankfurt am Main, Germany, 3-5 September 2018         http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html             (co-located with LOPSTR 2018 and WFLP 2018)              http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Invited Talks ============= -   Philippa Gardner, Imperial College: Testing and Verification for     JavaScript (joint with LOPSTR) -   Jorge Navas, SRI International: Constrained Horn Clauses for     Verification (joint with LOPSTR) -   Chung-Chieh Shan, University of Indiana: Calculating Distributions Scope ===== The PPDP 2018 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to -   Language Design: domain-specific languages; interoperability;     concurrency, parallelism, and distribution; modules; probabilistic     languages; reactive languages; database languages; knowledge     representation languages; languages with objects; language     extensions for tabulation; metaprogramming. -   Implementations: abstract machines; interpreters; compilation;     compile-time and run-time optimization; memory management. -   Foundations: types; logical frameworks; monads and effects;     semantics. -   Analysis and Transformation: partial evaluation; abstract     interpretation; control flow; data flow; information flow;     termination analysis; resource analysis; type inference and type     checking; verification; validation; debugging; testing. -   Tools and Applications: programming and proof environments;     verification tools; case studies in proof assistants or interactive     theorem provers; certification; novel applications of declarative     programming inside and outside of CS; declarative programming     pearls; practical experience reports and industrial application;     education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will be co-located with the 28th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Submission Categories ===================== Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: insights gained from real-world projects using declarative programming comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum curricular issues encountered when using declarative programming in education real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general novel use of declarative programming in the classroom programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study any material beyond the respective page limit. Format of a submission ====================== For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.48. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team at Aptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ============================ At least one author of each accepted submission will be expected to attend and present the work at the conference. The pc chair may retract a paper that is not presented. The pc chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates =============== -   08.05.2018 AOE: paper submission -   14.06.2018 rebuttal period (48 hours) -   25.06.2018 notification -   16.07.2018 final papers -   03.09.2018 conference starts From slucas at dsic.upv.es Wed Apr 25 10:15:29 2018 From: slucas at dsic.upv.es (Salvador Lucas) Date: Wed, 25 Apr 2018 10:15:29 +0200 Subject: [fg-arc] WST 2018 - Last Call for Papers (deadline: April 30, 2018) Message-ID: <4a0927e5-2ca8-3d44-7436-b2a9c4adc71e@dsic.upv.es> ==========================================================================                           WST 2018 - Call for Papers                    16th International Workshop on Termination                     July 18-19, 2018, Oxford, United Kingdom                           http://wst2018.webs.upv.es/ ========================================================================== NEW: James Worrell and Akihisa Yamada, WST 2018 invited speakers The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The workshop is held as part of the 2018 Federated Logic Conference (FLoC 2018)           http://www.floc2018.org/ IMPORTANT DATES:  * submission deadline:  April 30, 2018  * notification:         May 28, 2018  * final version due:    June 11, 2018  * workshop:             July 18-19, 2018 TOPICS: The 16th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to):  * abstraction methods in termination analysis  * certification of termination and complexity proofs  * challenging termination problems  * comparison and classification of termination methods  * complexity analysis in any domain  * implementation of termination methods  * non-termination analysis and loop detection  * normalization and infinitary normalization  * operational termination of logic-based systems  * ordinal notation and subrecursive hierarchies  * SAT, SMT, and constraint solving for (non-)termination analysis  * scalability and modularity of termination methods  * termination analysis in any domain (lambda calculus, declarative    programming, rewriting, transition systems, etc.)  * well-founded relations and well-quasi-orders INVITED SPEAKERS:     James Worrell - University of Oxford        "Termination Checking and Invariant Synthesis for Affine Programs"     Akihisa Yamada - NII Japan        "Towards a Unified Method for Termination" COMPETITION: Since 2003, the catalytic effect of WST to stimulate new research on termination has been enhanced by the celebration of the Termination Competition and its continuously developing problem databases containing thousands of programs as challenges for termination analysis in different categories, see    http://termination-portal.org/wiki/Termination_Competition In 2018, the Termination Competition will run in parallel with FLoC 2018. More details will be provided in a dedicated announcement on the competition. PROGRAM COMMITTEE:     Cristina Borralleras - U. de Vic     Ugo Dal Lago - U. degli Studi di Bologna     Carsten Fuhs - Birkbeck, U. of London     Samir Genaim - U. Complutense de Madrid     Juergen Giesl - RWTH Aachen     Raul Gutiérrez - U. Politecnica de València     Keiichirou Kusakari - Gifu University     Salvador Lucas (chair) - U. Politecnica de Valencia     Fred Mesnard - U. de La Reunion     Aart Middeldorp - U. of Innsbruck     Albert Rubio - U. Politecnica de Catalunya     Rene Thiemann - U. of Innsbruck     Caterina Urban - ETH Zürich SUBMISSION: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page:     https://easychair.org/conferences/?conf=wst2018 Please, use LaTeX and the LIPIcs style file     http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. From announce at cs.ucy.ac.cy Wed Apr 25 12:49:48 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 25 Apr 2018 13:49:48 +0300 Subject: [fg-arc] 2018 European Conference on Ambient Intelligence (AmI 2018): Last Call for Workshop Proposals Message-ID: *** LAST CALL FOR WORKSHOP PROPOSALS *** 2018 European Conference on Ambient Intelligence (AmI 2018) Golden Bay Beach Hotel, Larnaca, Cyprus, 12-14 November, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogTGFzdCBDYWxsIGZvciBXb3Jrc2hvcCBQcm9wb3NhbHMJMTgwCUxpc3RzCTE2MQljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fami2018 *** Deadline for proposals: 1 May 2018 *** Ambient intelligence refers to normal working and living environments being surrounded by embedded devices that can merge unobtrusively and in natural ways using information and intelligence hidden in the network connecting these devices (e.g. The Internet of Things). Such devices, each specialised in one or more capabilities, are intended to work together based on an infrastructure of intelligent systems, to provide a variety of services improving safety, security and the quality of life in ordinary living, travelling and working environments. The 2018 European Conference on Ambient Intelligence (AmI 2018) has a focus on the role of Ambient Intelligence "Towards a Smart and Human Centered Internet of Things". The workshops at AmI2018 will enhance and complement the conference program by providing an opportunity to present new or emerging and cutting-edge topics of particular interest in the field and related areas. We invite workshop proposals in any topic(s) of interest to Ambient Intelligence and related to the conference. Each workshop proposal should be emailed to the two workshop chairs, and should contain the following information: · workshop title, · duration (half day or full day), · a description of the specific scientific/technical scope of the workshop, · a list of topics of interest, · the reasons why the workshop should be held within AmI2018, · details of all the members of the Organizing Committee (OC), · relevant experience of the organizers, · identification of the member of the OC who is the contact person, · the list of members of Workshop Program Committee, · a preliminary version of the Call for Papers, · the proposed structure of the workshop, · planned forms of publicity and publication plans (if any, or if they want to publish in the collective volume, see below). Workshop Acceptance Rules The decision on which proposed workshops get accepted will be carried-out through a two-stage process. Initially some of the workshops proposed will be short-listed, based on the quality of the proposal and the relevance of the topics covered. These workshops will later be confirmed at the Final Selection Stage if they have successfully attracted a sufficient number of reasonable quality submissions and the corresponding number of registrations for these submissions. Indicative numbers: half-day workshops should have at least 5 registrations and full day workshops should have at least 10. If necessary, workshops will be merged to provide a viable programme. Financial Support Some degree of financial support may be given to the workshop organizers, dependent on the success of the workshop. Important Dates · Receipt of workshop proposals: 1 May 2018 · Shortlist of stage 1 accepted workshops: 20 May 2018 · Workshop CfPs and Websites: 31 May 2018 · Workshop Chairs to receive papers from authors: 1 September 2018 · Workshop author registration 30 September 2018 · Accepted workshops stage 2: 15 October 2018 · Workshop day: 12 November 2018 Proceedings Accepted workshops can follow their own publication path, provided that they acknowledge AmI2018 in the publication and inform the workshop and conference organizers. For workshops that are interested, collective proceedings can be published in CEUR. Workshops Chairs Ioannis Chatzigiannakis (Sapienza University of Rome, Italy) ichatz at diag.uniroma1.it Fariba Sadri (Imperial College London, UK) f.sadri at imperial.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Wed Apr 25 14:21:24 2018 From: irdta at irdta.eu (IRDTA) Date: Wed, 25 Apr 2018 14:21:24 +0200 Subject: [fg-arc] DeepLearn 2018: early registration May 3 Message-ID: <545102060a010b050252590007015a06535703580a5352570a0a5b010305515355040d530a5d080b53035350540259@grlmc_ip-zone_com-6> DeepLearn 2018: early registration May 3*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2018   Genova, Italy   July 23-27, 2018   Organized by: University of Genova IRDTA – Brussels/London   http://grammars.grlmc.com/DeepLearn2018/   ***************************************************************   --- Early registration deadline: May 3, 2018 ---   ***************************************************************   SCOPE:   DeepLearn 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 six-hour courses, and 1 round table, 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, DeepLearn 2018 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:   DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be:   Porto Antico di Genova – Centro Congressi Magazzini del Cotone – Module 10 16128 Genova, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Tülay Adalı (University of Maryland, Baltimore County), [introductory/intermediate] Data Fusion through Matrix and Tensor Decompositions: Linear, Multilinear, and Nonlinear Models and their Applications   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications   Joachim M. Buhmann (Swiss Federal Institute of Technology Zurich), [introductory/advanced] Model Selection by Algorithm Validation   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale   Xiaodong He (JD AI Research), [intermediate/advanced] Deep Learning for Natural Language Processing and Language-Vision Multimodal Intelligence   Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology   Sun-Yuan Kung (Princeton University), [introductory] Systematic (Analytical and Empirical) Optimization/Generalization of  Deep Learning Networks   Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers   Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [introductory/advanced] Cognitive Architectures for Object Recognition in Video   Douglas A. Reynolds (Massachusetts Institute of Technology) & Najim Dehak (Johns Hopkins University), [introductory/intermediate] Beyond Words: Machine and Deep Learning for Speaker, Language, and Emotion Recognition from Speech   Björn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis   Michèle Sebag (French National Center for Scientific Research, Gif-sur-Yvette), [intermediate] Representation Learning, Domain Adaptation and Generative Models with Deep Learning   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines   Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis   Gökhan Tür (Google Research), [intermediate/advanced] Deep Learning in Conversational AI   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] A Statistical Machine Learning Perspective of Deep Learning: Algorithm, Theory, Scalable Computing   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Yudong Zhang (University of Leicester), [introductory/intermediate] Convolutional Neural Network and Its Variants   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 July 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018.   ORGANIZING COMMITTEE:   Alberto Cabri (Genova) Francesco Masulli (Genova, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Stefano Rovetta (Genova) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2018/registration.php   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 can be found at   http://www.deeplearn-hotels.promoest.com/hp.aspx?s=0   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:   Università degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Apr 26 15:05:48 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 26 Apr 2018 16:05:48 +0300 Subject: [fg-arc] 24th International Symposium on Methodologies for Intelligent Systems (ISMIS 2018): Fourth Call for Papers Message-ID: *** FOURTH CALL FOR PAPERS *** 24th International Symposium on Methodologies for Intelligent Systems (ISMIS 2018) St. Raphael Resort, Limassol, Cyprus, 29-31 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyNHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIE1ldGhvZG9sb2dpZXMgZm9yIEludGVsbGlnZW50IFN5c3RlbXMgKElTTUlTIDIwMTgpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzCTE4MglMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fismis2018 WELCOME ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. Held twice every three years, the conference provides a medium for exchanging scientific research and technological achievements accomplished by the international community. SCOPE The scope of ISMIS is intended to represent a wide range of topics on applying Artificial Intelligence techniques to areas as diverse as decision support, automated deduction, reasoning, knowledge based systems, machine learning, computer vision, robotics, planning, databases, information retrieval, etc. The focus is on research in intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications. TOPICS ISMIS 2018 is intended to attract individuals who are actively engaged both in theoretical and practical aspects of intelligent systems. The goal is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas in the following areas: · Active Media Human-Computer Interaction · Autonomic and Evolutionary Computation · Digital Libraries · Health Informatics · Intelligent Agent Technology · Intelligent Data Processing and Analytics · Intelligent Information Retrieval · Intelligent Information Systems · Intelligent Language Processing · Knowledge Integration and Aggregation · Knowledge Discovery and Data Mining · Knowledge Visualization · Logic for Artificial Intelligence · Multimedia Information Retrieval · Soft Computing · Text Mining · Web Intelligence · Web Mining In addition, we solicit papers dealing with Applications of Intelligent Systems in complex/novel domains, e.g. art, human genome, global change, manufacturing, social good, etc. PAPER SUBMISSION Authors are invited to submit their manuscripts in LNCS/LNAI style (maximum 10 pages). All paper submissions will be handled electronically. All submissions will be subject to review by the ISMIS 2018 Program Committee. Papers should be prepared using the Springer LNCS/LNAI style (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), maximum 10 pages. Papers should be submitted in PDF form via ISMIS 2018 Online Submission System: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyNHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIE1ldGhvZG9sb2dpZXMgZm9yIEludGVsbGlnZW50IFN5c3RlbXMgKElTTUlTIDIwMTgpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzCTE4MglMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dismis2018 . PUBLICATION AND JOURNAL SPECIAL ISSUES The ISMIS 2018 proceedings will be published by Springer in LNAI (Lecture Notes in Artificial Intelligence) and will be available at the conference. Authors of best papers will be invited to submit their extended versions to the Journal of Intelligent Information Systems (JIIS) (http://www.springer.com/computer/database+management+%26+information+retrieval/journal/10844) published by Springer. Fast Track Processing will be used to have them reviewed and published. IMPORTANT DATES · Paper Submissions due: 10th May 2018 · Notification of Acceptance/Rejection: 10th July 2018 · Camera-Ready Versions of Accepted Papers: 31st July 2018 · Author Registration: 31st Juy 2018 · Early Non-Author Registration: 10th September 2018 · Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Steering Committee Chair · Zbigniew Ras (UNC-Charlotte, USA & Polish-Japanese Academy of IT, Poland) Symposium Chair · George Angelos Papadopoulos (University of Cyprus, Cyprus) Program Committee Co-Chairs · Michelangelo Ceci (Universita degli Studi di Bari, Italy) · Nathalie Japkowicz (American University, USA) · Jiming Liu (Hong Kong Baptist University, Hong Kong) Special Sessions Chair · Stefano Ferilli (University of Bari, Italy) Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyNHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIE1ldGhvZG9sb2dpZXMgZm9yIEludGVsbGlnZW50IFN5c3RlbXMgKElTTUlTIDIwMTgpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzCTE4MglMaXN0cwkxNjAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fismis2018%2Fcommittees%2F -------------- next part -------------- An HTML attachment was scrubbed... URL: From zimmer at informatik.uni-halle.de Fri Apr 27 18:01:48 2018 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Fri, 27 Apr 2018 18:01:48 +0200 Subject: [fg-arc] Call for papers: ESOCC 2018 (European Conference and Service-Oriented and Cloud Computing) Message-ID: <4c165da9-a759-69f9-74ea-3a1daf795fa8@informatik.uni-halle.de> =============== CALL FOR PAPERS =============== 7th European Conference and Service-Oriented and Cloud Computing (ESOCC 2018) September 12-14, 2018, Como, Italy http://esocc2018.disco.unimib.it ----- Scope ----- Service-oriented and cloud computing have made a huge impact both on the software industry and on the research community. Today, service and cloud technologies are applied to build large-scale software landscapes as well as to provide single software services to end users. Services today are independently developed and deployed as well as freely composed while they can be implemented in a variety of technologies, a quite important fact from a business perspective. Similarly, cloud computing aims at enabling flexibility by offering a centralized sharing of resources. The industry's need for agile and flexible software and IT systems has made cloud computing the dominating paradigm for provisioning computational resources in a scalable, on-demand fashion. Nevertheless, service developers, providers, and integrators still need to create methods, tools and techniques to support cost-effective and secure development as well as use of dependable devices, platforms, services and service-oriented applications in the cloud. The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier conference on advances in the state of the art and practice of service-oriented computing and cloud computing in Europe. The main objectives of this conference are to facilitate the exchange between researchers and practitioners in the areas of service-oriented computing and cloud computing, as well as to explore the new trends in those areas and foster future collaborations in Europe and beyond. ------ Tracks ------ - Main conference: three days full of invited talks, panels, and presentations of selected research papers, including a dedicated day to satellite workshops . - PhD Symposium: here Ph.D. students have the opportunity to present their work, even at an early stage, to a panel of experienced professors and researchers, which can supply valuable comments for its improvement. - European Projects Track: an extremely useful opportunity for researchers around Europe to disseminate the latest research developments in their projects. - Industrial Track: specifically conceived to allow researchers and practitioners from companies to share their experience and latest breakthroughs. Details about all the tracks are available at the conference web site: http://esocc2018.disco.unimib.it ------------- Special focus ------------- A particular focus in this year's conference will be on: - Service and Cloud Computing in the era of virtualization - Business Process Management in the Cloud ------------- Invited talks ------------- Valerie Issarny (INRIA, France) and Omer Rana (Cardiff University, UK) will be the keynote speakers of ESOCC 2018 with two outstanding and relevant speeches on, namely, “When service-oriented and cloud computing meets the IoT: A use case in the context of urban mobile crowd-sensing” and “Edge Clouds: Architectures and Deployment Models”. ------------------ Topics of interest ------------------ ESOCC 2018 seeks original, high quality papers related to all aspects of service-oriented and cloud computing. Specific topics of interest include but are not limited to: - Service and Cloud Computing Models * Design patterns, guidelines and methodologies * Governance models * Architectural models * Requirements engineering * Formal Methods * Model-Driven Engineering * Quality models * Security, Privacy & Trust models * Self-Organizing Service-Oriented and Cloud Architectures Models * Testing models - Service and Cloud Computing Engineering * Service Discovery, Matchmaking, Negotiation and Selection * Monitoring and Analytics * Governance and management * Cloud Interoperability, Multi-Cloud, Cross-Cloud, and Federated Cloud solutions * Frameworks & Methods for Building Service and Cloud based Applications * Cross-layer adaptation * Edge, Cloud, Service Orchestration & Management * Service Level Agreement Management * Service Evolution/Optimisation * Service & Cloud Testing and Simulation * QoS for Services and Clouds * Semantic Web Services * Service mining * Service & Cloud Standards - Technologies * DevOps in the Cloud * Containerized services * Emerging Trends in Storage, Computation and Network Clouds * Microservices Deployment and Management * Next Generation Services Middleware and Service Repositories * RESTful Clouds and Services * Service and Cloud Middleware & Platforms * Blockchain for Services & Clouds * Services and Clouds with IoT * Fog Computing with Service and Cloud - Business and Social aspects * Enterprise Architectures for Service and Cloud * Service-based Workflow Deployment & Life-cycle Management * Core Applications, e.g., Big Data, Commerce, Energy, Finance, Health, Scientific Computing, Smart Cities * Business Process as a Service β€" BPaaS * Service and Cloud Business Models * Service and Cloud Brokerage * Service and Cloud Marketplaces * Service and Cloud Cost & Pricing * Crowdsourcing Business Services * Social and Crowd-based Cloud * Energy issues in Cloud * Sustainability issues ---------- Submissions ---------- ESOCC 2018 invites submissions in all the tracks: - Regular research papers (15 pages) - Ph.D. Symposium (8 pages, authored by the PhD student with indication of supervisor's names) - Industry Track (1-to-5 pages description of current R&D projects) - European Project Space (1-to-5 pages description of ongoing projects) We only accept original papers, not submitted for publication elsewhere. The papers must be formatted according to the LNCS proceedings guidelines. They must be submitted to the EasyChair site at https://easychair.org/conferences/?conf=esocc2018 All accepted papers of the main conference will be included in the conference proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series (http://www.springer.com/lncs) There is a high possibility that the accepted papers of the other tracks will be published on CCISS series of Springer (final approval pending) At least one author of each accepted paper is expected to register and present the work at the conference. ---------- Important dates ---------- Research papers - Paper Submission: May 7, 2018 - Notification: June 22, 2018 - Final Version: July 06, 2018 Industrial papers/EU Project Space - Paper submission: July 14, 2018 - Notification: August 13. 2018 - Camera ready: August 27, 2018 PhD Symposium - Paper Submission: July 14, 2018 - Notification: August 24, 2018 - Camera ready: September 3, 2018 ---------- Organization ---------- General Chair - Flavio De Paoli (Università  di Milano-Bicocca, Italy) Program Chairs - Kyriakos Kritikos (ICS-FORTH, Greece) - Pierluigi Plebani (Politecnico di Milano, Italy) Workshop Chairs - Wolf Zimmermann (Martin Luther University Halle-Wittenberg, Germany) - Maria Fazio (University of Messina, Italy) PhD Symposium Chairs - Vasilios Andrikopoulos (University of Groningen, The Netherlands) - Massimo Villari (University of Messina, Italy) EU Project Space Chairs - Federico Facca (Martel Innovate, Switzerland) - Dimitru Roman (SINTEF, Norway) Industrial Track Chair - Marco Brambilla (Politecnico di Milano, Italy) - Erik Wilde (CA Technologies API Academy, Switzerland) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Apr 28 10:34:24 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 28 Apr 2018 11:34:24 +0300 Subject: [fg-arc] 15th European Mediterranean & Middle Eastern Conference on Information Systems (EMCIS 2018): Last Call for Papers Message-ID: *** LAST CALL FOR PAPERS *** 15th European Mediterranean & Middle Eastern Conference on Information Systems (EMCIS 2018) St. Raphael Resort, Limassol, Cyprus, 4-5 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEV1cm9wZWFuIE1lZGl0ZXJyYW5lYW4gJiBNaWRkbGUgRWFzdGVybiBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uIFN5c3RlbXMgKEVNQ0lTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycwkxODYJTGlzdHMJMTYwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Femcis.eu The European, Mediterranean and Middle Eastern Conference on Information Systems (EMCIS) is an annual research event addressing the IS discipline with regional as well as global perspective. EMCIS has successfully helped bringing together researchers from around the world in a friendly atmosphere conducted to free exchange of innovative ideas. EMCIS was founded in 2004 by Brunel University research Group ISEing and it is an annual event. A number of respected collaborations were made with different local universities across the destinations chosen each year and EMCIS still proves to attract many further partnerships. EMCIS is one of the premier conferences in Europe and Middle Eastern region for Information Systems academics and professionals, covering technical, organisational, business and social issues in the application of Information Technology. EMCIS is dedicated to the definition and establishment of Information Systems as a discipline of high impact for the methodical community and IS professionals - focusing on approaches that facilitate the identification of innovative research of significant relevance to the IS discipline following sound research methodologies that lead to results of measurable impact. The EMCIS proceedings are published by Springer in the Lecture Notes in Business Information Processing book series. KEYNOTE SPEAKER Claudia Loebbecke, University of Cologne, Germany "Big Data Analytics and Artificial Intelligence Meet Human Brain" TOPICS The topics of interest are grouped into the following tracks: · Big Data and Analytics · Blockchain Technology and Applications · Cloud Computing · Digital Services and Social Media · e-Government · Enterprise Systems · Science Communication in the Digital Public Sphere · Information Systems Security and Information Privacy Protection · Healthcare Information Systems · Management and Organisational Issues in Information Systems · IT Governance · Innovative Research Projects · Immersive Technologies in IT/IS A full list of subtopics for each track can be found on the conference web site. PAPER SUBMISSION Submissions should be original, not published or being considered elsewhere for publication. Authors should not add their details (names, affiliation, email etc.) in the document they submit for review. All papers should be submitted via the Easy Chair conference management system (the URL is available on the conference web site) and adhere to the format for Springer Lecture Notes publications. The papers must be submitted as a single PDF document and should not exceed 5,000 words (recommended length is 14 pages). Please note that the working language is English. Papers go through a 'double-blind review' process that evaluates their significance, originality, contribution and clarity. Upon acceptance please make sure that at least one author registers to secure a slot for their presentation in the conference program. When preparing the camera-ready version of a paper, authors should add their details (names, affiliation, email, etc.) on the first page of the paper and indicate which is the corresponding author. Along with the camera-ready version of their paper, authors should fill, sign and submit the copyright form. The form shall be sent by email to info[at]emcis.eu. IMPORTANT DATES · Electronic Submission Deadline: 08 May, 2018 · Notification of Acceptance to Authors: 20 June, 2018 · Camera Ready Copy: 04 July, 2018 · Early-bird Registration: 04 July, 2018 · Author Registration Deadline: 04 July, 2018 EMCIS ORGANIZATION Conference Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus Conference co-Chair · Angelika Kokkinaki, University of Nicosia, Cyprus Conference Executive Committee · Vincenzo Morabito, Bocconi University, Italy, (Program Chair) · Marinos Themistocleous, University of Piraeus, Greece (Program Chair) · Gianluigi Viscusi, École Polytechnique fédérale de Lausanne (EPFL), Switzerland (Publications Chair) · Muhammad Kamal, Brunel University, UK (Public Relations Chair) International Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEV1cm9wZWFuIE1lZGl0ZXJyYW5lYW4gJiBNaWRkbGUgRWFzdGVybiBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uIFN5c3RlbXMgKEVNQ0lTIDIwMTgpOiBMYXN0IENhbGwgZm9yIFBhcGVycwkxODYJTGlzdHMJMTYwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Femcis.eu -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Apr 27 16:13:13 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 27 Apr 2018 17:13:13 +0300 Subject: [fg-arc] 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018): Third Call for Contributions Message-ID: **** Third CALL FOR CONTRIBUTIONS **** (Papers, Tutorial/Workshop Proposals, Posters, Demos, PhD cons) The 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018) Hilton Cyprus, Nicosia, Cyprus, 10-13 December, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxMHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENsb3VkIENvbXB1dGluZyBUZWNobm9sb2d5IGFuZCBTY2llbmNlIChDbG91ZENvbSAyMDE4KTogVGhpcmQgQ2FsbCBmb3IgQ29udHJpYnV0aW9ucwkxODQJTGlzdHMJMTYwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fcloudcom2018%2F CloudCom is the premier conference on Cloud Computing worldwide, attracting researchers, developers, users, students and practitioners from the fields of big data, systems architecture, services research, virtualization, security and privacy, high performance computing, always with an emphasis on how to build cloud computing platforms with real impact. The conference is co-sponsored by the Institute of Electrical and Electronics Engineers (IEEE), is steered by the Cloud Computing Association, and draws on the excellence of its world-class Program Committee and its participants. CloudCom 2018 will be held in Nicosia, Cyprus between 10-13 December, 2018. TOPICS OF INTEREST Topics of interest of CloudCom 2018 are grouped into four tracks: · Architecture, Storage and Virtualization · Cloud Services and Applications · Security, Privacy and Trust · Edge Computing and Distributed Cloud The (non-exhaustive) list of topics for each track is as follows: Track 1: Architecture, Storage and Virtualization Chairs: Luiz F. Bittencourt, University of Campinas (UNICAMP), Brazil, Ivona Brandic, TU-Wien, Austria · Intercloud architecture models · Virtual Machines (VMs), containers, unikernels and microservices · Cloud services delivery models, campus integration & ìlast mileî issues · Virtualization technology and enablers (network virtualization, software-defined networking) · Networking technologies · Cloud system design with FPGAs, GPUs, APUs · Storage & file systems · Scalability & performance · Resource provisioning, monitoring, management & maintenance · Operational, economic & business models · Green data centers · Computational resources, storage & network virtualization · Resource monitoring · Virtual desktops · Resilience, fault tolerance, disaster recovery · Modeling & performance evaluation · Disaster recovery · Energy efficiency Track 2: Cloud Services and Applications Chairs: Laura Ricci, University of Pisa, Italy, Beniamino Di Martino, Seconda Universitaí di Napoli, Italy · XaaS (everything as a service including IaaS, PaaS, and SaaS) · Cloud services models & frameworks · Service deployment and orchestration in the Cloud · Cloud service management · Cloud workflow management · Cloud services reference models & standardization · Cloud-powered services design · Cloud elasticity · Machine learning and systems interactions · Data management applications & services · Service for computing-intensive applications · Mining and analytics · Data-provisioning services · Cloud programming models, benchmarks, and tools · Cloud-based services & protocols · Fault-tolerance & availability of cloud services and applications · Application development and debugging tools · Business models & economics of cloud services Track 3: Security, Privacy and Trust Chairs: Martin Gilje Jaatun, University of Stavanger, Norway, Barbara Carminati, Insubria, Italy · Accountability & audit · Authentication & authorization · Cloud integrity · Blockchain Cloud services · Cryptography in the Cloud · Hypervisor security · Identity management & security as a service · Prevention of data loss or leakage · Secure, interoperable identity management · Trust & credential management · Trust models for cloud services · Usable security Risk management in cloud computing environments · Privacy policy framework for clouds · Privacy-preserving data mining for clouds · Information sharing and data protection in the cloud · Cryptographic protocols against internal attacks in clouds · Privacy protection in cloud platforms · Energy/cost/efficiency of security in clouds Track 4: Edge Computing and Distributed Cloud Chairs: Antonio Fernandez Anta, IMDEA, Spain, Sarunas Girdzijauskas, KTH, Sweden · Cloudlet-enabled applications · Distributed Cloud Infrastructure · Foundations and principles of distributed cloud computing · Architectural models, prototype implementations and applications · Cloud brokers and coordination across multiple resource managers · Interoperability and mobility · Software infrastructure for cloudlets · Dynamic resource, service and context management on edge computing · Fog Computing · IoT cloud architectures & models · Cloud-based context-aware IoT · Economics and pricing · Experience with and performance evaluation of existing deployments and measurements (public, private, hybrid, federated environments) PAPER SUBMISSION GUIDELINES Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Authors must submit their papers by the deadline indicated below, using the EasyChair submission system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxMHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENsb3VkIENvbXB1dGluZyBUZWNobm9sb2d5IGFuZCBTY2llbmNlIChDbG91ZENvbSAyMDE4KTogVGhpcmQgQ2FsbCBmb3IgQ29udHJpYnV0aW9ucwkxODQJTGlzdHMJMTYwCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dcloudcom2018 . Only PDF files will be accepted. Manuscripts need to be prepared according to the IEEE CS format (https://www.ieee.org/conferences_events/conferences/publishing/templates.html). All regular paper submissions should be written in English with a maximum paper length of 8 pages. All submitted papers will be reviewed by at least three experts. Accepted papers must be presented at the conference. At least one author of each accepted paper must register to the conference, by the early date indicated by the organizers, and present the paper. The conference proceedings of CloudCom 2018 will be published by IEEE Conference Publishing Service with ISBN and ISSN, and submitted to IEEE Xplore and indexing services such as Ei Compendex. Distinguished papers will be recommended for fast-track publication in the IEEE Transactions on Cloud Computing or invited to be included within a number of special issues in prestigious international journals. CALL FOR TUTORIAL AND WORKSHOP PROPOSALS IEEE CloudCom 2018 is soliciting proposals for full-day / half-day workshops and Tutorials to be held in conjunction with IEEE CloudCom 2018. For more information on the tutorials and workshops and for the complete Call for Tutorial and Workshop Proposals, please see the conference website. CALL FOR POSTERS, DEMOS & SHORT PAPERS (Late-breaking Results) Authors are invited to submit their research work as a poster, demo or short paper (late-breaking results) to the CloudCom 2018 conference. For the complete Call for Call for Posters, Demos & Short Papers (Late-breaking Results) please see the conference website. CALL FOR PH.D. CONSORTIUM A Ph.D. consortium will be held in conjunction with IEEE CloudCom 2018 in Nicosia, Cyprus. For the complete Call for Ph.D. consortium, please see the conference website. IMPORTANT DATES · Workshop Proposals Due: 30 April 2018 · Tutorial Proposals Due: 30 June 2018 · Regular Papers Due: 15 June 2018 · Ph.D. Consortium Papers Due: 31 August 2018 · Short Papers, Posters and Demos Due: 31 August 2018 · Notification of Paper Acceptance: 14 September 2018 · Camera Ready: 08 October 2018 · Author Registration: 15 October 2018 ORGANIZING COMMITTEE GENERAL CHAIR · George Angelos Papadopoulos, University of Cyprus, Cyprus PROGRAM CHAIRS · George Pallis, University of Cyprus, Cyprus · Sebastien Varrette, University of Luxembourg, Luxembourg PROGRAM TRACK CHAIRS · Antonio Fernandez Anta, IMDEA, Spain · Luiz F. Bittencourt, University of Campinas (UNICAMP), Brazil · Ivona Brandic, TU-Wien, Austria · Barbara Carminati, Insubria, Italy · Martin Gilje Jaatun, University of Stavanger, Norway · Sarunas Girdzijauskas, KTH, Sweden · Beniamino Di Martino, Seconda Universitaí di Napoli, Italy · Laura Ricci, University of Pisa, Italy WORKSHOPS & TUTORIALS CO-CHAIRS · Domenico Talia, University of Calabria, Italy · Dimitrios Tsoumakos, Ionian University, Greece PH.D. COMSORTIUM CHAIR · Achilleas Achilleos, University of Cyprus, Cyprus SHORT PAPERS, POSTERS & DEMO CHAIR · Ioannis Konstantinou, NTUA, Greece PUBLICITY CHAIR · Achilleas Achilleos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From wadt18 at outlook.com Fri Apr 27 20:15:12 2018 From: wadt18 at outlook.com (WADT 2018) Date: Fri, 27 Apr 2018 18:15:12 +0000 Subject: [fg-arc] WADT 2018 - Extension to abstract submission deadline! Message-ID: <73325d27-b278-8524-cf85-72158b757d61@outlook.com> ====================================================================== FOURTH CALL FOR PAPERS - Extension to abstract submission deadline! WADT 2018 24th International Workshop on Algebraic Development Techniques http://wadt18.cs.rhul.ac.uk July 2–5, 2018, Royal Holloway University of London, Egham, UK ====================================================================== AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: – Foundations of algebraic specification – Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical systems – Specification languages, methods, and environments – Semantics of conceptual modelling methods and techniques – Model-driven development – Graph transformations, term rewriting, and proof systems – Integration of formal specification techniques – Formal testing and quality assurance, validation, and verification – Algebraic approaches to cognitive sciences, including computational creativity WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Monday to Thursday, at Royal Holloway University of London in Egham, UK (https://www.royalholloway.ac.uk). Presentations will be selected on the basis of submitted abstracts. This occurrence of the ADT workshop will be preceded by the Leverhulme School on Graph Transformation Techniques. The school will take place over three days, from Friday, June 29th, to Sunday, July 1st, and will comprise a self-contained series of invited lectures on graph transformation to be given by Reiko Heckel (University of Leicester, UK), Fernando Orejas (Technical University of Catalonia, Spain), and Detlef Plump (University of York, UK). INVITED SPEAKERS Artur d'Avila Garcez (City, University of London, UK) Rolf Hennicker (LMU Munich, Germany) Kai-Uwe Kühnberger (Osnabrück University, Germany) Fernando Orejas (Technical University of Catalonia, Spain) IMPORTANT DATES Submission deadline for abstracts: May 11th, 2018 Notification of acceptance: May 25th, 2018 Early registration: June 1st, 2018 Final abstract due: June 8th, 2018 Leverhulme School on Graph Transformation Techniques: June 29–July 1, 2018 ADT Workshop: July 2–5, 2018 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results or ongoing research as well as invited talks. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. Abstracts must not exceed two pages including references; if a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. Abstracts have to be submitted electronically via the EasyChair system at https://easychair.org/conferences/?conf=wadt18. PROCEEDINGS After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed by the Programme Committee. Selection will be based on originality, soundness, and significance of the presented ideas and results. The proceedings will be published as a volume of Lecture Notes in Computer Science (Springer). The deadline for submissions will be September 3, 2018, with notifications by October 29. Camera-ready versions will be required by November 11. SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3, while the series of graph-transformation lectures is supported by a Leverhulme Trust Visiting Professorship. WADT STEERING COMMITTEE Andrea Corradini (Italy) José Fiadeiro (UK) [co-chair] Rolf Hennicker (Germany) Hans-Jörg Kreowski (Germany) Till Mossakowski (Germany) Fernando Orejas (Spain) Markus Roggenbach (UK) Grigore Roșu (United States) PROGRAMME COMMITEE Paolo Baldan (Italy) Andrea Corradini (Italy) Artur d'Avila Garcez (UK) Răzvan Diaconescu (Romania) José Fiadeiro (UK) [co-chair] Fabio Gadducci (Italy) Reiko Heckel (UK) Rolf Hennicker (Germany) Alexander Knapp (Germany) Barbara König (Germany) Antónia Lopes (Portugal) Narciso Marti-Oliet (Spain) Till Mossakowski (Germany) Fernando Orejas (Spain) Leila Ribeiro (Brazil) Markus Roggenbach (UK) Pierre-Yves Schobbens (Belgium) Lutz Schröder (Germany) Pawel Sobocinski (UK) Ionuț Țuțu (UK) [co-chair] Martin Wirsing (Germany) ORGANIZING COMMITTEE Claudia Chiriță (UK) José Fiadeiro (UK) Ionuț Țuțu (UK) CONTACT INFORMATION Email: wadt18 at cs.rhul.ac.uk Homepage: http://wadt18.cs.rhul.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Mon Apr 30 09:34:50 2018 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Mon, 30 Apr 2018 09:34:50 +0200 Subject: [fg-arc] AK-Treffen L2S2 + MDSD bei der Architekturen 2018, 19.06. in Essen Message-ID: <5550eb49-c415-090f-f62d-56f4b6940534@uni-paderborn.de> **** Aufruf zur Einreichung von Vortragsvorschlägen / Call for Presentations bis zum 18.05.2018 **** *** Einladung zur Teilnahme / Call for Participation *** *** Einladung zur AK-Sitzung L2S2 + Wahl der AK-Leitung || Diskussion der Zukunft des AK MDSD *** Liebe Mitglieder, Vertraute und Interessierte der *GI-Arbeitskreise "Langlebige Softwaresysteme"* (AK L2S2) und *"Modellgetriebene Software-Entwicklung"* (AK MDSD), liebe Mitglieder der GI-Fachgruppen Architekturen und Software-Reengineering, das nächste *gemeinsame Treffen der AKs L2S2* [1] und *MDSD* (aka. MDA) [2] findet im Rahmen der Jahrestagung *"Architekturen 2018"* [3] der gleichnamigen GI-Fachgruppe am Dienstag, den 19. Juni 2018 nachmittags in Essen statt. Wir haben auch in diesem Jahr - einer bewährten Tradition folgend - wieder ein *gemeinsames Programm* aufgesetzt, nicht zuletzt um Themen im Schnittbereich der AKs - beispielsweise zu modellgetriebener Migration oder Evolution - konkurrenzfrei adressieren zu können und den Austausch zu pflegen. *Vorträge*: Wir laden Sie herzlich ein, einen Vortrag zum Programm des AK-Treffens beizusteuern; noch sind nicht alle Plätze belegt. Insbesondere Vorträge mit Praxisbezug (z.B. Erfahrungsberichte, industrielle Fallstudien, Ergebnisberichte aus Projekten) oder aus der anwendungsorientierten Forschung sind herzlich willkommen! Falls Sie Interesse haben, einen Vortrag zu halten, schicken Sie bitte bis zum _18. Mai 2018_ eine kurze E-Mail mit den Namen der Autoren/-innen und der/des Vortragenden, dem Titel des Vortrags und einem kurzen Abstract an sauer at uni-paderborn.de. Weitere Details werden wir dann direkt mit Ihnen abstimmen. Bei Interesse können wir auch eine Veröffentlichung von Kurzbeiträgen in der Zeitschrift Softwaretechnik-Trends anstoßen. *@L2S2 AK-Sitzung & Wahl der AK-Leitung*: Im Programm des AK-Treffens findet auch eine kompakte AK-Sitzung statt, in der kurz über die Aktivitäten des AKs berichtet und ein Ausblick auf die kommenden Aktivitäten gegeben wird. Hier sind Sie herzlich eingeladen,Ihre Vorstellungen und Wünsche einzubringen. Außerdem wird die AK-Leitung turnusgemäß neu gewählt. Die Wahl erfolgt jeweils für zwei Jahre, Wiederwahl ist möglich. Wenn Sie Interesse haben, sich im AK zu engagieren und für die AK-Leitung zu kandidieren, teilen Sie dies doch bitte vorab per E-Mail an sauer at uni-paderborn.de oder spätestens bei der Sitzung mit. Tagesordnung der AK-Sitzung: 1. Begrüßung 2. Bericht der AK-Leitung 3. Wahl der AK-Leitung 4. Ausblick 5. Verschiedenes *@MDSD AK-Diskussion*: Parallel zur AK-Sitzung des L2S2 soll die Zukunft des AK MDSD diskutiert werden. *Teilnahme*: Im Namen der AK-Leitungen möchten wir Sie herzlich zur Teilnahme einladen! Die *Anmeldung *erfolgt über die Webseite der "Architekturen 2018" [3]. Das konkrete *Programm *werden wir noch rechtzeitig vorher bekannt geben. Wir würden uns freuen, Sie in Essen begrüßen zu können und freuen uns auf spannende Vorträge, lebhafte Diskussionen und einen regen Austausch! Im Namen der AK-Leitungen Steffen Becker - Robert Heinrich - Marco Konersmann - Stefan Sauer --------------------------------------------------------------- [1] Der *AK L2S2* ist ein gemeinsamer Arbeitskreis der Fachgruppen Architekturen (http://fg-arc.gi.de/) und Software-Reengineering (http://fg-re.gi.de/). Er kooperiert mit dem DFG-Schwerpunktprogramm SPP 1593: "Design for Future - Managed Software Evolution" (http://dfg-spp1593.de/). Weitere Informationen zum AK L2S2 finden Sie auf unserer Webseite: http://akl2s2.ipd.kit.edu/ [2] Der *AK MDSD* (auch bekannt unter seinem vorherigen Akronym/Namen *MDA* - Modellgetriebene Software-Architektur) ist ein Arbeitskreis der Fachgruppe Architekturen (http://fg-arc.gi.de/). Weitere Informationen finden Sie auf der Webseite des Arbeitskreises: http://akmda.ipd.kit.edu [3] Die Jahrestagung der GI-Fachgruppe "*Architekturen 2018*" findet am 19. und 20. Juni 2018 im Institut paluno in Essen statt. Sie steht in diesem Jahr unter dem Motto "The Digital Age - Software Architectures in Future Applications". Die Tagungsreihe Architekturen wurde von der GI-Fachgruppe Architekturen initiiert. Die Veranstaltung hat sich zu einer der wichtigsten Plattformen für IT-Architekten entwickelt und bringt mit über 80 Teilnehmern viele Fachleute aus Praxis, Forschung und Forschungstransfer im Bereich der Softwarearchitekturen zusammen. Nutzen auch Sie diese Chance, knüpfen Sie Kontakte und tauschen Sie sich zu den neuesten Trends, Herausforderungen, und Erfolgen zum Thema Softwarearchitekturen aus. Neben den Fachvorträgen sind auch Treffen der GI-Arbeitskreise der Fachgruppe geplant. Weitere Informationen und Anmeldung unter https://architekturen2018.paluno.uni-due.de/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Apr 30 23:11:12 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 30 Apr 2018 23:11:12 +0200 Subject: [fg-arc] TPNC 2018: 1st call for papers Message-ID: <545102060a010b0503565905000a5a0700520d57010053525606580307060251045356025009090253075750530704@grlmc_ip-zone_com-6> TPNC 2018: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 7th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2018   Dublin, Ireland   December 12-14, 2018   Co-organized by:   Natural Computing Research & Applications Group School of Business University College Dublin   Institute for Research Development, Training and Advice Brussels / London   http://tpnc2018.irdta.eu/ ***************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2018 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2018 will take place in Dublin, a major historical and contemporary centre for education, arts, administration, economy and industry. The venue will be:   Michael Smurfit Graduate Business School University College Dublin Carysfort Avenue Blackrock Co. Dublin http://www.smurfitschool.ie/   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   artificial chemistry artificial immune systems artificial life cellular automata cognitive computing cognitive engineering cognitive robotics collective behaviour complex systems computational intelligence computational social science computing with words developmental systems DNA computing DNA nanotechnology evolutionary algorithms evolutionary computing evolutionary game theory fractal geometry fuzzy control fuzzy logic fuzzy sets fuzzy systems genetic algorithms genetic programming granular computing heuristics intelligent agents intelligent systems machine intelligence metaheuristics molecular programming multiobjective optimization neural computing neural networks quantum communication quantum computing rough sets self-assembly self-organization social computing social simulation soft computing swarm intelligence synthetic biology   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2018 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Mauro Birattari (Université Libre de Bruxelles, BE) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Jean-Louis Deneubourg (Université Libre de Bruxelles, BE) Marco Dorigo (Université Libre de Bruxelles, BE) Carlos M. Fonseca (University of Coimbra, PT) Amir H. Gandomi (Stevens Institute of Technology, US) Michel Gendreau (Polytechnique Montréal, CA) Licheng Jiao (Xidian University, CN) Janusz Kacprzyk (Polish Academy of Sciences, PL) Hamid Reza Karimi (Polytechnic University of Milan, IT) Ljupco Kocarev (Macedonian Academy of Sciences and Arts, MK) Rudolf Kruse (University of Magdeburg, DE) José Ignacio Latorre (University of Barcelone, ES) Gui Lu Long (Tsinghua University, CN) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez (University of Jaén, ES) Michael O'Neill (University College Dublin, IE) Patrick Siarry (Paris-Est Créteil Val de Marne University, FR) Andrzej Skowron (University of Warsaw, PL) Attila Szolnoki (Hungarian Academy of Sciences, HU) David Wolpert (Santa Fe Institute, US)   ORGANIZING COMMITTEE:   David Fagan (Dublin, co-chair) Sara Morales (Brussels) Michael O'Neill (Dublin, co-chair) Manuel Jesús Parra Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Irene Ward (Dublin)   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).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=tpnc2018   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:   http://tpnc2018.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: July 29, 2018 Notification of paper acceptance or rejection: September 5, 2018 Final version of the paper for the LNCS proceedings: September 12, 2018 Early registration: September 12, 2018 Late registration: November 28, 2018 Submission to the journal special issue: March 14, 2019   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   UCD – University College Dublin   IRDTA – Institute for Research Development, Training and Advice, Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: