From a.garcia-dominguez at aston.ac.uk Sat Oct 1 09:05:43 2016 From: a.garcia-dominguez at aston.ac.uk (Garcia-Dominguez, Antonio) Date: Sat, 1 Oct 2016 07:05:43 +0000 Subject: [fg-arc] STAF 2017: Call for Workshops Message-ID: <239CD6FCD9FF564AA3DBE2D0CB18566B291A1521@exch-mb-g50-01.campus.aston.ac.uk> ------------------ Apologies for multiple postings ------------------ STAF 2017: Software Technologies: Applications and Foundations July 17-21, 2017, Marburg, Germany http://www.informatik.uni-marburg.de/staf2017/ -------------------------------------------------------------------- Call for Workshops -------------------------------------------------------------------- Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012, providing a loose umbrella organisation, with a steering committee that aims to provide continuity. The STAF federated event runs annually; the conferences that participate may vary from year to year, but all focus on practical and foundational advances in software technology. The conferences address all aspects of software technology, from object-oriented design, testing, formal approaches to modelling and verification, transformation, model-driven engineering, aspect-oriented techniques, and tools. STAF 2017 will bring together - 10th International Conference on Model Transformation (ICMT) - 10th International Conference on Graph Transformation (ICGT) - 13th European Conference on Modelling Foundations and Applications (ECMFA) - 11th International Conference on Tests and Proof (TAP) STAF 2017 will also host a number of satellite events including workshops. Workshops will provide a collaborative forum for groups of typically 15 to 35 participants to exchange recent and/or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate efforts between representatives of a technical community. They are intended as a forum for lively discussion of innovative ideas, recent progress, or practical experience on specific aspects, specific problems, or domain-specific needs. Each workshop should provide a balanced distribution of its time for both presentation of papers and discussions. We encourage prospective workshop organizers to submit proposals for highly-interactive workshops. Both research-oriented and applied topics are welcome. The duration of each workshop is either half day or full day. --------------------------- Important Dates --------------------------- Dec 15, 2016: Workshop proposal submission due Jan 15, 2017: Notification of acceptance/rejection of workshop proposals Jan 30, 2017: Workshop Websites online (although draft web pages for workshops at submission time are encouraged) Mar 02, 2017 (latest): First call for papers May 25, 2017 (latest): Workshop paper notification --------------------------- Workshop Proposal Guidelines --------------------------- Your proposal document must contain the following information: 1. General Information 1.1 Event title 1.2 Organizers and primary contact (name/affiliation/email) 1.3 Abstract (200 words), intended for the STAF 2017 website 1.4 Desired length of the workshop (half day or full day) 1.5 Related STAF conference (among ICMT, ICGT, ECMFA, TAP). If more than one, please indicate the most related one. 2. Objectives and Scope 2.1 Motivation 2.2 Objectives 2.3 Intended audience 2.4 Relevance (in particular to the STAF community) 2.5 Previous events including, where applicable, * a link to the website, * the number of submitted and accepted papers, and * the number of attendees 3. Organization Details 3.1 Details on the organizers (150 words max each), including relevant past experience in workshop organization 3.2 Preliminary list of program committee members (either proposed or confirmed -- please specify) 4. Workshop Format 4.1 Intended paper format (number of pages; types of papers, e.g., full papers, work-in-progress papers, practitioners' reports, posters) 4.2 Paper evaluation process 4.3 Intended publication of accepted papers (please see proceedings options stated below) 4.4 Intended workshop format (number of presentations, planned keynotes, panels, etc.) 4.5 How many participants do you expect (please explain your underlying assumptions)? 4.6 Specific requirements (e.g., equipment, room capacity) For Section 4.4, please clarify in particular why participants should submit to your workshop instead of to a conference or journal on related topics. If your plan does not contain substantial interactive parts (such as interactive brainstorming, prototyping, benchmarking, experimentation, ...) please clarify why you still think a physical workshop is the appropriate format. 5. Additional Material 5.1 Event Web page (URL of the draft Web page, if one exists) 5.2 Draft Call for Papers for the workshop (a one-page Call for Papers that you intend to send out if your workshop is accepted) --------------------------- For accepted workshops --------------------------- General rules: - The organizers will be required to issue the workshop Web page and the first Call for Papers by the deadline indicated above (see Important Dates). - All participants, including workshop organizers, keynote speakers, and invited guests, must register at least for the workshop day. - STAF 2017 will not pay for registration, travel, or other arrangements for workshop organizers and any of their invited speakers or guests. - Workshop organizers must attend their workshop or, if not possible, communicate in advance to the STAF Workshop co-chairs who will act as session chair(s) and will be responsible for the correct realization of the event. - STAF Workshop co-chairs may decide at any time to merge workshops on similar topics. - The actual dates of workshops will be decided by the STAF organizers. Recommended deadlines to be set by the organizers of accepted workshops: - Workshop paper submission: April 21, 2017 (or later) - Workshop paper notification: May 25, 2017 (or before, but STRICTLY NOT LATER) --------------------------- Proceedings --------------------------- STAF 2016 organized joint Springer LNCS post-proceedings for the workshops. If there is a critical mass of workshop organizers interested in offering Springer post-proceedings, STAF 2017 will also organize such post-proceedings. Please indicate your preference in your proposal (Sect. 4.3, see above). Otherwise, the workshops are expected to publish the proceedings on an individual basis---for example, as CEUR Workshop Proceedings (see http://ceur-ws.org/HOWTOSUBMIT.html#PRECONDS for preconditions for publishing). --------------------------- Submissions --------------------------- Please ensure that you adhere to the above workshop proposal guidelines providing all requested information using at most six pages (not including the draft Call for Papers). Submit your workshop proposal in PDF using the Springer LNCS style (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) to EasyChair: https://easychair.org/conferences/?conf=staf2017workshops Proposals will be selected based on their relevance to the conferences’ aims, beneficiaries, and timely advances in their respective topics. In particular, proposals will be evaluated according to the following criteria: - potential to advance the state of research and practice - organizers' experience and ability to lead a successful event - meaningful use of methods that activate the audience - balance and synergy between the proposed topics - continuity of workshop series --------------------------- Workshop Co-Chairs --------------------------- - Martina Seidl, JKU Linz, http://fmv.jku.at/seidl - Steffen Zschaler, King's College London, http://www.steffen-zschaler.de For further information, please email us at staf2017workshops at easychair.org From jan.jurjens at cs.tu-dortmund.de Tue Oct 4 13:44:58 2016 From: jan.jurjens at cs.tu-dortmund.de (Jan Juerjens) Date: Tue, 4 Oct 2016 13:44:58 +0200 Subject: [fg-arc] =?utf-8?q?CfP_f=C3=BCr_die_SOFTWARE_ENGINEERING_2017_in_?= =?utf-8?q?Hannover=3A_*****_VERL=C3=84NGERTE_EINREICHUNGSFRIST_*****?= In-Reply-To: <003501d1f0ad$ea6b3d00$bf41b700$@inf.uni-hannover.de> References: <003501d1f0ad$ea6b3d00$bf41b700$@inf.uni-hannover.de> Message-ID: <927d6a75-f7a2-71c8-3d04-ca3795145599@cs.tu-dortmund.de> ---------------------------------------------------------------------------- ***** AUFGRUND DER GROẞEN NACHFRAGE WURDE DIE EINREICHUNGSFRIST BIS SAMSTAG 15. OKTOBER 2016 VERLÄNGERT ***** ---------------------------------------------------------------------------- Call for Papers für die Tagung SOFTWARE ENGINEERING 2017 (http://se17.uni-hannover.de) der GI vom 21.-24.Februar 2017 in Hannover Bitte beachten Sie auch die DIN A4-Version (http://se17.uni-hannover.de/documents/CfP-SE17.pdf) dieser Email zum Ausdruck und die ausführlichen Informationen auf http://se17.uni-hannover.de . ---------------------------------------------------------------------------- ---------------------------------------------------------------------------- Wichtige Termine für alle Tracks: Einreichung von Beiträgen: ***** 15.10.2016 ***** Benachrichtigung der Autoren: 31.10.2016 Einreichung druckfertiger Beiträge: 07.11.2016 Spezialitäten in diesem Jahr - Eigene Sitzung zu Software Engineering in Versicherungen - Kreativitätswettbewerb zum Motto der Tagung: Wie visualisiert man „Software“ oder „Informatik“? Co-located: SEUH 2017 (Software Engineering im Unterricht an Hochschulen): www1.in.tum.de/seuh17 mit eigenen Terminen ---------------------------------------------------------------------------- ---------------------------------------------------------------------------- Motto: „Ein neues Bild von Software“ Software ist heute überall, und sie wird ganz unbefangen benutzt. Auch Softwareentwicklung sieht anders aus als noch vor wenigen Jahren. Die Digitalisierung beschäftigt Unternehmen und Universitäten. Das Bild von Software in der Gesellschaft und in den Medien ändert sich. Dieses Motto wird unter verschiedenen Perspektiven behandelt: von Keynotes, einem Kreativitätswettbewerb und so weiter. Die jährliche Tagung der Gesellschaft für Informatik (GI) findet 2017 in Hannover statt. Wissenschaftler und Praktiker diskutieren hier neue Erkenntnisse und Erfahrungen aus dem Software Engineering. Programm · Im wissenschaftlichen Hauptprogramm werden ausgewählte, exzellente Veröffentlichungen des letzten Jahres präsentiert: Die Leistungsschau des Software Engineering. · Visionäre Ideen komplementieren das Hauptprogramm. Forscher präsentieren hier neue, frische Konzepte, die noch nicht weithin bekannt sind. · Workshops bieten die Gelegenheit, einzelne Themen gemeinsam zu vertiefen. · Keynotes vermitteln Einsichten und ungewohnte Perspektiven auf die neuen Herausforderungen. · Praxisvorträge präsentieren aktuelle Anliegen, Erfahrungen und Best Practices aus Unternehmen – und laden zu Diskussionen ein. Einreichungen für das Hauptprogramm müssen sich auf einen Beitrag beziehen, der bereits in einer Fachzeitschrift oder auf einer internationalen Spitzenkonferenz publiziert wurde. Einzureichen sind eine Vortragszusammenfassung und der PDF-Volltext des Originalbeitrags; Einreichung erfolgt über EasyChair: https://easychair.org/conferences/?conf=se2017 . Details zu den Einreichungen für die anderen Tracks finden sich auf der Webseite http://se17.uni-hannover.de . Einsendeschluss ist für alle Tracks der SE17 der 30. September 2016. Für die SEUH gelten andere Termine und Formate. Tagungsort Leibniz Universität Hannover und Marriott Courtyard Hotel Hannover am Maschsee Herzlich willkommen in Hannover! == Prof. Dr. Jan Jürjens Institute for Software Technology (IST), University of Koblenz-Landau http://jan.jurjens.de Director Research Projects, Fraunhofer-Institute for Software and Systems Engineering ISST Compliance Innovation Lab, Fraunhofer Innovation Center for Logistics and IT http://www.filit.fraunhofer.de/de/compliance-innovation-lab/information-in-english.html From grlmc at grlmc.com Sat Oct 1 00:15:27 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 01 Oct 2016 00:15:27 +0200 Subject: [fg-arc] LATA 2017: 3rd call for papers Message-ID: <545102060a010b02075058050f055a500754530400090253560258550f0655565453010f565a0656545f56000e5150@grlmc_ip-zone_com-6> LATA 2017: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2017   Umeå, Sweden   March 6-10, 2017   Organized by:             Department of Computing Science Umeå University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2017/ *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 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 2017 will take place in Umeå, a university town in North Sweden which was European Capital of Culture in 2014. The venue will be the Faculty of Science and Technology.   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 2017 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Franz Baader (Technical University of Dresden), Approximately Description Logics   Thomas Eiter (Technical University of Vienna), Stream Reasoning: Issues and Some Results   Michael R. Fellows (University of Bergen), On Some Finiteness Theorems about Formal Languages   Georg Gottlob (University of Oxford), Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data   Thomas Wilke (University of Kiel), Backward Deterministic omega-Automata   PROGRAMME COMMITTEE:   Eric Allender (Rutgers University, Piscataway, US) Amihood Amir (Bar-Ilan University, Ramat Gan, IL) Christel Baier (Technical University of Dresden, DE) Armin Biere (Johannes Kepler University Linz, AT) Avrim Blum (Carnegie Mellon University, Pittsburgh, US) Ondřej Bojar (Charles University in Prague, CZ) Jin-Yi Cai (University of Wisconsin, Madison, US) Liming Cai (University of Georgia, Athens, US) Alessandro Cimatti (Bruno Kessler Foundation, Trento, IT) Rocco De Nicola (IMT School for Advanced Studies Lucca, IT) Rod Downey (Victoria University of Wellington, NZ) Frank Drewes (Umeå University, SE) Zoltán Fülöp (University of Szeged, HU) Gregory Z. Gutin (Royal Holloway, University of London, UK) Lane A. Hemaspaandra (University of Rochester, US) Dorit S. Hochbaum (University of California, Berkeley, US) Deepak Kapur (University of New Mexico, Albuquerque, US) Marek Karpinski (University of Bonn, DE) Joost-Pieter Katoen (RWTH Aachen University, DE) Evangelos Kranakis (Carleton University, Ottawa, CA) Lars M. Kristensen (Bergen University College, NO) Kim G. Larsen (Aalborg University, DK) Axel Legay (INRIA, Rennes, FR) Leonid Libkin (University of Edinburgh, UK) Carsten Lutz (University of Bremen, DE) João Marques Silva (University of Lisbon, PT) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair) Mitsunori Ogihara (University of Miami, Coral Gables, US) Arlindo Oliveira (Instituto Superior Técnico, Lisbon, PT) David Parker (University of Birmingham, UK) Madhusudan Parthasarathy (University of Illinois, Urbana-Champaign, US) Doron A. Peled (Bar-Ilan University, Ramat Gan, IL) Dominique Perrin (Paris-Est Marne-la-Vallée University, FR) Jean-Éric Pin (Paris Diderot University, FR) Sanguthevar Rajasekaran (University of Connecticut, Storrs, US) Bruce Reed (McGill University, Montréal, CA) Wojciech Rytter (University of Warsaw, PL) Kunihiko Sadakane (University of Tokyo, JP) Davide Sangiorgi (University of Bologna, IT) Helmut Seidl (Technical University of Munich, DE) Jens Stoye (Bielefeld University, DE) Wing-Kin Sung (National University of Singapore, SG) Dimitrios M. Thilikos (CNRS, LIRMM, FR & National and Kapodistrian University of Athens, GR) Ioannis G. Tollis (University of Crete, Heraklion, GR) Bianca Truthe (University of Giessen, DE) Frits Vaandrager (Radboud University, Nijmegen, NL) Rob van Glabbeek (CSIRO, Sydney, AU)   ORGANIZING COMMITTEE:   Yonas Demeke (Umeå) Frank Drewes (Umeå, co-chair) Petter Ericson (Umeå) Anna Jonsson (Umeå) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) Niklas Zechner (Umeå)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2017   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 the journal Information and Computation (Elsevier, 2015 JCR impact factor: 0.873) 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://grammars.grlmc.com/LATA2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: October 21, 2016 Notification of paper acceptance or rejection: November 25, 2016 Final version of the paper for the LNCS proceedings: December 5, 2016 Early registration: December 5, 2016 Late registration: February 20, 2017 Submission to the journal special issue: June 10, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   LATA 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Umeå universitet Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Oct 4 11:37:33 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 4 Oct 2016 12:37:33 +0300 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Last Call for Papers Message-ID: ** Last Call for Papers *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IExhc3QgQ2FsbCBmb3IgUGFwZXJzCTcyCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. Why you should submit to ACM IUI: At ACM IUI, we focus on the interaction between machine intelligence and human intelligence. While other conferences focus on one side or the other, we address the complex interaction between the two. We welcome research that explores how to make the interaction between computers and people smarter, which may leverage solutions from data mining, knowledge representation, novel interaction paradigms, and emerging technologies. We strongly encourage submissions that discuss research from both HCI and AI simultaneously, but also welcome works that focus more on one side or the other. The conference brings together people from academia, industry and non-profit organizations and gives its participants the opportunity to present and see cutting-edge IUI work in a focused and interactive setting. It is large enough to be diverse and lively, but small enough to allow for extensive interaction among attendees and easy attendance to the events that the conference offers, ranging from oral paper presentations, poster sessions, workshops, panels and doctoral consortium for graduate students. Submission Full and Short Papers We invite original paper submissions that describe novel user interfaces, applications, interactive and intelligent technologies, empirical studies, or design techniques. IUI 2017 especially encourages submissions on innovative and visionary new concepts or directions for the design of intelligent interfaces. We do not require evaluations with users, but we do expect papers to include an appropriate evaluation for their stated contribution. Accepted papers will appear in the ACM Digital Library and citation indices. A selected set of accepted top quality full papers will be invited to submit their extended versions for publication in an ACM Transactions on Interactive Intelligent Systems (TiiS, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IExhc3QgQ2FsbCBmb3IgUGFwZXJzCTcyCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Ftiis.acm.org%29 special issue titled "Highlights of IUI 2017". Examples of ACM IUI topics of interest include, but are not limited to: · Intelligent visualization tools · User-Adaptive interaction and personalization · Recommender systems · Intelligent wearable, mobile and ubiquitous interfaces · Modeling and prediction of user behavior · Information retrieval and search · Education and learning-related technologies · Social media analysis · Multi-modal interfaces (speech, gestures, eye gaze, face, physiological information etc.) · Natural language and speech processing · Generation of multimodal content · Big Data and analytics · Smart environments and tangible computing · Intelligent assistants for complex tasks · Collaborative interfaces · Persuasive and assistive technologies in IUI · Affective and aesthetic interfaces · Interactive machine learning · Planning and plan recognition for IUI · Knowledge-based approaches to user interface design and generation · Proactive and agent-based user interaction · Example-and demonstration-based interfaces · Evaluations of intelligent user interfaces Submission Guidelines · Full paper (anonymized 10 pages, references do not count toward the page limit) should make substantial, novel, and relevant contribution to the field. · Short paper (anonymized 4 pages, references do not count toward the page limit) is a much more focused and succinct contribution to the field. Short papers are not expected to include a discussion of related work that is as broad and complete as that of full papers. · Anonymization: ACM IUI uses a double-blind review process. All submissions must be appropriately anonymized according to the following guidelines: 1. Author's names and affiliations are not visible anywhere in the paper. 2. Acknowledgements should be anonymized or removed during the review process. 3. Self-citations should be included where necessary, but must use the third person. For example, "... as shown in our previous user study [2] ..." is not allowed, whereas "... as shown in Smith et al. [2] " is acceptable (because in this case the citation [2] will NOT be perceived as self-citation). Failure to follow these guidelines may results in submissions being rejected without review. Submissions should follow the standard SigCHI format available here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IExhc3QgQ2FsbCBmb3IgUGFwZXJzCTcyCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform%2F . You may use either the Microsoft Word template or the LaTeX template. Accepted full papers will be invited for oral presentation. Accepted short papers will be invited either as oral or poster presentation, depending on the quality of the papers. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Important Dates · Abstracts: October 9, 2016 · Full and Short Papers: October 14, 2016 · Reviews to Authors: November 21, 2016 · Rebuttals: November 25, 2016 · Notification of Decisions: December 9, 2016 Committees General Chairs · Tsvika Kuflik, University of Haifa, Israel · George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Chairs · Fang Chen, NICTA, Australia · Carlos Duarte, University of Lisbon, Portugal · Wai-Tat Fu, University of Illinois at Urbana-Champaign, USA Posters/Demos Chairs · Andrina Granic, University of Split, Croatia · Denis Parra. PUC, Chile · Jingtaw Wang, University of Pittsburgh, USA Workshops/Tutorials Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA Student Consortium Chairs · Peter Brusilovsky, University of Pittsburgh, USA · Katrien Verbert, KULeuven, Belgium Student Volunteers Chairs · Christos Mettouris, University of Cyprus, Cyprus · Tobias Grosse-Puppendahl, Microsoft Research, UK · Julia Sheidin, University of Haifa, Israel Sponsorship Chairs · Daniel Sonntag, DFKI, Germany (for Europe) · Feng Tian, Institute of Software Chinese Academy of Sciences, China (for Asia) Treasurer · George A. Papadopoulos, University of Cyprus, Cyprus Proceedings Chair · Daniel Afergan, Google, USA Web Master · Marios Christou, Easy Conferences, Cyprus · Kyriakos Georgiades, Easy Conferences, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Wed Oct 5 19:06:31 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 5 Oct 2016 20:06:31 +0300 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): First Call for Papers Message-ID: *** First Call for Papers *** 21st European Conference on Advances in Databases and Information Systems Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTc0CUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of research accomplishments and to promote interaction and collaboration between the database and information system research communities from European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, development of advanced DBMS technologies, and their advanced applications. The conference will consist of regular sessions with technical contributions (regular papers, short papers) reviewed and selected by an international program committee, as well as of invited talks and tutorials presented by leading scientists. The official language of the conference will be English. A Doctoral Consortium and different Workshops will be held in line with the main conference. TOPICS We invite original papers describing results that broadly belong to both theory and practice of databases and information systems. The list of specific topics of interest follows, with a note that it is not exhaustive and we welcome novel results addressing topics not included in the list. · Data intensive sciences and databases · Theoretical foundations of databases · Management of large scale data systems · Data models and query languages · Database monitoring and (self-)tuning · Data curation, annotation, and provenance · Data warehousing, OLAP, and ETL tools · Indexing, query processing and optimization · Data mining and knowledge discovery · Big data storage, replication, and consistency · Modeling, mining and querying user generated content · Data quality and data cleansing · Web, XML and semi-structured databases · Sensor databases and mobile data management · Text databases and information retrieval · Probabilistic databases, uncertainty and approximate querying · Temporal and spatial databases · Graph databases · Databases on emerging hardware architectures · Distributed data platforms, including Cloud data systems, key-value stores, and Big Data systems · Information extraction and integration · Streaming data analysis · Scalable data analysis and analytics · Data and information visualization; and user interfaces · Information quality and usability · Information system architectures and networking · Business process modeling and optimization · Data and information flow engineering and management · Context-aware and adaptive information systems · Data and information intensive services · Requirements engineering for databases and information systems · Artificial intelligence in databases and information systems · Data, information, and information systems security · Innovative platforms for data and information handling · Innovative approaches for database and information systems engineering · Novel database and information systems applications PAPER PUBLISHING ADBIS accepted research papers will be published in a Springer Lecture Notes in Computer Science volume. Papers must not exceed 14 pages in the LNCS format. For camera-ready papers use Latex or Word style (find here http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTc0CUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID= 0-164-2-793332-0&changeHeader). The program committee may decide to accept a submission as a short paper if it reports interesting results but does not justify publication of a full paper. ADBIS short research papers must not exceed 8 pages. The best paper authored solely by students will receive an award. Best papers of the main conference will be invited for submission in special issues of the ISI-indexed journals Information Systems (http://www.journals.elsevier.com/information-systems/) and Informatica (http://www.informatica.si/). SUBMISSION GUIDELINES · Papers must be written in English. · Papers must contain previously unpublished work and not be submitted concurrently to another conference. · Papers are submitted using an electronic submissions system, as detailed below. · An Author of an accepted paper must register to ADBIS 2017 in order to have the paper published. · Accepted papers must be presented at the conference by one of the authors. · ADBIS papers must be submitted via the EasyChair system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTc0CUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dadbis2017. · Papers must be submitted as a single PDF document · Authors of accepted papers must submit along with the camera-ready version of their paper a copyright form filled (http://www.cyprusconferences.org/adbis2017/files/springerform.pdf) and signed. Please note that only authors employed by the EU (as an institution) tick the relevant box. Authors who simply reside or work in an EU country should not tick this box. IMPORTANT DATES · Full and Short Papers: March 30, 2017 · Notification of Acceptance: May 25, 2017 · Camera-ready Submission: June 15, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Nørvåg, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Oct 7 15:23:12 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 7 Oct 2016 16:23:12 +0300 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): First Call for Workshop Proposals Message-ID: *** First Call for Workshop Proposals *** 21st European Conference on Advances in Databases and Information Systems Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlyc3QgQ2FsbCBmb3IgV29ya3Nob3AgUHJvcG9zYWxzCTc2CUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F The internationally recognized ADBIS conference already for 21 years is gathering researchers and practitioners around topics related to databases, data processing, and information systems, in general. The conference is run in Europe but attracts researchers from all over the world. The 21st ADBIS conference will be held in Nicosia, Cyprus. The conference is accompanied by satellite events, including PhD consortia and workshops. WORKSHOPS Typically, workshops focus on multiple topics related to data storage and processing. This year we would encourage also workshops focusing on practical applications of research in business/industry and on joint projects run by industry and research entitites. The list of workshop topics is not limited to the aforementioned and we encourage representatives of research and business to submit workshop proposals promoting their achievements. SUBMITTING WORKSHOP PROPOSALS Workshop proposals should be emailed to the workshop chairs: · Johann Gamper (Free University of Bozen-Bolzano) gamper at inf.unibz.it · Robert Wrembel (Poznan Univ. of Technology) robert.wrembel at cs.put.poznan.pl The proposal should include: · a workshop title · estimated length (1 day or 1/2 day) · names, affiliations, and e-mails of PC chairs · short bio of the workshop PC chairs, including previous experience in organizing workshops or conferences (if applicable) · a (tentative) list of PC (if possible) · a workshop main goals · the list of a workshop topics · preliminary CFP · how information about a workshop will be disseminated and how papers will be solicited The organizers of accepted workshops are expected to: · organize the workshop's program committee · disseminate the workshop call for papers · solicit submissions · conduct the reviewing process · prepare the final workshop program The official language of workshops is English. ORGANIZATIONAL SUPPORT Workshops will benefit from the ADBIS 2017 organizational infrastructure and receive support w.r.t. registration, badges, lunches, coffee breaks, and publication of the workshop proceedings. PUBLICATION Workshops papers will be published by Springer in 'Communications in Computer and Information Science'. We plan to invite selected workshop papers for publication in a journal. IMPORTANT DATES · Submission of Workshop Proposals: January 15, 2017 · Workshop acceptance/rejection Notification: January 21, 2017 · Camera-ready Submission of Papers: June 25, 2017 · Workshops held: September 24, 2017 A detailed workshop timeline, i.e., deadlines for submissions, reviews, camera-ready due, are proposed by the workshop PC chairs, in agreement with the ADBIS 2017 workshop chairs. COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sat Oct 8 11:34:01 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 08 Oct 2016 11:34:01 +0200 Subject: [fg-arc] TPNC 2016: call for posters Message-ID: <545102060a010b020857580702045a555752045504070356030a0e5257570056065605540658055501050354540556@grlmc_ip-zone_com-6> TPNC 2016: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* *************************************************************************** The 5th International Conference on the Theory and Practice of Natural Computing (TPNC 2016) invites researchers to submit poster presentations. TPNC 2016 will be held in Sendai (Japan) on December 12-13, 2016. See http://grammars.grlmc.com/TPNC2016/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on computational principles, models and techniques inspired by information processing in nature are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: November 9, 2016 Notification of poster acceptance or rejection: November 12, 2016 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=tpnc2016 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2016. However, they will be eligible for submission to the post-conference journal special issue in Soft Computing (Springer, 2014 JCR impact factor: 1.304). REGISTRATION At least one author of each accepted poster must register to the conference by November 28, 2016. The registration fare is reduced: 260 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Fri Oct 7 13:26:30 2016 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Fri, 7 Oct 2016 14:26:30 +0300 (EEST) Subject: [fg-arc] CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, July 3-5, 2017 Message-ID: <20161007112630.DFEBD2C0217@omsievews> Call for Papers --------------------------------------------------------------------------- 14th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2017 http://lpnmr2017.aalto.fi/ Hanasaari, Espoo, Finland July 3-6, 2017 --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2017 is the fourteenth 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. This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program. 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. TOPICS 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 2017 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 will be electronic through the LPNMR-17 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2017 Two best papers with logic programming focus will be invited for a rapid publication in Theory and Practice of Logic Programming (TPLP). An additional prize of 1000 EUR, sponsored by Springer, will be shared out among the best papers of the conference. MULTIPLE SUBMISSION POLICY LPNMR 2017 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. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2017 will include specialized workshops to be held on July 3 prior to the main conference. ASP COMPETITION - A special session dedicated to a discussion of the 7th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. DOCTORAL CONSORTIUM - A mentoring event where PhD students have a change to present their current research, get feedback from peers and senior researchers, and establish contacts for the future. FURTHER INFORMATION WWW: lpnmr2017.aalto.fi/ email: lpnmr2017 at list dot aalto dot fi IMPORTANT DATES * Paper registration: January 27th, 2017 * Paper submission: February 3rd, 2017 * Notification: March 3rd, 2017 * Final versions due: March 17th, 2017 VENUE Espoo, the second largest and the fastest growing city in Finland, is located right next to the capital Helsinki in the coastal Finland. Espoo is Northern Europe's largest high-tech and innovation hub where science, business and culture meet the wilderness of Nuuksio National Park and stunning seaside environment. Espoo's location offers excellent traffic connections: only half an hour from the international airport and harbors. The main campus of Aalto University is situated in Espoo. The LPNMR 2017 conference will be held in the Hanasaari Conference center that is located on an island of its own and is only 15 minutes away from Helsinki center by public transport. PROGRAM CHAIRS Marcello Balduccini, Drexel University, USA Tomi Janhunen, Aalto University, Finland PUBLICITY CHAIR Peter Schüller, Marmara University, Turkey WORKSHOPS CHAIR Joohyung Lee, Arizona State University, USA DOCTORAL CONSORTIUM CHAIR Marina De Vos, University of Bath, UK 7TH ASP COMPETITION ORGANIZERS Martin Gebser, University of Potsdam, Germany Marco Maratea, University of Genoa, Italy Francesco Ricca, University of Calabria, Italy PROGRAM COMMITTEE Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Marcello Balduccini, Drexel University, USA Chitta Baral, Arizona State University, USA Bart Bogaerts, KU Leuven, Belgium Gerhard Brewka, Leipzig University, Germany Pedro Cabalar, University of Corunna, Spain Francesco Calimeri, University of Calabria, Italy Stefania Costantini, University of L'Aquila, Italy James Delgrande, Simon Fraser University, Canada Marc Denecker, K.U.Leuven, Belgium Marina De Vos, University of Bath, UK Agostino Dovier, University of Udine, Italy Thomas Eiter, Vienna University of Technology, Austria Wolfgang Faber, University of Huddersfield, UK Paul Fodor, Stony Brook University, USA Alfredo Gabaldon, GE Global Research, USA Martin Gebser, University of Potsdam, Germany Michael Gelfond, Texas Tech University, USA Giovanni Grasso, Oxford University, UK Giovambattista Ianni, University of Calabria, Italy Daniela Inclezan, Miami University, USA Tomi Janhunen, Aalto University, Finland Matthias Knorr, Universidade Nova de Lisboa, Portugal Joohyung Lee, Arizona State University, USA Yuliya Lierler, University of Nebraska at Omaha, USA Vladimir Lifschitz, University of Texas at Austin, USA Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Alessandra Mileo, National University of Ireland, Ireland Emilia Oikarinen, Finnish Institute of Occupational Health, Finland Mauricio Osorio, Universidad de las Americas Puebla, Mexico David Pearce, Universidad Politécnica de Madrid, Spain Axel Polleres, Vienna University of Economics and Business, Austria Enrico Pontelli, New Mexico State University, USA Christoph Redl, Vienna University of Technology, Austria Orkunt Sabuncu, University of Potsdam, Germany Chiaki Sakama, Wakayama University, Japan Torsten Schaub, University of Potsdam, Germany Peter Schüller, Marmara University, Turkey Tran Cao Son, New Mexico State University, USA Hannes Strass, Leipzig University, Germany Theresa Swift, Universidade Nova de Lisboa, Portugal Shahab Tasharrofi, Aalto University, Finland Eugenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Mirek Truszczynski, University of Kentucky, USA Agustin Valverde, Universidad de Màlaga, Spain Kewen Wang, Griffith University, Australia Yisong Wang, Guizhou University, China Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Yi Zhou, University of Western Sydney, Australia (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From grlmc at grlmc.com Thu Oct 13 23:53:14 2016 From: grlmc at grlmc.com (GRLMC) Date: Thu, 13 Oct 2016 23:53:14 +0200 Subject: [fg-arc] BigDat 2017: early registration October 21 Message-ID: <545102060a010b0208505800040b5a525b025452530207040a505f5452015b5407570652035d0607545f5307050b51@grlmc_ip-zone_com-6> BigDat 2017: early registration October 21*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   3rd INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2017   Bari, Italy   February 13-17, 2017   Organized by: University of Bari "Aldo Moro" Rovira i Virgili University   http://grammars.grlmc.com/BigDat2017/   ********************************************************   --- Early registration deadline: October 21, 2016 ---   ********************************************************   AIM:   BigDat 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of 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.). Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   In principle, graduate students, PhD students and postdocs from around the world will be the most typical profiles. However, there are no formal pre-requisites for participation in terms of academic degrees. Since there will be differences in level, specific knowledge background may be assumed for some of the courses. BigDat 2017 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   REGIME:   In addition to keynotes, 2-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 2017 will take place in Bari, a lively university city on the Adriatic Sea in Southern Italy. The venue will be:   Department of Computer Science University of Bari "Aldo Moro" via Orabona, 4 70125 Bari, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate] Data Analytics and Optimization for Industrial Applications: Introduction, Algorithms, and Examples   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Tamás Budavári (Johns Hopkins University), [introductory] Big Data Approaches in Astronomy   Diego Calvanese (Free University of Bozen-Bolzano), [advanced] Data-aware Processes: Modeling and Verification   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] Managing Big Data in the Cloud   Geoffrey C. Fox (Indiana University), [intermediate] Using High Performance Computing for Big Data Analytics   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Streaming Big Data Analytics   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Georgios B. Giannakis (University of Minnesota), [advanced] Signal Processing Tools for Big Data Analytics   Sander Klous (University of Amsterdam), [introductory] We Are Big Data   Laks V.S. Lakshmanan (University of British Columbia), [introductory] Analysis of Large Social Networks   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Ontology-based Data Management   Soumya D. Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods and Optimization Problems in Big Data Analytics   Bernhard Pfahringer (University of Waikato), [introductory] Introduction to Data Stream Mining for Big Data   Krithi Ramamritham (Indian Institute of Technology Bombay), [introductory/intermediate] Harnessing Big Data for Building Smart Things   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Coupled Oscillators Approach in Time Series Analysis   Pierangela Samarati (University of Milan), [intermediate] Data Security and Privacy in the Cloud   V.S. Subrahmanian (University of Maryland), [introductory/intermediate] Big Data in Cybersecurity   Alexander S. Tuzhilin (New York University), [introductory/intermediate] Recommender Systems and Big Data   Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning   Lyle Ungar (University of Pennsylvania), [introductory] Sentiment Mining from User Generated Content   John Wright (Columbia University), [intermediate/advanced] Sparse and Low-Dimensional Models for High-Dimensional Data: Theory, Algorithms and Applications   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Relational and Multimedia Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by February 10, 2017.   ORGANIZING COMMITTEE:   Annalisa Appice Michelangelo Ceci (co-chair) Stefano Franco Corrado Loglisci Donato Malerba (co-chair) Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Gianvito Pio Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2017/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   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 will be complete. It is much recommended to register prior to the event.   FEES:   Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   Università degli Studi di Bari Aldo Moro Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Fri Oct 14 17:18:26 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Fri, 14 Oct 2016 15:18:26 +0000 Subject: [fg-arc] ACM/SPEC ICPE 2017 - Call for Tutorial Proposals Message-ID: <415DB297-97D2-4EAC-A93B-9F8F55B2FCF5@usi.ch> ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------ IMPORTANT DATES Tutorial Proposals: Oct 31, 2016 Tutorial Proposals Notification: Nov 15, 2016 ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. ------------------------------------------------------------------------ CALL FOR TUTORIALS ICPE enhances the experience of attending researchers and industry practitioners through a Tutorial Track led by renowned scientists and practitioners in the fields of relevance for the ICPE community. Topics of interest include, but are not limited to, performance measurement, performance modeling, benchmarking, and run-time performance management of complex systems of all types. Proposals are welcomed for tutorials at introductory, intermediate, and advanced skill-levels, that either span a full day (6 hours, two breaks included), or a half-day (3 hours, one break included). More information can be found at https://icpe2017.spec.org/submissions/tutorials.html ------------------------------------------------------------------------ SUBMISSION GUIDELINES The tutorial proposal (maximum 5 pages) should describe concisely the content, importance and timeliness of the tutorial. It should include the following information: - Title; - 150 to 200-word abstract describing the tutorial, that is suitable for inclusion on the conference website; - Contact information (name, e-mail, affiliation) and a brief biography (up to 200 words) of the presenter(s); - Proposed duration (half-day (3 hours) or full-day (6 hours)); - Intended audience skill level (beginner, intermediate, advanced) and any prerequisite knowledge required; - Outline of the tutorial (overall goal and concrete objectives, teaching method and structure); - The link between the tutorial and the ICPE topics of interest (a sentence or paragraph); - If appropriate, a description of past versions of the tutorial should be provided. It should be indicated where the tutorial has been given (venue, date, number of attendees) and how it will be modified for ICPE 2017. Submissions can be made at the following link, selecting the ICPE 2017 Tutorial track: https://easychair.org/conferences/?conf=icpe2017 Authors of accepted tutorial proposals are expected to prepare a set of slides to be distributed to participants, including a bibliography pertinent to the tutorial. The camera-ready set of slides should be submitted as a PDF file with two slides per page. Proposers of accepted tutorials will be given the opportunity to also submit a tutorial paper, which will appear in the conference proceedings. The content of a tutorial paper must be on the material covered by the tutorial and must not exceed 4 pages in size using the ACM format. Further instructions on the tutorial paper will follow. ------------------------------------------------------------------------ TUTORIAL CHAIR * Valeria Cardellini, University of Rome Tor Vergata, Italy Please feel free to contact her if you have any questions regarding potential ICPE 2017 tutorials. ------------------------------------------------------------------------ ICPE ORGANIZING COMMITTEE General Chairs * Walter Binder, Università della Svizzera italiana (USI), Switzerland * Vittorio Cortellessa, Università dell'Aquila, Italy Research Program Chairs * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Evgenia Smirni, College of William and Mary, USA Industry Program Chairs * Meikel Poess, Oracle, USA Tutorials Chair * Valeria Cardellini, Università di Roma Torvergata, Italy Workshops Chairs * Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Posters and Demos Chair * Lubomir Bulej, Charles University, Czech Republic Awards Chairs * Petr Tuma, Charles University, Czech Republic * Murray Woodside, Carleton University, Canada Local Organization Chair * Antinisca Di Marco, Università dell'Aquila, Italy Publicity Chairs * Andrea Rosà, Università della Svizzera italiana (USI), Switzerland * Diego Perez, Politecnico di Milano, Italy Finance Chair * André van Hoorn, University of Stuttgart Publication and Registration Chair * Davide Arcelli, Università dell'Aquila, Italy Web Site Chair * Cathy Sandifer, SPEC, USA ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From announce at cs.ucy.ac.cy Fri Oct 14 14:39:22 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 14 Oct 2016 15:39:22 +0300 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): First Call for Doctoral Consortium Message-ID: <0NWYMZWN-NLKN-NGKJ-V0XR-WV0SZRVLK33J@cs.ucy.ac.cy> *** First Call for Doctoral Consortium *** 21st European Conference on Advances in Databases and Information Systems Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlyc3QgQ2FsbCBmb3IgRG9jdG9yYWwgQ29uc29ydGl1bQk3OAlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2Fconsortium.html The internationally recognized ADBIS conference already for 21 years is gathering researchers and practitioners around topics related to databases, data processing, and information systems, in general. The conference is run in Europe but attracts researchers from all over the world. The 21st ADBIS conference will be held in Nicosia, Cyprus. The conference is accompanied by satellite events, including doctoral consortia and workshops. DOCTORAL CONSORTIUM The Doctoral Consortium (DC) is a forum where PhD students can present their research ideas, confront them with the scientific community, receive feedback from mentors, and tie cooperation bounds. Students will receive inspiration from their peers and will have a chance to discuss their research objectives with senior members of the community in the context of an established international conference. The DC session will take place on September 24, in parallel with the workshop sessions. Each participant will present her/his work, followed by a discussion with senior researchers. ELIGIBILITY We seek PhD students who have either determined the direction of their thesis research (probably with some preliminary results already published), but who still have substantial work to complete, or PhD student participants who are in the early stages of their dissertation year. It is not required to have a paper accepted for the main conference in order to participate in the DC. SUBMISSIONS To apply to the DC, please submit a single-authored paper (which will appear in the proceedings of DC), accompanied by a short email from the thesis advisor stating support for your participation in the DC, describing the current status of the thesis research, and giving your expected date of graduation. The papers for DC should be at most 12 pages in Springer format (formatting instructions can be obtained via http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlyc3QgQ2FsbCBmb3IgRG9jdG9yYWwgQ29uc29ydGl1bQk3OAlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-2-793332-0%29 and describe the state of the whole PhD project, rather than a specific completed result. The paper should outline the objectives, the problem, state of the art, results obtained so far, and what is still to be done in the frame of the PhD project. If an author prefers to present a completed research result, the paper should be submitted to the main conference or one of accompanying workshops. A paper submitted to the DC may not be under review for any other conference or journal during the time it is being considered for the DC. Submissions should be made electronically in PDF format at CMT: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlyc3QgQ2FsbCBmb3IgRG9jdG9yYWwgQ29uc29ydGl1bQk3OAlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fcmt3.research.microsoft.com%2FADBISDC2017. In case of multiple files, please submit a single compressed file (zip or rar). After logging into CMT, please choose the "ADBIS 2017 Doctoral Consortium" track. REVIEW PROCESS Each paper submitted to the DC will be reviewed by at least two members of the DC program committee and will be judged based on originality, technical merit, presentation quality, and relevance. The authors of successful submissions must take into account the reviewers' comments during the preparation of the final version and describe the changes in a separate document to be submitted together with the final camera-ready version. The program committee reserves the right to reject a paper if the final version does not meet the requirements above. Applications not adhering to the provided guidelines (including page limits) will not be considered. The authors of accepted papers must register to the conference, attend the DC and present their work. PROCEEDINGS The DC papers will be published by Springer, together with the ADBIS workshops proceedings, in the Advances in Intelligent Systems and Computing series. IMPORTANT DATES · Submission: May 19, 2017 · Acceptance/Rejection Notification: June 30, 2017 · Camera-ready Submission: July 14, 2017 · Doctoral Consortium: September 24, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Oct 15 10:04:10 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 15 Oct 2016 11:04:10 +0300 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Last Call for Tutorial Proposals Message-ID: *** Last Call for Tutorial Proposals *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IExhc3QgQ2FsbCBmb3IgVHV0b3JpYWwgUHJvcG9zYWxzCTgwCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. IUI 2017 is pleased to invite tutorial proposals. Tutorials offer the community an opportunity to learn about the state-of-the-art concepts and techniques and allow the presenters to share their expertise. We invite proposals from active researchers and experienced presenters. Ideally, a tutorial will cover the state-of-the-art research and development in a specific area strongly related to IUI. Tutorials on interdisciplinary areas, novel or fast growing directions, and significant practical applications are also encouraged. Each accepted tutorial will receive one free IUI 2017 registration. Submission Guidelines The proposals should be PDF documents not exceeding 3 pages, submitted by e-mail to the tutorial chairs at: tutorial2017 at iui.acm.org. We encourage prospective presenters to contact the tutorial chairs in advance and discuss their tutorial ideas. Each tutorial proposal should provide the following information: · Name and title: Your name, the tutorial title and the expected length of your tutorial (up to half a day). · Description of tutorial topic and goal: Detailed outline of the tutorial, along with descriptions of the objectives, its relevance to IUI, benefits to the attendees, and course materials/handouts (links to online materials encouraged). · Organizers: Name, email address, and affiliation of each presenter. Note that each listed presenter must register for the conference and be present at the tutorial. · Target audience and prerequisites: Target audience level (introductory, intermediate, advanced) and prerequisite knowledge or skills. · Experience: Tutors' short bios and their expertise related to the tutorial, including history of previously given tutorials. · Equipment and software requirement: please list any that will be needed. Important Dates · Tutorial Proposals: October 21, 2016 · Decisions Sent: November 21, 2016 Tutorials Co-Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From fsen2017 at ipm.ir Tue Oct 18 16:22:59 2016 From: fsen2017 at ipm.ir (Marjan Sirjani) Date: Tue, 18 Oct 2016 10:22:59 -0400 Subject: [fg-arc] FSEN 2017: Final Call for Papers Message-ID: <3d9f8e9c-6e13-e1dc-6458-cb84c2d66526@ipm.ir> ###################################################################### FINAL CALL FOR PAPERS Seventh International Conference on Fundamentals of Software Engineering 2017 - Theory and Practice (FSEN '17) http://fsen.ir/2017 Tehran, Iran April 26-28, 2017 ###################################################################### -- About FSEN -- FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. 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, April 26-28, 2017. -- Important Dates -- Abstract Submission: October 22, 2016 Paper Submission: October 29, 2016 Notification: December 17, 2016 Camera Ready: January 21, 2017 Conference: April 26-28, 2017 -- Keynote Speakers -- Thomas A. Henzinger, IST Austria Philippa Gardner, Imperial College London Leon van der Torre, University of Luxembourg -- 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 and multi-agent systems * Coordination and feature interaction * Integration of formal and informal methods * Integration of different formal methods * Component-based and Service-oriented software systems * Self-adaptive software systems * Model checking and theorem proving * Software and hardware verification * CASE tools and tool integration * Industrial Applications -- Paper Submission -- Papers should be formatted according to the Springer LNCS style, not exceed 15 pages (including figures and references), submitted in PDF or postscript format through the EasyChair conference management system. Submissions should explicitly state their contribution and their relevance to the themes of the conference. Papers will be evaluated based on originality, significance, relevance, correctness and clarity. Papers should not be submitted simultaneously for publication elsewhere. You can submit your papers/abstracts via the following link: https://www.easychair.org/conferences/?conf=fsen2017 -- Proceedings and Special Issues -- The post-proceedings of FSEN'17 will be published by Springer Verlag in the LNCS series (to be confirmed). There will be a pre-proceeding, printed locally by IPM, available at the conference. Following the tradition of FSEN, we plan to have a special issue of Science of Computer Programming journal devoted to FSEN'17 (to be confirmed). After the conference a selection of papers will be invited for this special issue. The invited papers should be 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 Chair -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran -- Program Chairs -- Mehdi Dastani - Utrecht University, The Netherlands Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland -- Publicity Chair -- Hossein Hojjat - Rochester Institute of Technology, USA -- 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 - Radboud University, Netherlands -- Program Committee -- Mohammad Abdollahi Azgomi, Iran University of Science and Technology, Iran Gul Agha, University of Illinois at Urbana, Champaign, USA Erika Abraham, RWTH Aachen University, Germany Christel Baier, Technical University of Dresden, Germany Ezio Bartocci, TU Wien, Austria Marcello Bonsangue, Leiden University, Netherlands Mario Bravetti, University of Bologna, Italy Michael Butler, University of Southampton, UK Erik De Vink, Technische Universiteit Eindhoven, Netherlands 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, Technical University of Eindhoven, Netherlands Hassan Haghighi, Shahid Beheshti University, Iran Philipp Haller, KTH Royal Institute of Technology, Sweden Holger Hermanns, Saarland University, Germany Hossein Hojjat, Rochester Institute of Technology, USA Mohammad Izadi, Sharif University of Technology, Iran Einar Broch Johnsen, University of Oslo, Norway Joost-Pieter Katoen, RWTH Aachen University, Germany Narges Khakpour, Linnaeus University, Sweden Ramtin Khosravi, University of Tehran, Iran Natallia Kokash, Leiden University, Netherlands Eva Kühn, Vienna University of Technology, Austria Kim G. Larsen, Aalborg University, Denmark Zhiming Liu, Southwest University, China Mieke Massink, CNR-ISTI, Italy Seyyed Hassan Mirian Hosseinabadi, Sharif University of Technology, Iran Ugo Montanari, University of Pisa, Italy Peter Mosses, Swansea University, UK Mohammad Reza Mousavi, Halmstad University, Sweden Ali Movaghar, Sharif University of Technology, Iran Peter Olveczky, University of Oslo, Norway Meriem Ouederni, IRIT/INP Toulouse/ ENSEEIHT, France Wishnu Prasetya, Universiteit Utrecht, Netherlands Jose Proenca, University of Minho, Portugal Wolfgang Reisig, Humboldt-Universität zu Berlin, Germany Philipp Ruemmer, Uppsala University, Sweden Gwen Salaun, Grenoble INP, Inria, France Cesar Sanchez, IMDEA Software Institute, Spain Ina Schaefer, Technische Universität Braunschweig, Germany Wendelin Serwe, INRIA, France Alexandra Silva, University College London, UK Meng Sun, Peking University, China Carolyn Talcott, SRI International, USA Danny Weyns, Katholieke Universiteit Leuven, Belgium From announce at cs.ucy.ac.cy Wed Oct 19 15:17:42 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 19 Oct 2016 16:17:42 +0300 Subject: [fg-arc] FM 2016: 21st International Symposium on Formal Methods -- Call for Participation Message-ID: ---------------------------------------------------------------------------------- **** CALL FOR PARTICIPATION **** FM 2016: 21st International Symposium on Formal Methods Limassol, Cyprus, 7-11 November 2016 fm2016.cs.ucy.ac.cy Early Registration Deadline: 6 October 2016 ---------------------------------------------------------------------------------- FM 2016, the 21st International Symposium on research and practice in Formal Methods, will be held this year on the ancient and beautiful Mediterranean island of Cyprus. Every 18 months, the FM symposium attracts practitioners and researchers from industry and academia to present and discuss the most recent results and experience in formal methods. Those who join us in Cyprus this year will enjoy a highly selective programme of papers covering the broad range of formal methods, as well as a featured track on industry practice. Workshops will provide an opportunity to work in smaller groups on current challenges; tutorials will allow the acquisition of new skills; and a doctoral symposium will offer advice and encouragement to researchers just beginning their careers in this exciting and rapidly evolving field. The conference will take place in Limassol, Cyprus. Limassol is the second largest city in Cyprus. It is located on the south coast of the island, between the ancient towns of Amathus and Kourion. Limassol is renowned for its extensive cultural traditions, and it offers a wide spectrum of activities and a number of museums and archaeological sites to the interested visitor. Indeed, this richly cultured, cosmopolitan, seaside city has become one of the most important tourism destinations in Cyprus. The venue of the summer school will be the 5-star St. Raphael Resort, located on one of the most renowned and largest beaches, only a short coastal drive from the lively centre of Limassol. REGISTRATION You can register at the FM 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlGTSAyMDE2OiAyMXN0IEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIEZvcm1hbCBNZXRob2RzIC0tIENhbGwgZm9yIFBhcnRpY2lwYXRpb24JODIJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fregistration.html HIGHLIGHTS - 44 regular papers and ten short papers reflecting the current state of research and practice in formal methods, including a track on industry practice - Three world-class keynote speakers - A Doctoral Symposium, six specialist workshops and eight tutorials - Presentation of the first FME Lucas Award for a Highly Influential Publication - Launch of Springer's new LNCS Formal Methods subline KEYNOTE SPEAKERS - Manfred Broy, Technical University of Munich, Germany - Peter O'Hearn, University College London and Facebook, UK - Jan Peleska, University of Bremen and Verified Software International, Germany WORKSHOPS (http://fm2016.cs.ucy.ac.cy/workshops.html) - ESSS 2016: 5th International Workshop on Engineering Safety and Security Systems - F-IDE 2016: 3rd Workshop on Formal Integrated Development Environment - FM-Priv 2016: 1st Workshop on Formal Methods for Privacy - Overture 2016: 14th Overture Workshop - TLA+ 2016: International Workshop on the TLA+ Method and Tools - USE 2016: 2nd Workshop on Usages of Constraint Solving and Symbolic Execution DOCTORAL SYMPOSIUM (http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html) This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics. - Keynote Speaker: John S. Fitzgerald, Newcastle University, UK TUTORIALS (http://fm2016.cs.ucy.ac.cy/tutorials.html ) - Abstraction and Rely/Guarantee Thinking Tutors: Cliff Jones, Newcastle University, UK; Ian Hayes, University of Queensland, AU - Compositional Verification using AADL and the Assume Guarantee Reasoning Environment (AGREE) Tutor: Michael Whalen, University of Minnesota, USA - Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools Tutors: John Fitzgerald, Newcastle University, UK; Peter Gorm Larsen, Aarhus University, DK; Jim Woodcock, University of York, UK; Ken Pierce, Newcastle University, UK; Simon Foster, University of York, UK - First-Order Theorem Proving and Vampire Tutors: Laura Kovacs, Chalmers University of Technology, SE; Andrei Voronkov, University of Manchester, UK - KeYmaera X Tutorial - Tactics and Proofs for Cyber-Physical Systems Tutors: Stefan Mitsch, Carnegie Mellon University, USA; Nathan Fulton, Carnegie Mellon University, USA; André Platzer, Carnegie Mellon University, USA - Modelling and Analysis of Collective Adaptive Systems Tutors: Jane Hillston, University of Edinburgh, UK; Michele Loreti, Università di Firenze, IT - Session Types for Concurrent and Distributed Programming: Principles and Practice Tutors: Raymond Hu, Imperial College London, UK; Jorge A. Pérez, University of Groningen, NL; Nobuko Yoshida, Imperial College London, UK - The CProver Suite of Verication Tools Tutors: Daniel Kroening, University of Oxford, UK; Martin Brain, University of Oxford, UK; Peter Schrammel, University of Sussex, UK ACCEPTED PAPERS (Research Track) Li Li, Jun Sun and Jin Song Dong. Automated Verification of Timed Security Protocols with Clock Drift Victor B. F. Gomes and Georg Struth. Modal Kleene Algebra Applied to Program Correctness Artem Khyzha, Alexey Gotsman and Matthew Parkinson. A Generic Logic for Proving Linearizability Antonio E. Flores Montoya. Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter and Andrius Velykis. An algebra of synchronous atomic steps Zhe Hou, David Sanan, Alwen Tiu, Yang Liu and Koh Chuen Hoa. An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for The LEON3 Processor Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva and David ?afránek. A Model Checking Approach to Discrete Bifurcation Analysis Mahieddine Dellabani, Saddek Bensalem, Jacques Combaz and Marius Bozga. Local Planning of Multiparty Interactions with a Bounded Horizon Adel Djoudi, Sébastien Bardin and Éric Goubault. Recovering high-level conditions from binary programs Thomas Letan, Pierre Chifflier, Guillaume Hiet, Benjamin Morin and Ludovic Mé. SpecCert: Verifying Hardware-based Security Enforcement Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews and Thomas Tuerk. Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor Dimitra Giannakopoulou, Dennis Guck and Johann Schumann. Exploring Model Quality for ACAS X Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening and Tom Melham. Equivalence Checking of a Floating-point Unit Against a High-level C Model Yusuke Kawamoto, Fabrizio Biondi and Axel Legay. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow Bat-Chen Rothenberg and Orna Grumberg. Sound and Complete Mutation-Based Program Repair Miran Hasanagic, Peter Gorm Larsen, Peter W. V. Tran-Jørgensen and Kenneth Lausdahl. Formalising and Validating the Interface Description in the FMI standard Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin and Zhiming Liu. A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems Ofer Strichman and Maor Veitsman. Regression Verification for unbalanced recursive functions Cristina David, Pascal Kesseli, Daniel Kroening and Matt Lewis. Danger Invariants Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang and Naijun Zhan. Approximate Bisimulation and Discretization of Hybrid CSP Tsutomu Kobayashi, Fuyuki Ishikawa and Shinichi Honiden. Refactoring Refinement Structures of Event-B Machines Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun and Jingyi Wang. Towards Concolic Testing for Hybrid Systems Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad and Naijun Zhan. Validated Simulation-Based Verification of Delayed Differential Dynamics Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo and Wei-Ngan Chin. Automated Mutual Explicit Induction Proof in Separation Logic Stanislav Böhm, Ond?ej Meca and Petr Jancar. State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI Christoph-Simon Senjak and Martin Hofmann. An Implementation of Deflate in Coq Gudmund Grov, Yuhui Lin and Vytautas Tumas. Mechanised Verification Patterns for Dafny Heinrich Ody, Martin Fränzle and Michael R. Hansen. Discounted Duration Calculus Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng and Harald Ruess. Compositional Parameter Synthesis Ori Lahav and Viktor Vafeiadis. Explaining Relaxed Memory Models with Program Transformations Amirhossein Vakili and Nancy Day. Finite Model Finding Using the Logic of Equality with Uninterpreted Functions Saksham Chand, Annie Liu and Scott Stoller. Formal Verification of Multi-Paxos for Distributed Consensus Aleksandar S. Dimovski, Claus Brabrand and Andrzej Wasowski. Finding Suitable Variability Abstractions for Family-Based Analysis Anton Wijs, Thomas Neele and Dragan Bosnacki. GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking Pedro Antonino, Thomas Gibson-Robinson and Bill Roscoe. Tighter Reachability Criteria for Deadlock-Freedom Analysis Yuqi Chen, Christopher M. Poskitt and Jun Sun. Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation Gilles Nies, Holger Hermanns, Marvin Stenger, Morten Bisgaard, David Gerhardt and Jan Kr?ál. Battery-Aware Scheduling in Low Orbit: The GomX-3 Case Alessandro Cimatti, Sergio Mover and Mirko Sessa. From Electrical Switched Networks to Hybrid Automata Claudio Menghi, Paola Spoletini and Carlo Ghezzi. Dealing with Incompleteness in Automata-based Model Checking Parosh Aziz Abdulla, Mohamed Faouzi Atig and Bui Phi Diep. Counter-Example Guided Program Verification Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson. Decoupled simulating abstractions of non-linear ordinary differential equations Georgios Giantamidis and Stavros Tripakis. Learning Moore Machines from Input-Output Traces Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher and Thomas Wies. Error Invariants for Concurrent Traces ACCEPTED PAPERS (Industry Track - http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlGTSAyMDE2OiAyMXN0IEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIEZvcm1hbCBNZXRob2RzIC0tIENhbGwgZm9yIFBhcnRpY2lwYXRpb24JODIJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fcfpindustrytrack.html%29 Teodor Stoenescu, Alin Stefanescu, Sorina Predut and Florentin Ipate. RIVER: A Binary Analysis Framework using Symbolic Execution and Reversible x86 Instructions Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna and Stefano Tonetta. Model-Based Design of an Energy-System Embedded Controller using Taste Bjørnar Luteberget, Christian Johansen, Claus Feyling and Martin Steffen. Rule-based Incremental Verification Tools Applied to Railway Designs and Regulations Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu and Jiaguang Sun. Taming Interrupts For Verifying Industrial Multifunction Vehicle Bus Controllers Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz and Henrik Lönn. Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems Yu Jiang, Han Liu, Hui Kong, Houbing Song, Ming Gu, Jiaguang Sun and Lui Sha. Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Thu Oct 20 22:37:43 2016 From: grlmc at grlmc.com (GRLMC) Date: Thu, 20 Oct 2016 22:37:43 +0200 Subject: [fg-arc] LATA 2017: extended submission deadline October 28 Message-ID: <545102060a010b020957590701035a57045554020a55545707025a000550065557550603500d515506525251040b00@grlmc_ip-zone_com-6> LATA 2017: extended submission deadline October 28*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: October 28 ***** ------------------------------------------------------------------------------   ************************************************************************* 11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2017   Umeå, Sweden   March 6-10, 2017   Organized by:             Department of Computing Science Umeå University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2017/ *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 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 2017 will take place in Umeå, a university town in North Sweden which was European Capital of Culture in 2014. The venue will be the Faculty of Science and Technology.   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 2017 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Franz Baader (Technical University of Dresden), Approximately Description Logics   Thomas Eiter (Technical University of Vienna), Stream Reasoning: Issues and Some Results   Michael R. Fellows (University of Bergen), On Some Finiteness Theorems about Formal Languages   Georg Gottlob (University of Oxford), Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data   Thomas Wilke (University of Kiel), Backward Deterministic omega-Automata   PROGRAMME COMMITTEE:   Eric Allender (Rutgers University, Piscataway, US) Amihood Amir (Bar-Ilan University, Ramat Gan, IL) Christel Baier (Technical University of Dresden, DE) Armin Biere (Johannes Kepler University Linz, AT) Avrim Blum (Carnegie Mellon University, Pittsburgh, US) Ondřej Bojar (Charles University in Prague, CZ) Jin-Yi Cai (University of Wisconsin, Madison, US) Liming Cai (University of Georgia, Athens, US) Alessandro Cimatti (Bruno Kessler Foundation, Trento, IT) Rocco De Nicola (IMT School for Advanced Studies Lucca, IT) Rod Downey (Victoria University of Wellington, NZ) Frank Drewes (Umeå University, SE) Zoltán Fülöp (University of Szeged, HU) Gregory Z. Gutin (Royal Holloway, University of London, UK) Lane A. Hemaspaandra (University of Rochester, US) Dorit S. Hochbaum (University of California, Berkeley, US) Deepak Kapur (University of New Mexico, Albuquerque, US) Marek Karpinski (University of Bonn, DE) Joost-Pieter Katoen (RWTH Aachen University, DE) Evangelos Kranakis (Carleton University, Ottawa, CA) Lars M. Kristensen (Bergen University College, NO) Kim G. Larsen (Aalborg University, DK) Axel Legay (INRIA, Rennes, FR) Leonid Libkin (University of Edinburgh, UK) Carsten Lutz (University of Bremen, DE) João Marques Silva (University of Lisbon, PT) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair) Mitsunori Ogihara (University of Miami, Coral Gables, US) Arlindo Oliveira (Instituto Superior Técnico, Lisbon, PT) David Parker (University of Birmingham, UK) Madhusudan Parthasarathy (University of Illinois, Urbana-Champaign, US) Doron A. Peled (Bar-Ilan University, Ramat Gan, IL) Dominique Perrin (Paris-Est Marne-la-Vallée University, FR) Jean-Éric Pin (Paris Diderot University, FR) Sanguthevar Rajasekaran (University of Connecticut, Storrs, US) Bruce Reed (McGill University, Montréal, CA) Wojciech Rytter (University of Warsaw, PL) Kunihiko Sadakane (University of Tokyo, JP) Davide Sangiorgi (University of Bologna, IT) Helmut Seidl (Technical University of Munich, DE) Jens Stoye (Bielefeld University, DE) Wing-Kin Sung (National University of Singapore, SG) Dimitrios M. Thilikos (CNRS, LIRMM, FR & National and Kapodistrian University of Athens, GR) Ioannis G. Tollis (University of Crete, Heraklion, GR) Bianca Truthe (University of Giessen, DE) Frits Vaandrager (Radboud University, Nijmegen, NL) Rob van Glabbeek (CSIRO, Sydney, AU)   ORGANIZING COMMITTEE:   Yonas Demeke (Umeå) Frank Drewes (Umeå, co-chair) Petter Ericson (Umeå) Anna Jonsson (Umeå) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) Niklas Zechner (Umeå)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2017   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 the journal Information and Computation (Elsevier, 2015 JCR impact factor: 0.873) 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://grammars.grlmc.com/LATA2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: October 28, 2016 – EXTENDED – Notification of paper acceptance or rejection: November 25, 2016 Final version of the paper for the LNCS proceedings: December 5, 2016 Early registration: December 5, 2016 Late registration: February 20, 2017 Submission to the journal special issue: June 10, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   LATA 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Umeå universitet Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Fri Oct 21 16:39:43 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Fri, 21 Oct 2016 14:39:43 +0000 Subject: [fg-arc] ACM/SPEC ICPE 2017 - Call for Workshop Proposals Message-ID: <41011992-888B-4559-BB59-F4294AA69E9E@usi.ch> ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------ IMPORTANT DATES Workshop Proposals: Nov 5, 2016 Workshop Proposals Notification: Nov 19, 2016 ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. ------------------------------------------------------------------------ CALL FOR WORKSHOPS Workshop proposals are invited for ICPE 2017 on specific aspects of performance engineering, particularly relating to the subject areas indicated by the conference call for papers. We encourage workshops that will discuss fundamental research issues driven by academic interests or more applied industrial or commercial concerns. The format of the workshop will be determined by the organizers and can include invited talks, panel discussions, work in progress, and fully refereed papers. Workshops can vary in length from a half day to a full day. Having more than one co-organizer for a workshop is strongly advised. The workshop proceedings will be published by ACM. More information can be found at https://icpe2017.spec.org/submissions/workshops.html ------------------------------------------------------------------------ PROPOSAL GUIDELINES Proposals for workshops should be no more than 2 pages in length. They should contain the following information: - Title and brief technical description of the workshop, specifying the goals and the technical issues that will be its focus. - Data about previous instances of the workshop including links to the corresponding websites. - The names and contact information (web page, email address) of the organizing committee; a short bio and the qualifications of the main organizers with respect to organizing this workshop. - Estimated number of attendees. - Link to a preliminary web site of the workshop and a preliminary call for papers. - A list of committed and proposed PC members. ------------------------------------------------------------------------ RESPONSIBILITIES Each workshop organizing committee will be responsible for: - Producing a web page and a "Call for Papers/Participation" for their workshop. The URL should be sent to the workshop co-chairs for ICPE 2017. - Providing a brief description of the workshop for the conference web page and program. - Selecting the participants and the format of the workshop. - Ensuring that suitable quality measures have been taken to ensure that the accepted papers are of high quality. The ICPE Organizing Committee will be responsible for: - Providing a link to a workshop website. - Providing logistics support and a meeting place for the workshop. - Providing copies of the workshop proceedings to attendees. ------------------------------------------------------------------------ SUBMISSION PROCESS Workshop proposals and inquiries should be sent by email to the workshop co-chairs Catia Trubiani (catia.trubiani at gssi.infn.it) and Hanspeter Mössenböck (hanspeter.moessenboeck at jku.at). Proposals should be sent in PDF format. ------------------------------------------------------------------------ WORKSHOPS CHAIRS * Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Please feel free to contact the workshops chairs if you have any questions regarding potential ICPE 2017 workshops. ------------------------------------------------------------------------ ICPE ORGANIZING COMMITTEE General Chairs * Walter Binder, Università della Svizzera italiana (USI), Switzerland * Vittorio Cortellessa, Università dell'Aquila, Italy Research Program Chairs * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Evgenia Smirni, College of William and Mary, USA Industry Program Chairs * Meikel Poess, Oracle, USA Tutorials Chair * Valeria Cardellini, Università di Roma Torvergata, Italy Workshops Chairs * Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Posters and Demos Chair * Lubomir Bulej, Charles University, Czech Republic Awards Chairs * Petr Tuma, Charles University, Czech Republic * Murray Woodside, Carleton University, Canada Local Organization Chair * Antinisca Di Marco, Università dell'Aquila, Italy Publicity Chairs * Andrea Rosà, Università della Svizzera italiana (USI), Switzerland * Diego Perez, Politecnico di Milano, Italy Finance Chair * André van Hoorn, University of Stuttgart Publication and Registration Chair * Davide Arcelli, Università dell'Aquila, Italy Web Site Chair * Cathy Sandifer, SPEC, USA ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From announce at cs.ucy.ac.cy Sat Oct 22 12:01:15 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 22 Oct 2016 13:01:15 +0300 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): First Call for Demos and Posters Message-ID: <7Y87TMCM-6MBW-K6IE-F4A1-37TMUS77RYY@cs.ucy.ac.cy> *** First Call for Demos and Posters *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IEZpcnN0IENhbGwgZm9yIERlbW9zIGFuZCBQb3N0ZXJzCTgzCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017%2Fdemopost.html ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. Posters Posters provide an opportunity for sharing valuable ideas, eliciting useful feedback on early-stage work and fostering discussions and collaborations among colleagues. We invite submissions on all topics of the conference. All submissions should convey a scientific result or work in progress that is not yet ready to be published as a full length research paper at a refereed conference. Submitting a draft poster along with your submission is not required but highly recommended. The page limit for poster papers is 4 pages (including references). Accepted poster papers will appear in the companion proceedings in the ACM Digital Library. Demos The demonstrations track complements the overall program of the conference. Demonstrations show implementations of novel, interesting, and important intelligent user interface concepts or systems. We invite submissions relevant to intelligent user interfaces and which address, but are not limited to, the topics of the conference. All submissions are intended to convey a scientific result or work in progress and should not be advertisements for commercial software packages. The page limit for demo papers is 4 pages (including references). Accepted demo papers will be published in the companion proceedings in the ACM Digital Library. Submission Guidelines Demo and poster submissions do not need to be anonymized. The page limit is 4 pages (including references) in HCI extended abstract format (MS Word template, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IEZpcnN0IENhbGwgZm9yIERlbW9zIGFuZCBQb3N0ZXJzCTgzCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform%2Fsigchi-extended-abstracts-format-2016%2Fview, LaTeX template, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IEZpcnN0IENhbGwgZm9yIERlbW9zIGFuZCBQb3N0ZXJzCTgzCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fgithub.com%2Fsigchi%2FDocument-Formats%2Ftree%2Fmaster%2FLaTeX%29. Submitting a draft poster along with your poster submission is not required but highly recommended. Submit your demos and posters at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IEZpcnN0IENhbGwgZm9yIERlbW9zIGFuZCBQb3N0ZXJzCTgzCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fprecisionconference.com%2F%7Esigchi. Poster and Demo presenters: 120cm x 147cm (47" x 58") poster boards and pushpins will be provided to mount your posters. Important Dates · Submissions Due: December 16, 2016 · Notifications to Authors: January 8, 2017 · Camera Ready Due: January 13, 2017 Demos/Posters Co-Chairs · Andrina Granic, University of Split, Croatia · Denis Parra, PUC, Chile · Jingtao Wang, University of Pittsburgh, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From Jeremy.Gibbons at cs.ox.ac.uk Tue Oct 25 20:27:02 2016 From: Jeremy.Gibbons at cs.ox.ac.uk (Jeremy.Gibbons at cs.ox.ac.uk) Date: Tue, 25 Oct 2016 19:27:02 +0100 Subject: [fg-arc] John C. Reynolds Doctoral Dissertation Award Message-ID: <201610251827.u9PIR2iU017634@linux2.cs.ox.ac.uk> Dear all, If this year one of your PhD students has graduated and the thesis was outstanding, please consider proposing it for the John C. Reynolds Doctoral Dissertation Award. See http://www.sigplan.org/Awards/Dissertation/ for details. Best wishes, Susan -- Professor Susan Eisenbach Department of Computing Imperial College London London SW7 2AZ, U.K. From grlmc at grlmc.com Thu Oct 27 23:09:29 2016 From: grlmc at grlmc.com (GRLMC) Date: Thu, 27 Oct 2016 23:09:29 +0200 Subject: [fg-arc] TPNC 2016: 2nd call for posters Message-ID: <545102060a010b020950570603015a515652025901070e0302520b57020e540356540401045c090b030200570f5304@grlmc_ip-zone_com-6> TPNC 2016: 2nd call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------- The 5th International Conference on the Theory and Practice of Natural Computing (TPNC 2016) invites researchers to submit poster presentations. TPNC 2016 will be held in Sendai (Japan) on December 12-13, 2016. See http://grammars.grlmc.com/TPNC2016/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on computational principles, models and techniques inspired by information processing in nature are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: November 9, 2016 Notification of poster acceptance or rejection: November 12, 2016 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=tpnc2016 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2016. However, they will be eligible for submission to the post-conference journal special issue in Soft Computing (Springer, 2014 JCR impact factor: 1.304). REGISTRATION At least one author of each accepted poster must register to the conference by November 28, 2016. The registration fare is reduced: 260 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ingridcy at ifi.uio.no Fri Oct 28 20:09:22 2016 From: ingridcy at ifi.uio.no (Ingrid Chieh Yu) Date: Fri, 28 Oct 2016 18:09:22 +0000 Subject: [fg-arc] iFM 2017: Call for Workshops (13th Intl. Conference on integrated Formal Methods, Torino) Message-ID: <45B9411C-7929-425B-B465-E0888F276A0A@ifi.uio.no> 13th International Conference on integrated Formal Methods (iFM 2017) CALL FOR WORKSHOPS (http://ifm2017.di.unito.it/callForWorkshops.php) Important Dates =============== Submission of workshop proposals: Monday, 19 December, 2016 Workshop proposals notification: Monday, January 16, 2017 Workshops: September 18-19, 2017 About iFM ========= iFM 2017 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi- formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Workshops can have the duration of one or two days. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on September 18-19, 2017. Proposal and Submission Guidelines ================================== Workshop proposals must be written in English, not exceed 5 pages with a reasonable font and margins, and be submitted in PDF format via email to the iFM workshop chairs, Wolfgang Ahrendt (ahrendt at chalmers.se) and Michael Lienhardt (michael.lienhardt at di.unito.it). Proposals should include: * The name, the duration (1 or 2 days) and the preferred date of the proposed workshop * A short description of the workshop. * If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. * The publicity strategy that will be used by the workshop organizers to promote the workshop. * The participant solicitation and selection process. * The target audience and expected number of participants. * Approximate budget proposal (see section Budget below for details). * The equipment and any other resource necessary for the organization of the workshop. * The name and short CV of the organizer(s). * The publication plan (only invited speakers, no published proceedings, pre-/post- proceedings published with EPTCS/ENTCS/...). Organizers' Responsibilities ============================ The scientific responsibility of organizing a workshop is on the workshop organizers. In particular, they are responsible for the following items: * A workshop description (200 words) for inclusion in the iFM site. * Hosting and maintaining web pages to be linked from the iFM site. Workshop organizers can integrate their pages into the main iFM pages. * Workshop proceedings, if any. If there is sufficient interest, the iFM 2017 workshop organizers may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (http://info.eptcs.org/) for having a common volume dedicated to the workshops of iFM 2017. * Workshop publicity (possibly including call for papers, submission and review process). * Scheduling workshop activities in collaboration with the iFM workshop chairs. Budget ====== The iFM organization will provide registration and organizational support for the workshops (including linking from the conferences web sites, set-up of meeting space, on-line and on- site registration). Registration fees must be paid by all participants, including organizers and invited guests. To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by STILEMA S.r.l. as part of the iFM registration. STILEMA S.r.l. will require the workshop fees as requested by each workshop organizer. Evaluation Process ================== The proposals will be evaluated by the iFM organizing committee on the basis of their assessed benefit for prospective participants of iFM 2017. Prospective organizers may wish to consult the web pages of previous satellite events as examples: iFM 2016: http://en.ru.is/ifm/calls/ iFM 2014: http://ifm2014.cs.unibo.it/workshops.html iFM 2013: http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php iFM 2012: http://ifm-abz.isti.cnr.it/styled-4/speakers.html iFM 2010: http://ifm2010.loria.fr/satellite.html iFM 2009: http://www.formal-methods.de/ifm09/workshops.html Venue ===== iFM 2017 will take place at the Cavallerizza Reale in Turin, Italy. The Cavallerizza Reale is set in the center of Turin, close to many historical buildings of the city, like the Mole Antonelliana, the royal palace of Turin, Palazzo Madama, Palazzo Carignano and the main building of the University. Further Information and Enquiries ================================= You are welcome to contact the iFM workshop chairs Wolfgang Ahrendt (ahrendt at chalmers.se) and Michael Lienhardt (michael.lienhardt at di.unito.it)