From cfp at mat.unical.it Mon Sep 3 18:48:05 2018 From: cfp at mat.unical.it (Simona Perri) Date: Mon, 3 Sep 2018 18:48:05 +0200 Subject: [fg-arc] JELIA 2019 - Preliminary Call for Papers Message-ID: [apologies for multiple postings] = PRELIMINARY Call for Papers = 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) May 8-10, 2019, Rende, Italy == Aim and Scope == The aim of JELIA 2019 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence. Conference topics include, but are not limited to: Abductive and inductive reasoning Answer set programming Applications of logic-based AI systems Argumentation systems Automated reasoning including satisfiability checking and its extensions Computational complexity and expressiveness Deep learning for rules and ontologies Deontic logic and normative systems Description logics and other logical approaches to Semantic Web and ontologies Explanation finding Knowledge representation, reasoning, and compilation Logic programming, answer set programming, constraint logic programming Logic-based data access and integration Logical interpretation of machine learning models Logics for uncertain and probabilistic reasoning Logics in machine learning Logics in multi-agent systems, games, and social choice Neural networks and logic rules Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics Nonmonotonic logics, default logics, conditional logics Ontology formalisms and models Ontology-based query answering Ontology-based reasoning Planning and diagnosis based on logic Preferences Reasoning about actions and causality Updates, belief revision and nonmonotonic reasoning == Submissions == JELIA 2019 welcomes submissions of long or short papers in the following categories: A. Regular papers: Submissions should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere. B. System/Application descriptions: Submissions should describe an implemented system/application and its application area(s). A demonstration should accompany a system/application presentation. Papers describing systems or applications that have already been presented in JELIA before will be accepted only if significant and clear enhancements have been implemented and are properly reported. All submissions should not exceed 13 (resp., 6) pages for long (resp., short) papers, including figures etc., but excluding references, and should be written in English. Submissions must be formatted according to the standard Springer LNCS style, and are not anonymous. The conference proceedings of JELIA 2019 will be published by Springer-Verlag in the Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in Computer Science (Important note: Springer will require all the LaTeX source files of all accepted submissions). Policy on Multiple Submission: JELIA 2019 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during JELIA's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. JELIA 2019 (abstract and paper) submissions are handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=jelia2019. == Important Dates == (tentative) November 26th, 2018, 23:59 UTC-12: Abstract submission December 3rd, 2018, 23:59 UTC-12: Paper submission January 16th, 2019: Notification of acceptance February 28th, 2019: Camera-ready due March 1st, 2019: Online registration opens == Venue == University of Calabria, Rende, Italy == Further Information == WWW: https://jelia2019.mat.unical.it/ Email: jelia2019 at mat.unical.it == Committees == === General Chair === Nicola Leone ? University of Calabria, Italy === Program Chairs === Francesco Calimeri ? University of Calabria, Italy Marco Manna ? University of Calabria, Italy === Organization Chairs === Carmine Dodaro ? University of Genova, Italy Valeria Fionda ? University of Calabria, Italy === Publicity Chair === Simona Perri - University of Calabria, Italy === Finance Chair === TBA === Program Committee === TBA From irdta at irdta.eu Tue Sep 4 01:31:46 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 04 Sep 2018 01:31:46 +0200 Subject: [fg-arc] SLSP 2018: poster submission deadline September 8 Message-ID: <545102060a010b040352590b07065a06035302550708035857505d040e0e570255000004500f065106515606570356@grlmc_ip-zone_com-6> SLSP 2018: poster submission deadline September 8*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 6th International Conference on Statistical Language and Speech Processing (SLSP 2018) invites researchers to submit poster presentations. SLSP 2018 will be held in Mons (Belgium) on October 15-16, 2018. See? http://slsp2018.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 8, 2018 Notification of poster acceptance or rejection: September 15, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2018 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2018. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2016 impact factor: 1.900). REGISTRATION At least one author of each accepted poster must register to the conference by October 1st, 2018. The registration fare is reduced: 285 Euro. 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 announce at cs.ucy.ac.cy Wed Sep 5 17:50:26 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 5 Sep 2018 18:50:26 +0300 Subject: [fg-arc] The 34th ACM Symposium on Applied Computing (SAC 2019): Final Combined Call for Papers Message-ID: *** FINAL COMBINED CALL FOR PAPERS *** The 34th ACM Symposium on Applied Computing (SAC 2019) St. Raphael Resort, Limassol, Cyprus, April 8-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMzR0aCBBQ00gU3ltcG9zaXVtIG9uIEFwcGxpZWQgQ29tcHV0aW5nIChTQUMgMjAxOSk6IEZpbmFsIENvbWJpbmVkIENhbGwgZm9yIFBhcGVycwkyNzMJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.sigapp.org%2Fsac%2Fsac2019 *** Submission Deadline: September 24, 2018 (extended) *** For the past thirty-three years the ACM Symposium on Applied Computing (SAC) has been a primary and international forum for applied computer scientists, computer engineers and application developers to gather, interact and present their work. The ACM Special Interest Group on Applied Computing (SIGAPP) is the sole sponsor of SAC. The conference proceedings are published by ACM and are also available online through ACM's Digital Library. The 34th Annual SAC meeting will be held in April 2019 in Limassol, Cyprus, and is hosted by the University of Cyprus. The conference features the following tracks: ? Intelligent Robotics and Multi-Agent Systems (IRMAS) ? Knowledge Representation and Reasoning (KRR) ? Information Access and Retrieval (IAR) ? Software Verification and Testing (SVT) ? Computational Intelligence and Video & Image Analysis (CIVIA) ? Social Network and Media Analysis (SONAMA) ? Selected Areas of Wireless Communications and Networking (WCN) ? Recommender Systems: Theory and Applications (RS) ? Computer Security (SEC) ? Web-based Technologies for Interactive Computing Education (WICE) ? Data Mining (DM) ? Usability Engineering (UE) ? Cloud Computing (CC) ? Privacy by Design in Practice (PDP) ? Advances in COMputational Biomedical Imaging (COMBI) ? Operating Systems (OS) ? Software Platforms (SP) ? Decentralized Applications (DAPP) with Blockchain, DLT and Crypto-Currencies (DAPP) ? Databases and Big Data Management (DBDM) ? Requirements Engineering (RE) ? Cyber-Physical Systems (CPS) ? Software Architecture: Theory, Technology, and Applications (SA-TTA) ? Internet of Things (IoT) ? Sustainability of Fog/Edge Computing Systems (SFECS) ? Software-intensive Systems-of-Systems (SiSoS) ? Data Streams (DS) ? Programming Languages (PL) ? Business Process Management & Enterprise Architecture (BPMEA) ? Microservices, DevOps, and Service-Oriented Architecture (MiDOS) ? Health Informatics (HI) ? Dependable, Adaptive, and Secure Distributed Systems (DADS) ? GeoInformation Analytics (GIA) ? Knowledge and Language Processing (KLP) ? KomIS: Knowledge Discovery meets Information Systems (KomIS) ? Next Generation Programming Paradigms and Systems (NGPS) ? Communication, Computing and Networking in Internet of Vehicles (CCNIV) ? Bioinformatics (BIO) ? Embedded Systems (EMBS) ? Digital Life for Human Well-being (DLHWB) ? Networking (NET) ? Semantic Web and Applications (SWA) ? Mobile Computing and Applications (MCA) ? Software Engineering (SE) ? Variability and Software Product Line Engineering (VSPLE) ? Smart Human Computer Interaction (HCI) ? Web Technologies (WT) ? Machine Learning and its Applications (MLA) More information about the topics covered by each track and submission instructions are available on the conference web site and the web sites of the tracks themselves (accessible from the conference web site). Important Dates ? Sept 24, 2018: Submission of papers (extended) ? Nov 10, 2018: Author notification ? Nov 25, 2018: Camera-ready copies ? Dec 10, 2018: Author registration Committees http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMzR0aCBBQ00gU3ltcG9zaXVtIG9uIEFwcGxpZWQgQ29tcHV0aW5nIChTQUMgMjAxOSk6IEZpbmFsIENvbWJpbmVkIENhbGwgZm9yIFBhcGVycwkyNzMJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.sigapp.org%2Fsac%2Fsac2019/organization.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From matthias.gudemann at gmail.com Thu Sep 6 09:14:41 2018 From: matthias.gudemann at gmail.com (=?UTF-8?Q?Matthias_G=C3=BCdemann?=) Date: Thu, 6 Sep 2018 09:14:41 +0200 Subject: [fg-arc] Software Verification and Testing Track (SVT) @ ACM SAC 2019 (deadline extension) Message-ID: 34th Annual ACM Symposium on Applied Computing Software Verification and Testing Track Limassol, Cyprus April 8 ? 12, 2019 https://www.sigapp.org/sac/sac2019/ https://sites.google.com/site/sacsvt2019/home svt.sac.2019 at gmail.com https://twitter.com/SvtSac Important dates =============== Sep. 24, 2018 - Submission of regular papers and SRC research abstracts Nov. 24, 2018 - Notification of paper / SRC abstract acceptance/rejection Dec. 10, 2018 - Camera-ready copies of accepted papers/SRC Dec. 10, 2018 - Author registration due date ACM Symposium on Applied Computing ================================== The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2019 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the University of Cyprus, Limassol, Cyprus. Software Verification and Testing Track ======================================= The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also are welcome detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: * model checking * theorem proving * correct by construction development * model-based testing * software testing * symbolic execution * static and dynamic analysis * abstract interpretation * analysis methods for dependable systems * software certification and proof carrying code * fault diagnosis and debugging * verification and validation of large scale software systems * real world applications and case studies applying software testing and verification * benchmarks and data sets for software testing and verification Submission Guidelines ===================== Paper submissions must be original, unpublished work. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within eight two-column pages (an extra two pages, to a total of ten pages, may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2019 proceedings. Paper registration is required, allowing the inclusion of papers, posters, or SRC abstracts in the conference proceedings. An author or a proxy attending SAC MUST present the work. This is a requirement for the presented work to be included in the ACM/IEEE digital library. No-show of registered papers, posters, and SRC abstracts will result in excluding them from the ACM/IEEE digital library. After the Symposium we will organize a special issue of the Software Quality Journal (SQJ) on the topics of SVT. Student Travel Award ==================== The SIGAPP Student Travel Award Program (STAP) was established to provide financial support for SIGAPP student members to attend SIGAPP primary conference (SAC) to present their accepted work. Student primary authors and co-authors are eligible to apply for these awards. For details please see: https://www.sigapp.org/stawards.html Student Research Competition ============================ As previous editions, SAC 2019 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.sigapp.org/sac/sac2019/. Program Committee Chairs ======================== Leonardo Mariani, University of Milano Bicocca Matthias G?demann, Diffblue Ltd. Program Committee ================= Marcelo d?Amorim, Universidade Federal de Pernambuco, Brazil S?bastien Bardin, CEA, France Ezio Bartocci, TU Vienna, Austria Marius Bozga, CNRS, France Radu Calinescu, University of York, UK Christian Colombo, University of Malta, Malta Lucas Cordeiro, University of Manchester, UK Cristina David, University of Cambridge, UK Giovanni Denaro, University of Milano Bicocca, Milano, Italy Gidon Ernst, University of Melbourne, Australia Yli?s Falcone, Univ. Grenoble Alpes, Inria, France Maria del Mar Gallardo, University of Malaga, Spain Sylvain Hall?, Universit? du Qu?bec ? Chicoutimi, Canada Ralf Huuck, The University of New South Wales, Australia Thierry J?ron, Inria, France Nikolai Kosmatov, CEA, France Maurizio Leotta, University of Genoa, Italy Martin Leucker, University of L?beck, Germany Stefan Leue, University of Konstanz, Germany Yves Le Traon, University of Luxembourg, Luxembourg Leonardo Mariani, University of Milano Bicocca, Italy Mercedes Merayo, Universidad Complutense de Madrid, Spain Dejan Nickovic, Austrian Institute of Technology, Austria Brian Nielsen, Aalborg University, Denmark Peter Olveczky, University of Oslo, Norway Jun Pang, University of Luxembourg, Luxembourg Mike Papadakis, University of Luxembourg, Luxembourg Antoine Rollet, Bordeaux INP, LaBRI, France Gwen Sala?n, Univ. Grenoble Alpes, Inria, France Julien Signoles, CEA, France Marjan Sirjani, Malardalen University, Sweden Neil Walkinshaw, University of Leicester, UK Anton Wijs, Technische Universiteit Eindhoven, Netherlands Rongxin Wu, Hong Kong University of Science and Technology, Hong Kong Nina Yevtushenko, Tomsk State University, Russia Cemal Yilmaz, Sabanci University, Turkey Fatiha Za?di, University of Paris-Sud, France Gianluigi Zavattaro, University of Bologne, Italy From irdta at irdta.eu Sun Sep 16 01:06:05 2018 From: irdta at irdta.eu (IRDTA) Date: Sun, 16 Sep 2018 01:06:05 +0200 Subject: [fg-arc] LATA 2019: 1st call for papers Message-ID: <545102060a010b040457500703015a5350020256535006565051090355575a0050505755550b050309535554055307@grlmc_ip-zone_com-6> LATA 2019: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ************************************************************************* 13th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS ? LATA 2019 ? Saint Petersburg, Russia ? March 25-29, 2019 ? Organized by: ??????????? Saint Petersburg State University and Institute for Research Development, Training and Advice, Brussels/London ? http://lata2019.irdta.eu/ ************************************************************************* ? AIMS: ? LATA is a conference series on theoretical computer science and its applications. LATA 2019 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. ? VENUE: ? LATA 2019 will take place in Saint Petersburg, whose historic centre is a UNESCO World Heritage Site. The venue will be Saint Petersburg State University. ? SCOPE: ? Topics of either theoretical or applied interest include, but are not limited to: ? algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata ? STRUCTURE: ? LATA 2019 will consist of: ? invited talks peer-reviewed contributions ? INVITED SPEAKERS: ? tba ? PROGRAMME COMMITTEE: ? Krishnendu Chatterjee (Institute of Science and Technology Austria, AT) Bruno Courcelle (University of Bordeaux, FR) Manfred Droste (University of Leipzig, DE) Travis Gagie (Diego Portales University, CL) Peter Habermehl (Paris Diderot University, FR) Tero Harju (University of Turku, FI) Radu Iosif (Verimag, FR) Kazuo Iwama (Kyoto University, JP) Juhani Karhum?ki (University of Turku, FI) Lila Kari (University of Waterloo, CA) Juha K?rkk?inen (University of Helsinki, FI) Bakhadyr Khoussainov (University of Auckland, NZ) Sergey Kitaev (University of Strathclyde, UK) Shmuel Tomi Klein (Bar-Ilan University, IL) Olga Kouchnarenko (University of Franche-Comt?, FR) Thierry Lecroq (University of Rouen, FR) Markus Lohrey (University of Siegen, DE) Sebastian Maneth (University of Bremen, DE) Carlos Mart?n-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Filippo Mignosi (University of L'Aquila, IT) Victor Mitrana (Polytechnic University of Madrid, ES) Joachim Niehren (INRIA Lille, FR) Alexander Okhotin (Saint Petersburg State University, RU) Dominique Perrin (University of Paris-Est, FR) Matteo Pradella (Polytechnic University of Milan, IT) Jean-Fran?ois Raskin (Universit? Libre de Bruxelles, BE) Marco Roveri (Bruno Kessler Foundation, IT) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen's University, CA) Sven Schewe (University of Liverpool, UK) Helmut Seidl (Technical University of Munich, DE) Ayumi Shinohara (Tohoku University, JP) Hans Ulrich Simon (Ruhr-University of Bochum, DE) William F. Smyth (McMaster University, CA) Frank Stephan (National University of Singapore, SG) Martin Sulzmann (Karlsruhe University of Applied Sciences, DE) Jorma Tarhio (Aalto University, FI) Stefano Tonetta (Bruno Kessler Foundation, IT) Rob van Glabbeek (University of New South Wales, AU) Margus Veanes (Microsoft Research, US) Mahesh Viswanathan (University of Illinois, Urbana-Champaign, US) Mikhail Volkov (Ural Federal University, RU) Fang Yu (National Chengchi University, TW) Hans Zantema (Eindhoven University of Technology, NL) ? ORGANIZING COMMITTEE: ? Alexander Okhotin (Saint Petersburg, co-chair) Manuel Parra-Roy?n (Granada) Dana Shapira (Ariel) 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). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix. ? Submissions have to be uploaded to: ? https://easychair.org/conferences/?conf=lata2019 ? 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://lata2019.irdta.eu/Registration.php ? DEADLINES (all at 23:59 CET): ? Paper submission: November 11, 2018 Notification of paper acceptance or rejection: December 16, 2018 Final version of the paper for the LNCS proceedings: December 23, 2018 Early registration: December 23, 2018 Late registration: March 11, 2019 Submission to the journal special issue: June 29, 2019 ? QUESTIONS AND FURTHER INFORMATION: ? david (at) irdta.eu ? ACKNOWLEDGMENTS: ? ?????-????????????? ??????????????? ??????????? ? IRDTA ? Institute for Research Development, Training and Advice, Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From moa.johansson at chalmers.se Mon Sep 17 10:24:01 2018 From: moa.johansson at chalmers.se (Moa Johansson) Date: Mon, 17 Sep 2018 08:24:01 +0000 Subject: [fg-arc] Final Call for Papers PADL-19 Message-ID: <75763E10-7FFB-4BD6-BEDB-517CFDE9E934@chalmers.se> 21th International Symposium on Practical Aspects of Declarative Languages (PADL 2019) https://popl19.sigplan.org/track/PADL-2019 Lisbon, Portugal. 14 -15 January 2019. Co-located with ACM POPL 2019 (https://popl19.sigplan.org/home) Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasising novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2019 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the past PADL symposia. It will be co-located with the Symposium on Principles of Programming Languages (POPL 2019), in Lisbon, Portugal. Important Dates and Submission Guidelines Abstracts due: 21 September Papers due: 28 September Notification to authors: 26 October Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2019 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2019 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2019 will appear in the LNCS series of Springer Verlag: https://www.springer.com/gp/computer-science/lncs Journal Publication for Best Papers The best papers (as selected by the PC chairs) will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, in the journal Theory and Practice of Logic Programming (TPLP), and for papers related to functional programming, in Journal of Functional Programming (JFP). The authors of these papers will be invited to submit a journal version containing at least 30% new material. This will be reviewed by the PC and/or the respective journal editors for a swifter reviewing process of the journal version. Such extensions could be explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work and such like. -------------- next part -------------- An HTML attachment was scrubbed... URL: From riebisch at informatik.uni-hamburg.de Mon Sep 17 22:15:53 2018 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Mon, 17 Sep 2018 20:15:53 +0000 Subject: [fg-arc] Call For Workshop Submissions: IEEE International Conference on Software Architecture (ICSA 2019) March 2019, Hamburg Message-ID: Liebe Kollegen, darf ich an die Deadline f?r Workshops an diesem Freitag erinnern? Da die Konferenz ICSA2019 in -hamburg stattfindet, bietet sich ein guter Rahmen f?r Workshops zu Architektur-bezogenen Themen. Mit freundlichen Gr??en Matthias Riebisch *** CALL FOR WORKSHOP SUBMISSIONS *** ICSA 2019 IEEE International Conference on Software Architecture March 25-29, 2019 Hamburg, Germany http://icsa-conferences.org/2019/ ICSA 2019 workshops provide a unique forum for researchers and practitioners to present, learn, discuss and explore the latest experiences, challenges, trends and emerging R&D results in the field of software architecture. A workshop is not a mini-conference. The goal of workshops is to provide a forum for participants to engage in intensive discussion and explore the topic from different perspectives. Workshops can be half-day or one-day events. Potential topics for workshops are the same as, but not limited to, those of the ICSA 2019 Technical track. Workshop chairs are responsible for submission and selection of papers. Submissions must follow the IEEE Computer Science proceedings format, as workshop proceedings will be published by IEEE CS Digital Library. Workshop organizers may allow for different types of contributions (e.g., short and long papers), but a workshop paper should not exceed a maximum of 8 pages in IEEE format. *Formatting and Submission Instructions* -------------------- All workshop proposals must conform, at time of submission, to the IEEE Formatting Guidelines (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). Proposals must be written in English and not exceed 4 pages in length. They are submitted through the Easychair submission system https://easychair.org/conferences/?conf=icsa2019ws by the proposal submission deadline. Proposals should contain: 1. Motivation and objectives of the workshop * Title and acronym of the workshop * Motivation and objectives of the workshop topic (not exceeding 500 words) (Note: If your workshop is accepted then this description will be used as early publicity.) * A more detailed discussion of the anticipated outcomes of the workshop (e.g., open research problems to pursue, validation objectives, empirical studies, why the topic needs to be explored in a workshop setting etc.) * Information about previous editions of the same workshop (if any) * Potential connection with other ICSA events (if any) 2. Workshop format and needed services * What will be the format and timings for the workshop? (e.g., position talks, keynotes, breakout sessions, panel discussions, experiments, paper presentation and discussion,or a combination thereof) * What are the requirements in terms of rooms, equipment, and support staff? (e.g., do you need special room layout or assistance from student volunteers?) 3. Target audience * What backgrounds should the workshop attendees have? * What is the range (min, max) for number of attendees for the workshop? * What mix of industry and research participants is being sought? * Please outline a strong and proactive publicity plan, including information about the expected number and type of contributions and the initial acceptance rate. * Who are the potential Keynote speakers? In particular can you attract keynote speakers from from industry? 4. Workshop contributions and evaluation * What types of contribution are being solicited for the workshop? (e.g., full papers, position papers, posters, demos, experiments, or other interactive sessions) * What type of evaluation process will be used? 5. Workshop duration and timetable * Indicate if you plan for a half-day or a full-day workshop and provide a timetable for the structure of the event 6. Organizers and program committee * Names and bios of organizers * List of the potential program committee members 7. Draft call for papers for the workshop (a one page call for papers that you intend to send out if your workshop is accepted) *Evaluation Criteria* -------------------- Workshop proposals will be reviewed in a separate evaluation process from research papers. Acceptance will be based on: * evaluation of the workshop?s potential to advance the state of research and/or practice or bridging disciplines, between research and practice; * timeliness and expected interest in the topic; * relevance to the conference topics (See the topics of interest in the ICSA 2019 conference site); * the potential for attracting an appropriate number of participants; * organizers? ability to lead a successful workshop and attract contributors; * balance and synergy with other ICSA events. A workshops may be canceled or merged with others after the early registration deadline if too few participants have registered to make the event viable. For more information please contact the ICSA2019 workshop chairs through this email contact address mailto:icsa2019ws at easychair.org *Important Dates* ============================== Proposal submission 21 September 2018 Proposal notification of acceptance 30 September 2018 Workshop CfP publication 14 October 2018 Paper submission 17 January 2019 Paper notification 07 February 2019 Workshop program publication, possible cancellation notice 08 February 2019 Camera-ready due 21 February 2019 Workshop days 25 and 26 March 2019 *Organizing Committee* ============================== General Chair: Matthias Riebisch, University of Hamburg, Germany Workshop Co-Chairs: Ipek Ozkaya, SEI, U.S.A, and Eoin Woods, Endava, UK *Follow us on Social Media* ============================== Twitter: @ICSAconf Facebook: https://www.facebook.com/ICSAconf WikiCFP: http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63338 For updated and detailed information about ICSA 2019, please visit http://icsa-conferences.org/2019 From steffen.becker at informatik.uni-stuttgart.de Wed Sep 19 09:47:58 2018 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Wed, 19 Sep 2018 09:47:58 +0200 Subject: [fg-arc] GI-Tagung Software Engineering (SE 2019): Call for Workshops Message-ID: Die Konferenzreihe Software Engineering (SE) des Fachbereichs Softwaretechnik der Gesellschaft f?r Informatik ist das wichtigste j?hrliche Treffen der Software Engineering-Community im deutschsprachigen Raum: http://www.se-konferenzen.de/ Die SE 2019 wird vom 18.-22. Februar 2019 in Stuttgart stattfinden: https://se19.uni-stuttgart.de/ Neben dem technisch-wissenschaftlichen Hauptprogramm stellt das Workshop-Programm immer einen wesentlichen Bestandteil des Tagungsprogramms dar. Durch das offene Workshop-Format ist es sogar in besonderer Weise m?glich, neue Teilgebiete des Software Engineering zu f?rdern und eine starke Vernetzung und Kooperation von Wissenschaft und Praxis zu erreichen. Dementsprechend werden Workshop-Vorschl?ge, die einen expliziten Praxisbezug bieten und z.B. von Fachleuten aus der Industrie (mit-)organisiert werden, bei der Auswahl bevorzugt behandelt. Prinzipiell sind alle Themen mit klarem Software-Engineering-Bezug m?gliche Workshop-Themen. Die Workshops werden am 18 und 19. Februar 2019 stattfinden. Es k?nnen halbt?gige oder ganzt?gige Workshops vorgeschlagen werden. # Einreichungen Vorschl?ge f?r Workshops sollten die auf der SE-Webseite aufgef?hrten Informationen enthalten und den dort ebenfalls gegebenen Formatvorgaben entsprechen: https://se19.uni-stuttgart.de/Calls/Workshops/ Die Vorschl?ge k?nnen jederzeit ?ber EasyChair eingereicht werden: https://easychair.org/conferences/?conf=se19workshops Akzeptierte Workshops m?ssen von den jeweiligen Organisatoren geeignet angek?ndigt und beworben werden. Die SE 2019 wird zus?tzlich einen gemeinsamen Call f?r alle Workshops ver?ffentlichen. Die Organisatoren werden gebeten, nachdem ihr Thema akzeptiert wurde, eine Webseite einzurichten, mit deren Hilfe sie die Teilnehmer ?ber Inhalte und zeitlichen Ablauf, sowie ?ber den Workshop im Allgemeinen informieren. Dar?ber hinaus k?nnen die Organisatoren eine zweiseitige Beschreibung des Workshops im Tagungsband ver?ffentlichen (LNI-Format). Wie in den vergangenen Jahren ist geplant, einen gemeinsamen Tagungsband der Workshops zu ver?ffentlichen. # Wichtige Daten Annahmeschluss f?r Workshop-Vorschl?ge 02.10.18 Benachrichtigungen f?r Workshop-Vorschl?ge 09.10.18 Einreichungsfrist f?r Workshop-Beitr?ge 14.12.18 Benachrichtigung f?r Workshop-Beitr?ge 14.01.19 Einreichung der finalen Workshop-Beitr?ge 24.01.19 Workshop-Beschreibung f?r Tagungsband 24.01.19 # Programmkomitee Andr? van Hoorn (Vorsitz), Universit?t Stuttgart Stephan Krusche, Technische Universit?t M?nchen Jan-Philipp Stegh?fer, Chalmers | University of Gothenburg Stefan Sauer, Universit?t Paderborn, s-lab # Koordination des gemeinsamen Tagungsbandes Stephan Krusche, Technische Universit?t M?nchen -- Universit?t Stuttgart - Institut f?r Softwaretechnologie Prof. Dr.-Ing. Steffen Becker - Reliable Software Systems Tel +49 711 685 88273 http://www.iste.uni-stuttgart.de/rss.html From ggelfond at unomaha.edu Mon Sep 17 19:41:00 2018 From: ggelfond at unomaha.edu (ggelfond at unomaha.edu) Date: Mon, 17 Sep 2018 17:41:00 +0000 Subject: [fg-arc] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED Message-ID: Call for Papers --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju.edu/plw/lpnmr-2019/ Philadelphia, USA June 4-7, 2019 Co-located with Datalog 2.0 Workshop --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to?provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS To be announced TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2019 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the LPNMR 2019 Easychair site: https://easychair.org/conferences/?conf=lpnmr2019 Two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the journal Theory and Practice of Logic Programming will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication. In case of invited papers for a rapid publication in journals, there should be at least 30% new content compared to the published conference paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details (some of which would appear as supplementary material). New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available. MULTIPLE SUBMISSION POLICY LPNMR 2019 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED EVENTS DATALOG 2.0 Workshop ASSOCIATED EVENTS WORKSHOPS To be announced DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019 at easychair.org Tentative IMPORTANT DATES * Paper registration: January 29 * Paper submission: February 5 * Notification: March 12 * Final versions due: April 2 VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universit?t Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universit?t Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Polit?cnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Sch?ller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universit?t Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of S?o Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From dave at chalmers.se Mon Sep 17 21:46:33 2018 From: dave at chalmers.se (David Sands) Date: Mon, 17 Sep 2018 19:46:33 +0000 Subject: [fg-arc] PhD positions in Programming Language Technology for Security and Privacy Message-ID: <850538d666f5470bae4ccc2e1f12345c@chalmers.se> Chalmers University of Technology in Gothenburg, Sweden invite applications for PhD positions in Programming Language Technology for Security and Privacy. We are looking for applicants with a technical background in the programming languages and systems research area, and who have a keen interest in applying and developing this technology to create new methods and tools for security and privacy of software and systems. You will have a good knowledge in several of the following areas: compiler technology, static analysis, type systems, programming language semantics, advanced functional programming, program verification. Application deadline: October 10th, 2018. We encourage all applicants who might need a visa to visit Sweden to apply as soon as possible. For details about the employment conditions and how to apply see: http://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=6602&rmlang=UK -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Sep 18 01:07:35 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 18 Sep 2018 01:07:35 +0200 Subject: [fg-arc] SLSP 2018: call for participation Message-ID: <545102060a010b0404515501060b5a5356070357020157560a505a500e5753075c5457550a0b090208545505060304@grlmc_ip-zone_com-6> SLSP 2018: call for participation*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-16, 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/ ********************************************************************************** PROGRAM Monday, October 15 09:00 - 09:30?? ?Registration 09:30 - 09:40?? ?Opening 09:40 - 10:30?? ?Thomas Hain. Crossing Domains in Automatic Speech Recognition - Invited lecture 10:30 - 11:00?? ?Break 11:00 - 12:15 Amal Houidhek, Vincent Colotte, Zied Mnasri and Denis Jouvet. DNN-based Speech Synthesis for Arabic: Modelling and Evaluation Antoine Perquin, Gw?nol? Lecorv?, Damien Lolive and Laurent Amsaleg. Phone-level Embeddings for Unit Selection Speech Synthesis Raheel Qader, Gw?nol? Lecorv?, Damien Lolive and Pascale S?billot. Disfluency Insertion for Spontaneous TTS: Formalization and Proof of Concept 12:15 - 13:45?? ?Lunch 13:45 - 14:35?? ?Simon King. Does 'End-to-End' Speech Synthesis Make any Sense? - Invited lecture 14:35 - 14:50?? ?Break 14:50 - 16:05 George Christodoulides. Forced Alignment of the Phonologie du Fran?ais Contemporain Corpus Ruei Hung Alex Lee and Jyh-Shing Roger Jang. A Syllable Structure Approach to Spoken Language Recognition Gueorgui Pironkov, Sean Wood, St?phane Dupont and Thierry Dutoit. Investigating a Hybrid Learning Approach for Robust Automatic Speech Recognition 16:05 - 16:20?? ?Break 16:20 - 17:30?? ?Poster session I 17:30 - 19:30?? ?Touristic visit --- Tuesday, October 16 09:00 - 09:50?? ?Isabel Trancoso. Analysing Speech for Clinical Applications - Invited lecture 09:50 - 10:20?? ?Break 10:20 - 11:35 Jan Vanek, Josef Michalek, Jan Zelinka and Josef Psutka. A Comparison of Adaptation Techniques and Recurrent Neural Network Architectures Andris Varavs and Askars Salimbajevs. Restoring Punctuation and Capitalization Using Transformer Models David Awad, Caroline Sabty, Mohamed Elmahdy and Slim Abdennadher. Arabic Name Entity Recognition Using Deep Learning 11:35 - 11:50?? ?Break and Group photo 11:50 - 13:05 Pratik Doshi and Wlodek Zadrozny. Movie Genre Detection Using Topological Data Analysis and Simple Discourse Features Daniel Grie?haber, Thang Vu and Johannes Maucher. Low-resource Text Classification Using Domain-adversarial Learning Manny Rayner, Johanna Gerlach, Pierrette Bouillon, Nikolaos Tsourakis and Herv? Spechbach. Handling Ellipsis in a Spoken Medical Phraselator 13:05 -?? ?14:35?? ?Lunch 14:35 - 15:50 Laura Garc?a-Sardi?a, Manex Serras and Arantza Del Pozo. Knowledge Transfer for Active Learning in Textual Anonymisation Fernando Gomes and Juan Manuel Ad?n-Coello. Studying the Effects of Text Preprocessing and Ensemble Methods on Sentiment Analysis of Brazilian Portuguese Tweets Daniel Lichtblau and Catalin Stoean. Text Documents Encoding through Images for Authorship Attribution 15:50 - 16:05?? ?Break 16:05 - 17:05?? ?Poster session II 17:05 - 17:15?? ?Closing -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Wed Sep 19 16:13:35 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 19 Sep 2018 17:13:35 +0300 Subject: [fg-arc] The 34th ACM Symposium on Applied Computing (SAC 2019): Combined Call for Papers - Last Mile Message-ID: *** COMBINED CALL FOR PAPERS - LAST MILE *** The 34th ACM Symposium on Applied Computing (SAC 2019) St. Raphael Resort, Limassol, Cyprus, April 8-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMzR0aCBBQ00gU3ltcG9zaXVtIG9uIEFwcGxpZWQgQ29tcHV0aW5nIChTQUMgMjAxOSk6IENvbWJpbmVkIENhbGwgZm9yIFBhcGVycyAtIExhc3QgTWlsZQkyNzcJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.sigapp.org%2Fsac%2Fsac2019 *** Submission Deadline: September 24, 2018 *** For the past thirty-three years the ACM Symposium on Applied Computing (SAC) has been a primary and international forum for applied computer scientists, computer engineers and application developers to gather, interact and present their work. The ACM Special Interest Group on Applied Computing (SIGAPP) is the sole sponsor of SAC. The conference proceedings are published by ACM and are also available online through ACM's Digital Library. The 34th Annual SAC meeting will be held in April 2019 in Limassol, Cyprus, and is hosted by the University of Cyprus. The conference features the following tracks: ? Intelligent Robotics and Multi-Agent Systems (IRMAS) ? Knowledge Representation and Reasoning (KRR) ? Information Access and Retrieval (IAR) ? Software Verification and Testing (SVT) ? Computational Intelligence and Video & Image Analysis (CIVIA) ? Social Network and Media Analysis (SONAMA) ? Selected Areas of Wireless Communications and Networking (WCN) ? Recommender Systems: Theory and Applications (RS) ? Computer Security (SEC) ? Web-based Technologies for Interactive Computing Education (WICE) ? Data Mining (DM) ? Usability Engineering (UE) ? Cloud Computing (CC) ? Privacy by Design in Practice (PDP) ? Advances in COMputational Biomedical Imaging (COMBI) ? Operating Systems (OS) ? Software Platforms (SP) ? Decentralized Applications (DAPP) with Blockchain, DLT and Crypto-Currencies (DAPP) ? Databases and Big Data Management (DBDM) ? Requirements Engineering (RE) ? Cyber-Physical Systems (CPS) ? Software Architecture: Theory, Technology, and Applications (SA-TTA) ? Internet of Things (IoT) ? Sustainability of Fog/Edge Computing Systems (SFECS) ? Software-intensive Systems-of-Systems (SiSoS) ? Data Streams (DS) ? Programming Languages (PL) ? Business Process Management & Enterprise Architecture (BPMEA) ? Microservices, DevOps, and Service-Oriented Architecture (MiDOS) ? Health Informatics (HI) ? Dependable, Adaptive, and Secure Distributed Systems (DADS) ? GeoInformation Analytics (GIA) ? Knowledge and Language Processing (KLP) ? KomIS: Knowledge Discovery meets Information Systems (KomIS) ? Next Generation Programming Paradigms and Systems (NGPS) ? Communication, Computing and Networking in Internet of Vehicles (CCNIV) ? Bioinformatics (BIO) ? Embedded Systems (EMBS) ? Digital Life for Human Well-being (DLHWB) ? Networking (NET) ? Semantic Web and Applications (SWA) ? Mobile Computing and Applications (MCA) ? Software Engineering (SE) ? Variability and Software Product Line Engineering (VSPLE) ? Smart Human Computer Interaction (HCI) ? Web Technologies (WT) ? Machine Learning and its Applications (MLA) More information about the topics covered by each track and submission instructions are available on the conference web site and the web sites of the tracks themselves (accessible from the conference web site). Important Dates ? Sept 24, 2018: Submission of papers ? Nov 10, 2018: Author notification ? Nov 25, 2018: Camera-ready copies ? Dec 10, 2018: Author registration Committees http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMzR0aCBBQ00gU3ltcG9zaXVtIG9uIEFwcGxpZWQgQ29tcHV0aW5nIChTQUMgMjAxOSk6IENvbWJpbmVkIENhbGwgZm9yIFBhcGVycyAtIExhc3QgTWlsZQkyNzcJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.sigapp.org%2Fsac%2Fsac2019/organization.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Sep 20 19:11:12 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 20 Sep 2018 20:11:12 +0300 Subject: [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): First Call for Papers Message-ID: *** FIRST CALL FOR PAPERS *** 27th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019) Golden Bay Beach Hotel 5*, Larnaca, Cyprus, June 9-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyNzkJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F Abstracts due: January 25, 2019 (mandatory) Papers due: February 1, 2019 BACKGROUND AND SCOPE ACM UMAP, "User Modeling, Adaptation and Personalization", is the premier international conference for researchers and practitioners working on systems that adapt to individual users, to groups of users, and that collect, represent, and model user information. ACM UMAP is sponsored by ACM SIGCHI and SIGWEB. The proceedings are published by ACM and will be part of the ACM Digital Library. ACM UMAP covers a wide variety of research areas where personalization and adaptation may be applied. This include (but is in no way limited to) a number of domains in which researchers are engendering significant innovations based on advances in user modeling and adaptation, recommender systems, adaptive educational systems, intelligent user interfaces, e-commerce, advertising, digital humanities, social networks, personalized health, entertainment, and many more. This year the conference hosts three new tracks, one on privacy and fairness, one on personalized music access, and one on personalized health. CONFERENCE TRACKS For details, see the conference website ( http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyNzkJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F ). ? Track 1 - Personalized Recommender Systems ? Track 2 - Adaptive Hypermedia and the Semantic Web ? Track 3 - Intelligent User Interfaces ? Track 4 - Personalized Social Web ? Track 5 - Technology-Enhanced Adaptive Learning ? Track 6 - Privacy and Fairness ? Track 7 - Personalized Music Access ? Track 8 - Personalized Health SUBMISSION AND REVIEW PROCESS Papers have to be submitted through EasyChair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyNzkJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dacmumap2019 Long (8 pages + references) and Short (4 pages + references) papers in ACM style, peer reviewed, original, and principled research papers addressing both the theory and practice of UMAP and papers showcasing innovative use of UMAP and exploring the benefits and challenges of applying UMAP technology in real-life applications and contexts are welcome. Long papers should present original reports of substantive new research techniques, findings, and applications of UMAP. They should place the work within the field and clearly indicate innovative aspects. Research procedures and technical methods should be presented in sufficient detail to ensure scrutiny and reproducibility. Results should be clearly communicated and implications of the contributions/findings for UMAP and beyond should be explicitly discussed. Short papers should present original and highly promising research or applications. Merit will be assessed in terms of originality and importance rather than maturity, extensive technical validation, and user studies. Papers must be formatted using the ACM SIG Standard (SIGCONF) proceedings template: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyNzkJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template . All accepted papers will be published by ACM and will be available via the ACM Digital Library. At least one author of each accepted paper must register for the conference and present the paper there. IMPORTANT DATES ? Abstracts: January 25, 2019 (mandatory) ? Full paper: February 1, 2019 ? Notification: March 11, 2019 ? Camera-ready: April 3, 2019 Note: The submission time is 11:59pm AoE time (Anywhere on Earth). GENERAL CHAIRS ? George A. Papadopoulos, University of Cyprus, Cyprus ? George Samaras, University of Cyprus, Cyprus ? Stephan Weibelzahl, PFH Private University of Applied Sciences, G?ttingen, Germany RELATED EVENTS Separate calls will be later sent for Workshops and Tutorials, Doctoral Consortium, Posters, Late Breaking Results and Theory, Opinion and Reflection works, as they have different deadlines and submission requirements. -------------- next part -------------- An HTML attachment was scrubbed... URL: From maurice.terbeek at isti.cnr.it Fri Sep 21 11:19:48 2018 From: maurice.terbeek at isti.cnr.it (Maurice ter Beek) Date: Fri, 21 Sep 2018 11:19:48 +0200 Subject: [fg-arc] Third Call for Papers: FSEN 2019 Message-ID: ###################################################################### THIRD CALL FOR PAPERS Eighth International Conference on Fundamentals of Software Engineering 2019 - Theory and Practice (FSEN '19) http://fsen.ir/2019 Tehran, Iran May 1-3, 2019 IFIP Supported Event (IFIP WG 2.2 and IFIP TC2) http://www.ifip.org/ ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, May 1-3, 2019. -- Important Dates -- Abstract Submission (optional): October 19, 2018 (AoE) Paper Submission: October 28, 2018 (AoE) Notification: December 18, 2018 Final pre-Conference Version: January 20, 2019 (AoE) Conference: May 1-3, 2019 -- Keynote Speakers -- Rocco De Nicola, IMT School for Advanced Studies Lucca, Italy Giovanna Di Marzo Serugendo, University of Geneva, Switzerland Martin Wirsing, LMU Munich, Germany -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and Service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial Applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in Postscript or PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2019. Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS post-proceedings and conference pre-proceedings 2) Short paper for the LNCS post-proceedings and conference pre-proceedings 3) Poster included only in the pre-proceedings Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'19 will be published by Springer Verlag in the LNCS series. Pre-proceedings, printed locally by IPM, will be available at the conference. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'19 (to be confirmed). After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chairs -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran -- Program Chairs -- Hossein Hojjat - Rochester Institute of Technology, USA Mieke Massink - CNR-ISTI Pisa, Italy -- Publicity Chair -- Maurice ter Beek - CNR-ISTI Pisa, Italy -- Steering Committee -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland (Chair) Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands -- Program Committee -- ? Mohammad Abdollahi Azgomi - Iran University of Science and Technology, Iran ? Erika Abraham - RWTH Aachen University, Germany ? Gul Agha - University of Illinois at Urbana - Champaign, USA ? Christel Baier - Technische Universitat Dresden, Germany ? Ezio Bartocci, Vienna University of Technology, Austria ? Marcello Bonsangue - Leiden University, The Netherlands ? Mario Bravetti - University of Bologna, Italy ? Michael Butler - University of Southampton, UK ? Erik de Vink - Eindhoven University of Technology, The Netherlands ? Alessandra Di Pierro - University of Verona, Italy ? Ali Ebnenasir - Michigan Technological University ? Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands ? Adrian Francalanza - University of Malta, Malta ? Masahiro Fujita - University of Tokyo, Japan ? Maurizio Gabbrielli - University of Bologna, Italy ? Fatemeh Ghassemi - University of Tehran, Iran ? Jan Friso Groote - Eindhoven University of Technology, The Netherlands ? Hassan Haghighi - Shahid Beheshti University, Iran ? Philipp Haller - KTH Royal Institute of Technology, Sweden ? Mohammad Izadi - Sharif University of Technology, Iran ? Narges Khakpour - Linnaeus University, Sweden ? Ramtin Khosravi - University of Tehran, Iran ? Natallia Kokash - IT Consultant NK Research, The Netherlands ? Eva K?hn - Vienna University of Technology, Austria ? Kim Larsen - Aalborg University, Denmark ? Zhiming Liu - Southwest University, China ? Hassan Mirian-Hosseinabadi? - Sharif University of Technology, Iran ? Emanuela Merelli - University of Camerino, Italy ? Ugo Montanari - University of Pisa, Italy ? Mohammad Reza Mousavi - University of Leicester, UK ? Ali Movaghar - Sharif University of Technology, Iran ? Peter Mosses - Swansea University, UK ? Magnus O. Myreen - Chalmers University, Sweden ? Shiva Nejati - University of Luxembourg, Luxembourg ? Peter Olveczky - University of Oslo, Norway ? Jose Proenca - INESC TEC & Universidade do Minho, Portugal ? Wolfgang Reisig, Humboldt-Universitat zu Berlin, Germany ? Philipp Ruemmer - Uppsala University, Sweden ? Gwen Salaun - University of Grenoble Alpes, Inria, France ? Cristina Seceleanu - M?lardalen University, Sweden ? Marjan Sirjani - M?lardalen University and Reykjavik University, Sweden/Iceland ? Marielle Stoelinga - University of Twente and Radboud University, The Netherlands ? Meng Sun - Peking University, China ? Carolyn Talcott - SRI International, USA From Henning.Schulz at novatec-gmbh.de Fri Sep 21 14:52:54 2018 From: Henning.Schulz at novatec-gmbh.de (Schulz Henning) Date: Fri, 21 Sep 2018 12:52:54 +0000 Subject: [fg-arc] Call-for-Nominations: SPEC Kaivalya Dixit Distinguished Dissertation Award 2018 Message-ID: <3A68FA45-CCB6-464B-B443-B79E228B9172@novatec-gmbh.de> Dear Sir or Madam, The SPEC Kaivalya Dixit Distinguished Dissertation Award aims to recognize outstanding doctoral dissertations in the field of computer benchmarking, performance evaluation, and experimental system analysis in general. Nominated dissertations will be evaluated in terms of scientific originality, scientific significance, practical relevance, impact, and quality of the presentation. The SPEC Research Group promotes research in quantitative system evaluation and analysis both with classical performance metrics ? such as response time, throughput, scalability and efficiency, as well as other extra-functional system properties included under the term dependability ? such as availability, reliability, and security. Contributions of interest span the design of metrics for system evaluation as well as the development of methodologies, techniques and tools for measurement, load testing, profiling, workload characterization, dependability and efficiency evaluation of computing systems. The winner will receive $1000, which will be awarded at the ICPE 2019 International Conference on Performance Engineering. A nomination consists of one PDF file less than 20MB that must include the following information in this order: * A nomination letter with the name of the student, the title of the dissertation, the institution where the dissertation was defended, and the date of the defense. The nomination letter should outline the outstanding contributions of the dissertation and should not exceed 2 pages (letter size) using 11 point font. * A C.V. of the nominee (up to three pages) that clearly marks all publications/technical reports that are included in the dissertation. * The dissertation itself, including a one-page extended abstract of the dissertation. If the dissertation is written in language other than English, it may be accompanied by publications, in English, describing the same research as the dissertation. SPEC Kaivalya Dixit Distinguished Dissertation Award is open to dissertations that have been defended between October 2017, and September 2018. If there are several outstanding submissions, the committee may split the award between them. The submission deadline is September 30, 2018. Nominations are welcome at any time before the final submission deadline. Questions about the application process can be e-mailed to nominations at spec dot org. Nominations should be uploaded to EasyChair. The nomination can be provided by anyone except the thesis author. Typically, it is the thesis advisor or a member of the thesis defense committee, but other people ? especially experts in performance evaluation ? can do so as well. Selection committee: * Chair: Evgenia Smirni (College of William and Mary, USA) * Andr? van Hoorn (Universit?t Stuttgart, Germany) * Diwakar Krishnamurthy (University of Calgary, Canada) * Arif Merchant (Google, USA) * Erich Nahum (IBM Research, USA) * Vittoria de Nitto Person? (University of Rome, Italy) * Xipeng Shen (NCSU, USA) * Xiaoyun Zhu (Hyperpilot, USA) Kind regards, Henning Schulz -- Henning Schulz Consultant ? Application Performance Management [Novatec Logo] T. +49 721 5099-8756 ? M. +49 160 90856928 henning.schulz at novatec-gmbh.de ? www.novatec-gmbh.de Novatec Consulting GmbH Ludwig-Erhard-Allee 10, D-76131 Karlsruhe Folgen Sie uns auf Facebook, LinkedIn, Twitter, XING oder auf unserem Blog Sitz: Leinfelden-Echterdingen ? Handelsregister: Amtsgericht Stuttgart ? HRB 739078 Gesch?ftsf?hrer: Stefan Bleicher, Hans-Dieter Brenner, Konrad Pfeilsticker, Michael Schuchart [nAPM] openapm.io ? Explore the potential of open source APM solutions -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: image001.png Type: image/png Size: 18901 bytes Desc: image001.png URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: image002.png Type: image/png Size: 1478 bytes Desc: image002.png URL: From me at bohlouli.com Fri Sep 21 19:39:01 2018 From: me at bohlouli.com (Mahdi Bohlouli) Date: Fri, 21 Sep 2018 19:39:01 +0200 Subject: [fg-arc] [CfP] CiDaS 2019, Contemporary Issues in Data Science, The International Conference on Message-ID: <188BEBC3-48F5-440C-80B0-4B928A3D545F@bohlouli.com> **apologies for cross-postings** --------------------------------------------------------------------------------------------------------------------- Call for Papers The International Conference on Contemporary Issues in Data Science CiDaS19 Institute for Advanced Studies in Basic Science, 6-8 March 2019, Zanjan, Iran Conference Website: https://cidas.iasbs.ac.ir Submission link: https://easychair.org/conferences/?conf=cidas19 Publication in: https://www.springer.com/series/15362 --------------------------------------------------------------------------------------------------------------------- Data science is rapidly growing field and as a profession incorporates a wide variety of areas from statistics, mathematics and machine learning to applied big data analytics. In this regard, we put special interest and focus on data science in our past executions of CICIS conference. This year, in its 5th run, we decided to dedicate the conference to data science area and accordingly keep it as professional data science event in the future. The 5th international conference on Contemporary issues in Data Science (CiDaS) will provide a sort of a real workshop (not listen-shop) to scientists and scholars to share ideas, initiate future collaborations and brainstorm challenges as well as industries to catch emerging solutions from the science to their real data science problems. Goal: CiDaS aims at providing first class brainstorming and collaboration potentials to data scientists and experts from other related areas and disciplines, who use data science innovations in their field. We accept applied and fundamental research papers, survey papers that show innovations in the field as well as papers from other disciplines that show novel application of data science and big data in their field such as healthcare, manufacturing, finance and etc. Keynote Speakers: - Soeren Auer: Leibniz University of Hannover, TIB Leibniz Information Centre for Science and Technology, Germany - Mohammad Shokoohi Yekta, Apple Inc., United States - Hamid Beigy, Sharif University of Technology, Iran Topics: Main topics to be addressed in the CiDaS conference include, but not limited to: * Big Data Analysis: Linked Open Data, Scalable Machine Learning, Distributed Data Storage and Analysis, Algorithmic and Statistical Techniques for Big Data, Privacy and Ethics * Machine Learning and Data science: Deep Learning, Text Mining and Natural Language Processing, Statistical Pattern Recognition, Statistical Models in Data Science, Probabilistic graphical models * Semantic Data Science: Knowledge Discovery, Semantic Technologies, Novel Information Retrieval, Linked data and Semantic Web, Ontologies, Graph and Network Analysis * Applied Data Science: Computer vision, Biological data analysis and Bioinformatics, Social network analysis, Large Scale Data retrieval and analysis in Smart Cities, Data Science for Gamification, IoT and WoT, Industry 4.0, Malware detection Paper Submission: All submissions should be in English and PDF format. Authors are requested to use the style of the Springer Publications format. For details on the Springer style, see Springer's Author Instructions (ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip). Two types of submissions will be accepted: (1) Full paper and (2) Short paper. Full paper submissions are not allowed to exceed 11 pages including references. Short paper submissions should be maximum 6 pages. All papers should be submitted through Easychair system using the following link: https://easychair.org/conferences/?conf=cidas19 Conference Proceedings: All accepted full papers will be published by Springer in Lecture Notes on Data Engineering and Communications Technologies (https://www.springer.com/series/15362). The books of this series are submitted to ISI Proceedings, MetaPress, Springerlink and DBLP. Important Dates: - Paper submission: November 9, 2018 - Tutorial submission: January 5, 2019 - Preliminary review: January 11, 2019 - Rebuttals: January 23-25, 2019 - Notification of acceptance: February 1, 2019 - Camera-ready and early registration: February 14, 2019 - Late registration deadline: February 24, 2019 Program Chairs: - General Chair: Bahram Sadeghi Bigham - International Chair: Mahdi Bohlouli - Local Chairs: Zahra Narimani, Mahdi Vasighi - Tutorials Chair: Parvin Razzaghi Program Committee: Hassan Abolhassani, Software engineer at Google, USA Mohsen Afsharchi, University of Zanjan, Iran Morteza AnaLoui, Iran University of Science and Technology, Iran Amin Anjomshoa, Massachusetts Institute of Technology, USA Lefteris Angelis, Aristotle University of Thessaloniki, Greece Nikos Askitas, Research Data Center, Institute of Labour Economics, Germany Zeinab Bahmani, Uni-Select Inc, Canada Davide Ballabio, University of Milano-Bicocca, Italy Markus Bick, ESCP Europe Business School, Germany Elnaz Bigdeli, University of Ottawa, Canada Mansoor Davoodi Monfared, Institute of Advanced Studies in Basic Sciences, Iran Mohammad Reza Faraji, Institute of Advanced Studies in Basic Sciences, Iran Agata Filipowska, Poznan University of Economics and Business, Poland Holger Fr?hlich, University of Bonn, Germany George Kakarontzas, Technical Educational Institute of Thessaly, Greece Alireza Khastan, Institute of Advanced Studies in Basic Sciences, Iran Antonio Liotta, University of Derby, UK Rahim Mahmoudvand, Bu-Ali Sina University, Iran Samaneh Mazaheri, University of Ontario Institute of Technology, Canada Federico Marini, University of Rome "La Sapienza", Italy Maryam Mehri Dehnavi, University of Toronto, Canada Nima Mirbakhsh, Arcane Inc, Canada Ali Movaghar, Sharif University of Technology, Iran Ehsan Nedaaee Oskoee, Institute of Advanced Studies in Basic Sciences, Iran Peyman Pahlevani, Institute of Advanced Studies in Basic Sciences, Iran Paurush Praveen, Machine Learning Research, CluePoints, Belgium Edy Portmann, University of Fribourg, Switzerland Shahram Rahimi, Southern Illinois University, USA Reinhard Rapp, Hochschule Magdeburg, Germany Mohammad Saraee, University of Salford-Manchester, UK Frank Schulz, SAP AG, Germany Mehdi Sheikhalishahi, Innotec21 GmbH, Germany Ioannis Stamelos, Aristotle University of Thessaloniki, Greece Athena Vakali, Aristotle University of Thessaloniki, Greece Contact: All questions about submissions should be emailed to Zahra Narimani and Mahdi Bohlouli . From irdta at irdta.eu Tue Sep 25 20:37:03 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 25 Sep 2018 20:37:03 +0200 Subject: [fg-arc] BigDat 2019: early registration October 15 Message-ID: <545102060a010b040555570b0f0a5a50005e570553090f070603095502545b5150580d04010a0550085455530e5759@grlmc_ip-zone_com-6> BigDat 2019: early registration October 15*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ******************************************************** ? 5th INTERNATIONAL WINTER SCHOOL ON BIG DATA ? BigDat 2019 ? Cambridge, United Kingdom ? January 7-11, 2019 ? Co-organized by: ? Cambridge Big Data Initiative, University of Cambridge ? Institute for Research Development, Training and Advice (IRDTA) Brussels / London ? http://bigdat2019.irdta.eu/ ? ******************************************************** ? --- Early registration deadline: October 15, 2018 --- ? ******************************************************** ? SCOPE: ? BigDat 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. ? Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 four-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, BigDat 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. ? STRUCTURE: ? 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. ? VENUE: ? BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be: ? University of Cambridge Department of Engineering Trumpington Street Cambridge CB2 1PZ ? KEYNOTE SPEAKERS: ? tba ? PROFESSORS AND COURSES: ? Thomas B?ck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications ? Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function ? Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications ? Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Big Data Fusion and Analytics ? Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks ? Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society ? Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing ? David Gerbing (Portland State University), [introductory] Data Visualization with R ? Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs ? Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data ? Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows ? Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences ? Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression ? Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges ? Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning ? Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis ? Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services ? Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise ? Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing ? Concepts and Applications ? Mayte Su?rez-Fari?as (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R ? Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning ? Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit ? Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action ? Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning ? 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 December 30, 2018. ? INDUSTRIAL SESSION: ? A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. 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 December 30, 2018. ? EMPLOYER SESSION: ? Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. 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 December 30, 2018. ? ORGANIZING COMMITTEE: (to be completed) ? Sara Morales (Brussels) Manuel J. Parra-Roy?n (Granada) David Silva (London, co-chair) Filippo Spiga (Cambridge, co-chair) Richard E. Turner (Cambridge) ? REGISTRATION: ? It has to be done at ? http://bigdat2019.irdta.eu/registration/ ? The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation 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 are available on the event website. ? 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: ? Cambridge Big Data Initiative, University of Cambridge ? Institute for Research Development, Training and Advice (IRDTA) ? Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From rmcouto at outlook.pt Fri Sep 28 18:03:32 2018 From: rmcouto at outlook.pt (rui couto) Date: Fri, 28 Sep 2018 16:03:32 +0000 Subject: [fg-arc] [CFP] EICS 2019: The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems Message-ID: Apologies for cross-posting. ?EICS 2019 : Engineering Interactive Computing System The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems 18-21 June, 2019 - Valencia, Spain EICS 2019 is the eleventh international conference devoted to engineering usable and effective interactive computing systems. Work presented at EICS covers the full range of aspects that come into play when "engineering" interactive systems, such as innovations in the design, development, deployment, verification and validation of interactive systems. Topics of interest include the design and development of systems incorporating new interaction techniques and multimodal interaction, multi-user, multi-device/screen, multi-environment interaction, mobile and pervasive systems, large-scale and big data applications, deployment of interactive systems, as well as novel development methods and processes for improving the development of interactive systems. ------------------------------------------------------------------------ TOPICS EICS 2019 focuses on models, languages, notations, methods, techniques and tools that support designing and developing interactive systems. The Conference brings together people who study or practice the engineering of interactive systems, drawing from HCI, Software Engineering, Requirements Engineering, Conceptual Modelling, CSCW, Ubiquitous / Pervasive Systems. Submissions are invited that advance the state of the art of the engineering of interactive systems. Topics include but are not limited to: * Modelling and analysis of interaction and interactive systems * Processes for engineering interactive systems (e.g., design, implementation, prototyping, evaluation, verification and validation, testing) * Integrating interaction design into the software development process * Requirements engineering for interactive systems * Specification of interactive systems (methods, principles and tools) * Software architectures for interactive systems * Frameworks, toolkits, and APIs for interactive systems (e.g., API usability, interaction-driven API design) * Domain-specific languages for interactive systems * Formal methods within interactive systems engineering * Modelling and analysis of users? activities * Engineering innovative interactive applications (e.g., adaptive, tangible, touch and multitouch input, voice, gesture, EEG, multimodal input, mobile and wearable systems) * Engineering hardware/software integration in interactive systems (e.g., fabrication and maker processes, physical computing, etc.) * Engineering user experience (e.g., fun, affective) * Engineering complex interactive systems (e.g., large datasets, large communities, enterprise systems, collaborative systems) * Engineering interactive systems for various user categories (e.g., children, elderly, people with disabilities) * Certification issues of interactive systems * New datasets and evaluation data relevant for engineering interactive systems ------------------------------------------------------------------------ PAPER SUBMISSIONS EICS papers are now published as articles in the journal Proceedings of the ACM on Human Computer Interaction (EICS series). Papers submissions still follow the normal conference review process, but this process is iterated multiple times per year. Submissions to this venue should present original and mature research work. High-quality, elaborated case studies and practice reports with generalizable findings will also be considered. There are no length restrictions on papers, nor any limit to the number of references that may be included. More information about the new PACM-HCI (EICS series) review and publication process can be found at http://eics.acm.org/pacm. Upcoming deadlines for papers to be presented at EICS 2019 are: * 2018 Q4: Submission deadline October 26, 2018 * 2019 Q1: Submission deadline February 5, 2019 (for guidance only, subject to change) Submissions can be done through http://new.precisionconference.com Further information can be found on the web site: https://eics.acm.org/2019/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Sep 27 14:28:38 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 27 Sep 2018 15:28:38 +0300 Subject: [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): Student Grants Message-ID: *** SIGCHI Student Travel Grant (SSTG) Program *** 27th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019) Golden Bay Beach Hotel 5*, Larnaca, Cyprus, June 9-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IFN0dWRlbnQgR3JhbnRzCTI4MwlMaXN0cwkxNDgJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F We are pleased to announce that the SIGCHI Student Travel Grant (SSTG) program is offering support opportunities for students to attend UMAP 2019 (http://www.cyprusconferences.org/umap2019/). This grant is for students who lack other support opportunities and whose intention is to present their work at the conference, not just plan to attend the conference. The goal is to pre-approve students for grants before the conference submission deadline, so if a student gets a submission accepted, the student can count on having a grant awarded for travel to the conference. More information about this program and the application process: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IFN0dWRlbnQgR3JhbnRzCTI4MwlMaXN0cwkxNDgJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fsigchi.org%2Fconferences%2Fstudent-travel-grants%2Fstudent-travel-grant%2F Relevant deadline for UMAP 2019: November 1, 2018 (application will open in October) Notification of pre-approval: November 15, 2018 Information on additional funding options for students will soon be available on the UMAP 2019 web site. -------------- next part -------------- An HTML attachment was scrubbed... URL: