From neha.s.rungta at nasa.gov Fri May 2 06:27:08 2014 From: neha.s.rungta at nasa.gov (Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]) Date: Fri, 2 May 2014 04:27:08 +0000 Subject: [fg-arc] [fm-announcements] Fourth Summer School on Formal Techniques Message-ID: <845AE26D-DB42-4EE7-90BF-40C79CE0D2D7@nasa.gov> Fourth Summer School on Formal Techniques May 19 - May 23, 2014 Menlo College, Atherton, CA http://fm.csl.sri.com/SSFT14 Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the fourth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions. The lecturers at the school include: * Nikolaj Bjorner (MSR Redmond): Software verification with SMT. * Veronique Cortier (LORIA, France): Formal analysis of security protocols: Models, Techniques, and Tools * Gerard Holzmann (JPL/Caltech): Verifying Safety Critical Code * Gerwin Klein (NICTA Australia): Programming language semantics in Isabelle * Marta Kwiatkowska (University of Oxford): Probabilistic model checking with PRISM * Natarajan Shankar (SRI CSL): Speaking Logic Invited speakers at the school include: Dana Scott (CMU): Lambda Calculus: History, Models, Future Emina Torlak (UC Berkeley): Programming for Everyone: From Solvers to Solver-Aided Languages and Beyond We have NSF funding to support travel and accommodation for students from US universities, but welcome applications from non-US students as well. Non-US students will be charged around $500 for meals and lodging. Women and under-represented minorities are specially encouraged to apply. Applications should be submitted at http://fm.csl.sri.com/SSFT14 Information about the first three Summer Schools on Formal Techniques can be found at http://fm.csl.sri.com/SSFT11 http://fm.csl.sri.com/SSFT12 http://fm.csl.sri.com/SSFT13 -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From uwe.assmann at tu-dresden.de Mon May 5 17:51:33 2014 From: uwe.assmann at tu-dresden.de (Uwe Assmann) Date: Mon, 05 May 2014 17:51:33 +0200 Subject: [fg-arc] Call for Contributions - MORSE 2014 Message-ID: <5367B385.2060105@tu-dresden.de> Call for Contributions First International Workshop on Model-Driven Robot Software Engineering (MORSE) http://st.inf.tu-dresden.de/MORSE14/ Co-located with the STAF conferences, July 21, 2014, York, GB http://stafconferences.info/ Model-Driven Robot Software Engineering (MORSE) is a promising new research field combining Software Engineering and Robotics. Its objectives are to introduce model-driven development methodologies for the development of robot software. At the same time, formal methods should be transfered to robotics because "robot apps" must be certified and verified. Submissions are encouraged, but not limited, in the following topics: Robotic Platforms: MDA, Models, Processes and Tools . Hardware/Software Abstractions and Architectures; Metamodels . Code-, and Application-Reuse; Managed Redundancy and Deployment . Variability in Robotic Systems; Self-Adaptiv Robotic Systems; Evolution . Programming Languages, Paradigms, and Models; DSL Models for and Modelling in Robotics . Sensors and Actuators; Sensor Integration . Knowledge Representation and Reasoning; Context Models . Ontologies and Conceptual Models for Robotics . Variability in Robotic Systems; Self-Adaptive Robotic Systems; Evolution . Localization, Mapping, and Navigation . Autonomous Robots, Robot Learning Robot Software Ecosystems and Total Cost of Ownership . Product-Line Development . End-User Customization and Multi-Tenancy Model-Driven Quality Assurance of Robotic Systems . Verification, Validation, Testing, Simulation, Debugging, and Profiling . Handling Emergent Behavior and Uncertainty; Software Qualities Software for Multi-Robot Systems . Cooperative Perception, Planning, Task Allocation, and Coordination . Robot Swarms, Multi-Agent Robotic Systems Important Dates Submission Deadline May 25, 2014 via EasyChair, see website, Springer LNCS, 12 pages Author Notification June 3, 2014 Camera Ready June 9, 2014 Workshop Date July 21, 2014 The accepted papers will be digitally published in the CEUR Workshop Proceedings publication service. Authors of accepted papers will be expected to attend the workshop. Organizers: Uwe A?mann, Technische Universit?t Dresden Gerd Wagner, Brandenburg University of Technology Cottbus-Senftenberg -- ----------------------------------------------------------------------------- Prof. Dr. Uwe A?mann mailto:uwe.assmann at tu-dresden.de Software Engineering Group tel:+49 351 463 38463 Institut f?r Software- und fax:+49 351 463 38459 Multimediatechnik http://st.inf.tu-dresden.de Fakult?t Informatik building: Noethnitzer Str. 46, 01307 Dresden Technische Universitat Dresden room/Zimmer: 2087, 2. Stock, West D-01062 Dresden ----------------------------------------------------------------------------- From zimmer at informatik.uni-halle.de Thu May 8 19:40:09 2014 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Thu, 08 May 2014 19:40:09 +0200 Subject: [fg-arc] CfP: ESOCC - Deadline for Submissions in 6 days Message-ID: <536BC179.8000909@informatik.uni-halle.de> The deadline for submissions (Ma4 14, 2014) for the Third European Conference on Service-Oriented and Cloud Computing is approaching. ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Third European Conference on Service-Oriented and Cloud Computing 2-4 September 2014, Manchester, United Kingdom http://esocc2014.cs.manchester.ac.uk/ esocc2014 at manchester.ac.uk ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ CALL FOR PAPERS The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier conference on the advances in the state of the art and practice of Service-Oriented Computing and Cloud Computing in Europe. ESOCC has evolved from the ECOWS (European Conference on Web Services) conference series, after the Steering Committee decided to renew and broaden its scope, and to start a new conference series on advanced topics of service-oriented and cloud computing. The first edition of the new series, ESSOC 2012, was successfully held in Bertinoro, Italy, the second edition, ESOCC 2013, was held in Malaga, Spain, and will be continued by ESOCC 2014 in Manchester, UK. The main objectives of this conference are to facilitate the exchange between researchers and practitioners in the areas of SOC and Cloud Computing and to foster future collaborations in Europe and beyond. ESOCC 2014 will include invited talks, presentations of selected research papers and an industrial track with the participation of top researchers from industry. ESOCC 2014 will also include a PhD symposium and a series of satellite workshops. BACKGROUND The continued success of service-oriented distributed applications has shown that tightly coupled software systems may be useful for niche markets, whereas loosely coupled software systems have proven to be more flexible, adaptive and often more appropriate for practical applications. Loose coupling makes it easier for a given system to interact with other system components (including legacy systems) that have been developed independently somewhere in a heterogeneous universe of services. Thus, service-oriented applications can evolve more easily during their lifespan and adapt better to changing or even unpredictable environments. In such scenarios, cloud computing enables a new execution paradigm for distributed software application where resources can be shared, optimally realized as well as utilized and exchanged between heterogeneous execution platforms and the cloud, so as to achieve fast response times and to ensure immersive and non-interrupted user experience. Services today are developed independently, deployed as well as freely composed, and they can be implemented in a variety of technologies a fact which is of particular importance from a business perspective. Similarly, cloud computing aims at enabling mobility as well as device, platform and/or service independence by offering centralized sharing of resources. It promotes interoperability, portability and security standards, and raises a completely new set of security issues. On the implementation side, essential agreement has been reached on integration technologies and consensus has emerged in today's middleware market. Customers use web technologies extensively; however, service developers, providers, and integrators need to create methods, tools and techniques to support cost-effective and secure development and use of dependable devices, platforms, services and service- oriented applications in the cloud. TOPICS OF INTEREST ESOCC 2014 seeks original, high quality papers related to all aspects of Service-Oriented and Cloud Computing, which constitute the main technology available to date for implementing service-oriented architectures and cloud computing. Topics of interest to the Research and Industry Tracks include, but are not limited to: ? Business Process Management and Web Services ? Cloud Services Management and Composition using Web Services ? Dynamic and Adaptive Web Services ? Economics Models and Web Services ? Enterprise Architecture and Web Services ? Emerging Trends of Service Composition and Mashups ? Experience reports of novel applications of Service-Oriented and Cloud Computing in Health, Commerce, Finance, Telecom, Scientific Computing and other domains ? Service Modeling, Service-Oriented Analysis and Design ? Formal Methods for Web Services ? Frameworks for Building Web Service-Based Applications ? Architectural Models for Cloud Computing ? Identity and Access Management using Web Services ? Mobile Web Services ? Model-Driven Web Service Engineering ? Next Generation Web Services Middle-ware and Service Repositories ? Service quality and service interface design guidelines ? RESTful for Clouds and Web Services ? Self-Organizing Service Oriented and Cloud Architectures ? Semantic Web Services ? Service Level Agreements for Web services ? Service-Oriented Business Collaboration ? SOA Governance and Web Services ? Web Services for Grids and Clouds ? Service Computing and Web Services ? Service Marketplaces ? Service-oriented Software Engineering ? Service System Design ? Service Value Networks ? Web Services in Service-Oriented Environments ? Service System Engineering ? Web Services Life-Cycles ? Web Services Security and Privacy ? Big Data Management ? Crowd-sourcing Business Services ? Cloud Interoperability and Federation ? Emerging Trends in Storage, Computation and Network Clouds ? Cloud Computing Business Services ? Service Science ? Smart Services ESOCC 2014 solicits both new research papers (in the main track) as well as reports on practical experiences from industry (industry track). However, papers on existing products or product marketing information are not within the scope of the ESOCC 2014 Industry Track. SUBMISSIONS Original papers, not submitted for publication elsewhere, can be submitted via EasyChair. ? Research papers: https://www.easychair.org/conferences/?conf=esocc2014 ? Industry-Track papers: https://www.easychair.org/conferences/?conf=esocc2014it Paper submissions should be formatted according to the LNCS proceedings guidelines and the templates available at http://www.springer.com/computer/Incs?SGWID=0-164-6-793341-0 and they should not exceed 15 pages. A paper might be accepted as a full paper (15 pages), as a short paper (8 pages) or as a poster (a 2-page abstract in the proceedings). Conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. IMPORTANT DATES Research papers: ? Submission: 14 May 2014 ? Notification: 6 June 2014 ? Final version: 20 June 2014 Industrial papers: ? Submission: 14 May 2014 ? Notification: 6 June 2014 ? Final version: 20 June 2014 From pmt6sbc at maths.leeds.ac.uk Fri May 9 00:22:32 2014 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Thu, 8 May 2014 23:22:32 +0100 (BST) Subject: [fg-arc] MIND, MECHANISM AND MATHEMATICS at Columbia University, New York City, May 12-14, 2014 - registration open Message-ID: <201405082222.s48MMWjs028885@maths.leeds.ac.uk> *********************************************************************** Registration is now open - numbers are limited: The Turing Centenary Research Project MIND, MECHANISM AND MATHEMATICS 2nd Workshop, Columbia University, New York City, May 12-14, 2014 http://turing.colorwork.com http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?710 Free registration and schedule at: http://turing.colorwork.com/Schedule.html The workshop: The second annual workshop of the Turing Centenary Research Project will be held May 12-14 at the Morningside Campus of Columbia University, New York City. The research project, funded by the John Templeton Foundation, is a multidisciplinary activity focused on a number of issues related to computability in a broad sense - see: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?704 The first workshop was held in Milan, Italy, in June 2013: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?709 2015 in New York City: This more public event is open to all. As well as short talks from the winners of the 2012 Turing Centenary competition, this exciting event features a number of distinguished speakers from a spectrum disciplines. The meeting will be of particular interest to participants from mathematics, computer science, biology, linguistics, artificial intelligence, philosophy - extending to those concerned with computability-theoretic issues in the humanities, arts and social sciences. Invited speakers include: ERIC ALLENDER (Rutgers), MARTIN DAVIS (New York University and UC Berkeley), RAY DOUGHERTY (New York University), STUART KAUFFMAN (University of Vermont), BENJAMIN KOO (Tsinghua University), RUSSELL MILLER (City University of New York), KLAUS SUTNER (Carnegie Mellon University), STEPHEN WOLFRAM (Wolfram Research) Turing Research Project speakers: MARK BRAVERMAN (Princeton), STEPHANIE DICK (Harvard), DAVID GAMEZ (University of Sussex), PAUL GRANT (Cambridge), NOAM GREENBERG (Victoria University of Wellington), RUTGER KUYPER (Radboud University Nijmegen), ANDREW MARKS (CALTECH), SIMON MARTIEL (University of Nice-Sophia Antipolis), REBECCA SCHULMAN (Johns Hopkins) Please feel free to register at http://turing.colorwork.com/Schedule.html for all events you are interested in attending. Registration is free. Further information from the Co-Chairs: S Barry Cooper pmt6sbc at leeds.ac.uk, Gautam Dasgupta gd18 at columbia.edu *********************************************************************** From pc-chairs at di2014.org Wed May 7 11:02:34 2014 From: pc-chairs at di2014.org (=?utf-8?q?Frederic_Benhamou_=26_Milad_Doueihi_-__=23di2014_Co-Chairs?=) Date: Wed, 07 May 2014 11:02:34 +0200 Subject: [fg-arc] [DI2014] Paper submission deadline extension for #DI2014 Conference, Nantes, France Message-ID: <20140507090259.AAD12105F51A@smtp.univ-nantes.fr> An HTML attachment was scrubbed... URL: From wadt2014 at gmail.com Fri May 9 11:49:07 2014 From: wadt2014 at gmail.com (2014 wadt) Date: Fri, 9 May 2014 12:49:07 +0300 Subject: [fg-arc] WADT 2014 - 1st Call for Papers Message-ID: ====================================================================== FIRST CALL FOR PAPERS WADT 2014 22nd International Workshop on Algebraic Development Techniques http://wadt2014.cs.ovgu.de September 4-7, 2014, Sinaia, Romania ====================================================================== AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Model-driven development - Graph transformations, term rewriting and proof systems - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Thursday to Sunday, at Hotel International Sinaia. Presentations will be selected on the basis of submitted abstracts. INVITED SPEAKERS To be announced IMPORTANT DATES Submission deadline for abstracts: June 15, 2014 Notification of acceptance: June 30, 2014 Early registration: July 5, 2014 Final abstract due: July 25, 2014 Workshop in Sinaia: September 4-7, 2014 SUBMISSIONS The scientific program of the workshop will include presentations of recent results and ongoing research. The presentations will be selected on the basis of the submitted abstracts according to originality, significance, and general interest. The abstracts have to be submitted electronically according to the instructions published on the workshop homepage. PROCEEDINGS After the workshop, selected authors will be invited to submit full papers for the refereed proceedings, which will be published as a volume of Lecture Notes in Computer Science (Springer). SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3. WADT STEERING COMMITTEE Michel Bidoit (France) Andrea Corradini (Italy) Jose Fiadeiro (UK) Rolf Hennicker (Germany) Hans-Jorg Kreowski (Germany) Till Mossakowski (Germany) [chair] Fernando Orejas (Spain) Francesco Parisi-Presicce (Italy) Grigore Rosu (United States) Andrzej Tarlecki (Poland) ORGANIZING COMMITTEE Razvan Diaconescu (Romania) Mihai Codescu (Germany) Ionut Tutu (UK) CONTACT INFORMATION Email: wadt2014 at gmail.com Homepage: http://wadt2014.cs.ovgu.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From architekturen2014 at koziolek.de Fri May 9 14:17:19 2014 From: architekturen2014 at koziolek.de (Heiko Koziolek) Date: Fri, 09 May 2014 14:17:19 +0200 Subject: [fg-arc] ARCHITEKTUREN 2014 (7.-8.7.2014 in Ladenburg): Call for Participation Message-ID: ============================================= Call for Participation ARCHITEKTUREN 2014 Jahrestagung der GI-Fachgruppe "Architekturen" 07.-08. Juli 2014 ABB Forschungszentrum in Ladenburg (bei Mannheim) http://fg-arc.gi.de/veranstaltungen/architekturen-2014.html ============================================= Das Motto der diesj?hrigen Veranstaltung lautet: "Architekturen f?r die Industrie 4.0" Die vierte industrielle Revolution bezeichnet die Reorganisation von industriellen Produktionsprozessen zur umfassenden Ausnutzung der M?glichkeiten sogenannter Cyber-Physischen Systemen. Dabei verschmelzen physikalische und virtuelle Welt unter einer zunehmender Vernetzung. Dies soll zur Realisierung wandlungsf?higer, ressourceneffizienter und ergonomischer Produktionsprozesse f?hren. Dazu werden im Rahmen von Vortr?gen aus Wissenschaft, Technologietransfer und Industrie entsprechende L?sungsans?tze aus Perspektive des Softwarearchitekten diskutiert. ============================================= ANMELDUNG Die Anmeldung k?nnen Sie nun vornehmen: http://fg-arc.gi.de/veranstaltungen/architekturen-2014/anmeldung.html ANREISE http://fg-arc.gi.de/veranstaltungen/architekturen-2014/tagungsort.html UNTERKUNFT http://fg-arc.gi.de/veranstaltungen/architekturen-2014/unterkunft.html Bitte beachten Sie das nur bis zum 22.05. reservierte Zimmerkontingent im Hotel Leonardo nahe des ABB Forschungszentrums in Ladenburg. (Stichwort: Architekuren 2014) ============================================= PROGRAMM Montag, 7.7.2014 09:00 Arbeitskreistreffen AK-MDA, Steffen Becker, Universit?t Paderborn 12:00 Mittagessen 13:00 Er?ffnung der Haupttagung, Jan-Henning Fabian, ABB 13:30 Auf dem Weg zur Industrie 4.0 Referenzarchitektur, Friedrich Vollmar, IBM 14:00 Safety und Security in der Industrie 4.0, Mario Trapp, Fraunhofer IESE 14:30 Entwurfstechniken f?r die flexible Vernetzung in Produktionsanlagen, Matthias Meyer, Universit?t Paderborn 15:00 Pause 15:30 Agentenbasierte Architektur f?r die Dynamische Rekonfiguration von Cyber-Physical-Production-Systems, Birgit Vogel-Heuser, TU M?nchen 16:00 Forschungsbedarf f?r Cyber-Physical Systems im Kontext der Industrie 4.0, Stefan Kowalewski, RWTH Aachen 16:30 ?ffentliche Sitzung der GI-Fachgruppe Architekturen, Florian Matthes, Matthias Riebisch, TU M?nchen, Universit?t Hamburg 17:30 Pause 18:00 Rundgang ABB Automation Forum 19:00 Abendessen 22:00 Ende Tag 1 Dienstag, 8.7.2014 09:00 Architectural Refactoring for Cloud, Olaf Zimmermann, Hochschule Rapperswil 09:30 Innovating Internet Of Things, Stefan Ried, Forrester Research 10:00 The Automation Cloud, Thomas Goldschmidt, ABB 10:30 Pause 11:00 Von Produktlinien zu SW-?kosystemen: Konzepte, Methoden, Werkzeuge, Klaus Schmid, Universit?t Hildesheim 11:30 Laufzeitsysteme f?r Plug&Produce, Christian Buckl, fortiss 12:00 N.N. 12:30 Abschluss Haupttagung, Heiko Koziolek, ABB 13:00 Mittagessen 14:00 Arbeitskreistreffen AK-L2S2, Stefan Sauer, Universit?t Paderborn 18:00 Ende Tag 2 ============================================= ORGANISATOREN Heiko Koziolek, ABB Forschungszentrum Ladenburg Dominik Domis, ABB Forschungszentrum Ladenburg Thomas Goldschmidt, ABB Forschungszentrum Ladenburg From Wendelin.Serwe at inria.fr Mon May 12 11:27:11 2014 From: Wendelin.Serwe at inria.fr (Wendelin Serwe) Date: Mon, 12 May 2014 11:27:11 +0200 Subject: [fg-arc] Post-doc position at Convecs team (Inria/LIG) Message-ID: <537093EF.4050504@inria.fr> The Convecs team of Inria and LIG is offering a post-doctoral position. For more information see: http://convecs.inria.fr/jobs/2014a.html -- Inria / LIG - Convecs, Inovallee 38334 St-Ismier Cedex, FRANCE Tel: (+33) 4 76 61 53 52, Fax: (+33) 4 76 61 52 52 From maurizio.proietti at iasi.cnr.it Tue May 20 14:46:42 2014 From: maurizio.proietti at iasi.cnr.it (Maurizio Proietti) Date: Tue, 20 May 2014 14:46:42 +0200 Subject: [fg-arc] LOPSTR 2014: Deadline Approaching Message-ID: ===================== CALL FOR PAPERS ====================== 24th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2014 http://www.iasi.cnr.it/events/lopstr14/ University of Kent, Canterbury, UK, September 10-11, 2014 DEADLINES Abstract submission: May 30, 2014 Paper/Extended abstract submission: June 6, 2014 ============================================================ NEW! Invited Speakers: Roberto Giacobazzi (University of Verona, Italy) Viktor Kuncak (EPFL, Switzerland) ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 24th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2014) will be held at the University of Kent, Canterbury, United Kingdom; previous symposia were held in Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC co-chairs in case of questions). Important Dates Abstract submission: May 30, 2014 Paper/Extended abstract submission: June 6, 2014 Notification: July 18, 2014 Camera-ready (for electronic pre-proceedings): August 25, 2014 Symposium: September 10-11, 2014 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Paper should be submitted via the Easychair submission website for LOPSTR 2014. If electronic submission is impossible, please contact the program co-chairs for information on how to submit hard copies. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher German University of Cairo, Egypt ?tienne Andr? Universit? Paris 13, France Martin Brain University of Oxford, UK Wei-Ngan Chin National University of Singapore, Singapore Marco Comini University of Udine, Italy Wlodzimierz Drabent IPIPAN, Poland and Link?ping University, Sweden Fabio Fioravanti University of Chieti-Pescara, Italy J?rgen Giesl RWTH Aachen University, Germany Miguel G?mez-Zamalloa Complutense University of Madrid, Spain Arnaud Gotlieb SIMULA Research Laboratory, Norway Gopal Gupta University of Texas at Dallas, USA Jacob Howe City University London, UK Zhenjiang Hu National Institute of Informatics, Japan Alexei Lisitsa University of Liverpool, UK Yanhong Annie Liu Stony Brook University, USA Jorge Navas NASA, USA Naoki Nishida Nagoya University, Japan Corneliu Popeea Technische Universit?t M?nchen, Germany Maurizio Proietti IASI-CNR, Italy (Program Co-Chair) Tom Schrijvers Ghent University, Belgium Hirohisa Seki Nagoya Institute of Technology, Japan (Program Co-Chair) Jon Sneyers K.U. Leuven, Belgium Fausto Spoto University of Verona, Italy Wim Vanhoof University of Namur, Belgium German Vidal Universitat Politecnica de Valencia, Spain Program Co-Chairs: Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti at iasi.cnr.it) Hirohisa Seki, Nagoya Institute of Technology, Japan (seki at nitech.ac.jp) Symposium Co-Chairs Olaf Chitil and Andy King School of Computing University of Kent CT2 7NF Kent, UK Organizing Committee Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy Fabrizio Smith, IASI-CNR, Italy From lina.ye at inria.fr Fri May 23 14:41:42 2014 From: lina.ye at inria.fr (lina.ye at inria.fr) Date: Fri, 23 May 2014 14:41:42 +0200 (CEST) Subject: [fg-arc] Second Call for Papers: Workshops Colocated with SEFM 2014 Message-ID: <201405231241.s4NCfgGU020464@ubac.inrialpes.fr> Our apologies if you have received multiple copies. #################################################################### SECOND CALL FOR PAPERS Five Workshops Colocated with SEFM 2014 Grenoble, France September 1-2, 2014 http://sefm2014.inria.fr/ #################################################################### PUBLICATION All accepted papers will be published by Springer in a volume of LNCS. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the workshop. #################################################################### WEB SITES AND IMPORTANT DATES - 1st Workshop on Human-Oriented Formal Methods (HOFM 2014): From Readability to Automation For more details please see http://hofm2014.wordpress.com/ Paper Submission: 15 June, 2014 Notification of Acceptance: 5 July, 2014 Post-proceedings Final version: 15 September 2014 Workshop Date: 1 September, 2014 -------------------------------------------------------------------------------- - 3rd International Symposium on Modelling and Knowledge Management applications (MoKMaSD 2014): Systems and Domains For more details please see http://www.di.unipi.it/mokmasd/symposium-2014/index.html Paper Submission: 6 June 2014 Notification of Acceptance: 5 July 2014 Pre-proceedings Final version: 31 July 2014 Post-proceedings Final version: 15 September 2014 Symposium Date: 2 September 2014 ------------------------------------------------------------------------------- - 8th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2014) For more details please see http://www.di.unipi.it/opencert/workshop-2014/ Paper Submission: 6 June 2014 Notification of Acceptance: 11 July 2014 Notification of Early Registration: 15 July 2014 Pre-proceedings Final version: 31 July 2014 Post-proceedings Final version: 15 September 2014 Workshop Date: 1 September 2014 ------------------------------------------------------------------------------- - 1st International Workshop on Safety and Formal Methods (SaFoMe 2014) For more details please see http://babel.ls.fi.upm.es/safome2014/ Abstract Submission: 23 May, 2014 Paper Submission: 30 May, 2014 Notification of Acceptance: 30 June, 2014 Camera-ready Paper Due: 15 July, 2014 Workshop Date: 1 September, 2014 ----------------------------------------------------------------------------------- - 4th Workshop on Formal Methods in the Development of Software (WS-FMDS 2014) For more details please see http://antares.sip.ucm.es/ws-fmds2014/ Paper Submission: 23 May, 2014 Notification of Acceptance: 9 June, 2014 Camera-ready Paper Due: 20 June, 2014 Post-proceedings Final version: 15 September 2014 Workshop Date: 2 September, 2014 #################################################################### From amedeo.napoli at loria.fr Sat May 24 13:34:35 2014 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Sat, 24 May 2014 13:34:35 +0200 (CEST) Subject: [fg-arc] CFP FCA4AI Workshop at ECAI 2014 ``What can FCA do for Artificial Intelligence?'' (3rd Edition) In-Reply-To: <288493923.13345441.1400930812349.JavaMail.zimbra@loria.fr> Message-ID: <1249073050.13345930.1400931275473.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------- Call for Papers ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Third Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with ECAI 2014, Prague, Czech Republic August 19 2014 http://www.fca4ai.hse.ru ------------------------------------------------------------------------------------------------------------------- General Information. The first and the second editions of the FCA4AI Workshop (ECAI 2012, Montpellier and IJCAI 2013, Beijing) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis (see http://ceur-ws.org/Vol-939/ and http://ceur-ws.org/Vol-1058/). We have the chance to organize a new edition of the workshop in Prague at the ECAI 2014 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery point of view and from the knowledge representation point of view, including, e.g., ontology engineering. All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, information retrieval. - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain. The workshop is dedicated to discuss such issues. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: May 30, 2014 Notification to authors: June 23, 2014 Final version: July 14, 2014 Workshop: August 19, 2014 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2014 (opening soon) The workshop proceedings will be published as CEUR proceedings. A selection of the best papers presented at the workshop will be considered for a special issue of a high-level journal. WORKSHOP CHAIRS: Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France Sebastian Rudolph Technische Universitaet Dresden, Germany PROGRAM COMMITTEE (in constitution) Mathieu D'Aquin, Open University, Milton Keynes, UK Franz Baader, Technische Universitaet Dresden, Germany Radim Belohlavek, Palacky University, Olomouc, Czech Republic Karell Bertet, Universit? de La Rochelle, France Claudio Carpineto, Fondazione Ugo Bordoni, Roma, Italy Felix Distel, Technische Universitaet Dresden, Germany S?bastien Ferr?, IRISA Rennes, France Bernhard Ganter, Technische Universitaet Dresden, Germany Pascal Hitzler, Wright State University, Dayton, Ohio, USA Marianne Huchard, LIRMM Montpellier, France Dmitry I. Ignatov, Higher School of Economics, Moscow, Russia Mehdi Kaytoue, LIRIS-INSA, University of Lyon, France Markus Kr?tzsch, University of Oxford, UK Sergei A. Obiedkov, Higher Schools of Economics, Moscow, Russia Jan Outrata, Palacky University, Olomouc, Czech Republic Uta Priss, Ostfalia University of Applied Sciences, Wolfenb?ttel, Germany Baris Sertkaya, SAP Dresden, Germany, Henry Soldano, Universit? de Paris-Nord, France Gerd Stumme, Universitaet Kassel, Germany Petko Valtchev, Universit? du Qu?bec ? Montr?al, Montr?al, Canada ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at urv.cat Sun May 25 16:03:10 2014 From: grlmc at urv.cat (GRLMC) Date: Sun, 25 May 2014 16:03:10 +0200 Subject: [fg-arc] SSTiC 2014: June 7, early registration deadline Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2014 Tarragona, Spain July 7-11, 2014 Organized by Rovira i Virgili University http://grammars.grlmc.com/sstic2014/ ********************************************************************* --- Early registration deadline: June 7 --- ********************************************************************* AIM: SSTiC 2014 is the second edition in a series started in 2013. For the previous event, see http://grammars.grlmc.com/SSTiC2013/ SSTiC 2014 will be a research training event mainly addressed to PhD students and PhD holders in the first steps of their academic career. It intends to update them about the most recent developments in the diverse branches of computer science and its neighbouring areas. To that purpose, renowned scholars will lecture and will be available for interaction with the audience. SSTiC 2014 will cover the whole spectrum of computer science through 6 keynote lectures and 22 six-hour courses dealing with some of the most lively topics in the field. The organizers share the idea that outstanding speakers will really attract the brightest students. ADDRESSED TO: Graduate students from around the world. There are no formal pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, reference may be made to specific knowledge background in the description of some of them. SSTiC 2014 is also appropriate for more senior people who want to keep themselves updated on developments in their own field or in other branches of computer science. They will surely find it fruitful to listen and discuss with scholars who are main references in computing nowadays. REGIME: In addition to keynotes, 3 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Larry S. Davis (U Maryland, College Park), A Historical Perspective of Computer Vision Models for Object Recognition and Scene Analysis David S. Johnson (Columbia U, New York), Open and Closed Problems in NP-Completeness George Karypis (U Minnesota, Twin Cities), Top-N Recommender Systems: Revisiting Item Neighborhood Methods Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One Coin Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style Ronald R. Yager (Iona C, New Rochelle), Social Modeling COURSES AND PROFESSORS: Divyakant Agrawal (Qatar Computing Research Institute, Doha), [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing John M. Carroll (Pennsylvania State U, University Park), [introductory] Usability Engineering and Scenario-based Design Kwang-Ting (Tim) Cheng (U California, Santa Barbara), [introductory/intermediate] Smartphones: Hardware Platform, Software Development, and Emerging Apps Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed Foundations of Data Management in the Cloud Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and Distributed Simulation Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science David S. Johnson (Columbia U, New York), [introductory] The Traveling Salesman Problem in Theory and Practice George Karypis (U Minnesota, Twin Cities), [intermediate] Programming Models/Frameworks for Parallel & Distributed Computing Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate] Optimization Techniques for Sparse/Low-rank Recovery Problems in Image Processing and Machine Learning Arie E. Kaufman (U Stony Brook), [intermediate/advanced] Visualization Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate] Robot Motion Planning Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in Computer Science Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate] Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance Handover System Designs Robert Sargent (Syracuse U), [introductory] Validation of Models Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection for Twitter and the Social Web Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate] Distributed Consensus: Theory and Applications Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and Life ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Mart?n-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/sstic2014/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 when the capacity of the venue will be complete. It is very convenient to register prior to the event. DEADLINES AND FEES: As far as possible, participants are expected to attend for the whole (or most of the) week (full-time). Fees are a flat rate allowing one to participate to all courses. They vary depending on the registration deadline: Early registration: June 7, 2014 --- 470 Euro Regular registration: July 5, 2014 --- 500 Euro On-site registration: July 11, 2014 --- 530 Euro ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SSTiC 2014 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universitat Rovira i Virgili From cesar.a.munoz at nasa.gov Sun May 25 17:16:45 2014 From: cesar.a.munoz at nasa.gov (MUNOZ, CESAR (LARC-D320)) Date: Sun, 25 May 2014 15:16:45 +0000 Subject: [fg-arc] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014 Message-ID: Fourth Verified Software Competition (VSComp) 2014 14-15 June 2014 http://vscomp.org Organizers: Ernie Cohen, Marcelo Frias, Peter M?ller, Natarajan Shankar The Fourth Verified Software Competition (VSComp) aims to showcase the progress in verification technology. The competition will occur over 48 hours during the weekend of 14/15 June starting with the publication of the challenge problems at 0900 GMT of Sat June 14 and ending with the submission deadline for the solutions at 0900 GMT of Mon June 16. Teams of up to three individuals can register to participate just prior to the start of the competition at http://vscomp.org . The competition will consist of five verification challenges (with possible sub-problems) spanning a range of domains, including (but not limited to) sequential and concurrent algorithms, refinement, assertional verification, and metatheory. Teams will have to solve the challenge problems using mechanized tools. Teams are allowed to use multiple tools to tackle the challenges. Only the best three problem solutions from each team will be taken into consideration for evaluating team performance. An FAQ Wiki page will be maintained at the website to clarify questions that might come up before or during the competition. After the competition, solutions will be made publicly available for peer review by the other teams. Teams should be available to answer questions during the peer review process, and if necessary, be prepared to make their verification tools available for experimentation. Based on the results of the peer review, the organizers will evaluate the solutions for correctness, completeness, and clarity. The winners will be given short speaking slots at VSTTE 2014 which takes place in Vienna during July 17, 18, 2014. The competition will run on an honor system to ensure that above guidelines are being followed by each of the teams. We especially encourage the participation of all-student teams and teams that are using tools developed by others. Questions or comments about the contest should be sent to vscomp2014 at gmail.com. --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From maria.spichkova at rmit.edu.au Thu May 29 08:13:17 2014 From: maria.spichkova at rmit.edu.au (Maria Spichkova) Date: Thu, 29 May 2014 16:13:17 +1000 Subject: [fg-arc] Workshop "Human-Oriented Formal Methods" @SEFM 2014 Message-ID: [Apologies if you receive multiple copies of this message] *CALL FOR PAPERS* *HOFM 2014: Human-Oriented Formal Methods Workshop * *co-located to SEFM*, 12th International Conference on Software Engineering and Formal Methods (Grenoble, France) http://hofm2014.wordpress.com **Important Dates** Deadline for paper submission: *June 20*, 2014 (AoE) Notification: July 5, 2014 Workshop will take place on September 1, 2014 All accepted papers will be published as part of the Lecture Notes in Computer Science (LNCS) proceedings volume. *Areas of interest include but are not limited to:* ? Integration of formal methods in the industrial development life cycle , application of Formal Methods to real-world problems especially in domains listed below ? Optimization of the development tools based on formal models ? Specification/modeling notations and tools for human readability ? Human factors of/for formal methods ? Formal methods and design for usability ? Usability and scalability of formal methods tools ? Human error and human factors in software/systems dependability ? Interface design, formal specification and human factors ? Cross-disciplinary automation and hybrid formal methods ? Verification/testing automation ? Usability evaluation in automated verification and testing ? Visualisation of/in formal methods and tools ? Domain-specific languages for verification and validation ? Crowd-enabling and gamification for human-centred verification ? Domain-specific formal methods for real-world problems ? Teaching of Formal Methods, especially wrt. human factors *Aims:* While designing and applying formal methods, computer scientists have dominantly focused on two factors, only: firstly, the method must be precise and sound and secondly, it must be mathematically concise and aesthetic. Other important characteristics such as simplicity, learnability, readability, memorability, ease of use and communication or, even support for integrating tools into larger development tool chains are ignored too often. These nonfunctional properties, however, are key attributes of usability and user satisfaction. If usability is compromised, methods are not fit for the purpose of documenting, reproducing and communicating key design and realization decisions, or analysis results, especially when these need to communicate or mediate between expertise in different disciplines, different tool chains or across technological or organizational boundaries. For these reasons, many engineers and practitioners largely reject formal methods and formal specification languages as ?too hard to understand and use in practice? while admitting that they are powerful and precise. With increasing computing power and its consequent automation capabilities, the research and development community however is slowly but definitely focusing on usability in combination with automation. Moreover practitioners across numerous domains are increasingly interested in formal domain-specific modelling, simulation and validation, whether in application areas of energy, robotics, health, biology, climate and sustainable development, or, for specific technologies of importance such as data analytics and user interface specification for an exponentially growing number of hand-held or wearable devices. While there are many applications of formal methods to analyze human-machine interaction and to construct user interfaces, the field of application of human factors to the analysis and to the optimization of formal methods area is almost unexplored. This workshop aims to bring together researchers, engineers and practitioners from academia and industry to baseline the state of the art in this increasingly important domain. It also aims to develop a future vision and roadmap of usability and automation, focusing especially on readability and ease of use. *Formatting and Submission Guidelines:* All accepted papers will be published as part of the Lecture Notes in Computer Science (LNCS, http://www.springer.com/lncs) proceedings volume organized by SEFM. PDF versions of papers should be submitted trough EasyChair submission system . The maximum size is 15 pages using the LNCS Formatting Guidelines. If you submit a paper and it gets accepted, at least one of the (co)author(s) is expected to be present at the workshop to present the paper. All papers submitted to the workshop must be unpublished original work and should not be under review or submitted elsewhere while being under consideration. Submitted papers will be reviewed by 3 members of Program/Organizing Committee (or their sub-reviewers) and selection of accepted papers will based on relevance, quality and originality of the submitted papers. *Program Committee:* Katherine Blashki, Noroff University College, Norway Manfred Broy , Technical University M?nchen, Germany Jan Carlson , Maelardalen University, Sweden Pedro Isa?as , Universidade Aberta, Portugal Lalchandani Jayprakash, IIIT Bangalore, India Peter Herrmann, NTNU Trondheim, Norway Tim Miller , The University of Melbourne, Australia Srini Ramaswamy , ABB ? Bangalore, India Daniel Ratiu , Siemens AG, Germany Bernhard Sch?tz, fortiss GmbH, Germany Heinz Schmidt , RMIT University, Australia ? chair Carol Smidts , Ohio State University, USA Maria Spichkova , RMIT University, Australia ? chair Judith Stafford , University of Colorado, USA *Workshop Organizers:* Heinz Schmidt (RMIT University, Australia) Maria Spichkova (RMIT University, Australia) *Contact organizer:* Maria Spichkova, maria.spichkova at rmit.edu.au ======================================= -------------- next part -------------- An HTML attachment was scrubbed... URL: From fsen2015 at ipm.ir Tue May 27 19:30:18 2014 From: fsen2015 at ipm.ir (FSEN) Date: Tue, 27 May 2014 13:30:18 -0400 Subject: [fg-arc] First Call for Papers: FSEN 2015 Message-ID: <5384CBAA.8030806@ipm.ir> An HTML attachment was scrubbed... URL: From thierry.charnois at lipn.univ-paris13.fr Thu May 29 19:39:53 2014 From: thierry.charnois at lipn.univ-paris13.fr (Thierry Charnois) Date: Thu, 29 May 2014 19:39:53 +0200 Subject: [fg-arc] CFP DMNLP - Workshop on Interactions between Data Mining and Natural Language Processing at ECML/PKDD Message-ID: <538770E9.8020500@lipn.univ-paris13.fr> [Apologies for multiple postings] ******************************************************** CALL FOR PAPERS Workshop on Interactions between Data Mining and Natural Language Processing (DMNLP'2014) ECML/PKDD 2014 Workshop September 15, 2014 Nancy, France http://dmnlp.loria.fr ******************************************************** ------ SCOPE ------ On the one hand, in the field of Natural Language Processing (NLP), numerical Machine Learning methods (e.g., SVM, CRF) have been intensively explored and applied. Despite the good results obtained by the numerical methods, one major drawback is that they do not provide a human readable model. A promising direction is the integration of symbolic knowledge. On the other hand, research in Data Mining has progressed significantly in the last decades, through the development of advanced algorithms and techniques to extract knowledge from data in different forms. In particular, for two decades Pattern Mining has been one of the most active field in Knowledge Discovery. Recently, a new field has emerged taking benefit of both domains: Data Mining and NLP. The objective of DMNLP is thus to provide a forum to discuss how Data Mining can be interesting for NLP tasks, providing symbolic knowledge, but also how NLP can enhance data mining approaches by providing richer and/or more complex information to mine and by integrating linguistics knowledge directly in the mining process. The workshop aims at bringing together researchers from both communities in order to stimulate discussions about the cross-fertilization of those two research fields. The idea of this workshop is to discuss future directions and new challenges emerging from the cross-fertilization of Data Mining and NLP and in the same time initiate collaborations between researchers of both communities. --------------- CALL FOR PAPERS --------------- The workshop promotes works where the two following dimensions are combined in one as symbiosis. The first dimension is Data Mining, for instance Pattern Mining (itemsets, sequences, trees, graphs, association rules), classification (decision trees, FCA,...), inductive logic programming. The second dimension is NLP, for example question/answering systems, translation, information extraction, linguistic analysis (lexical analysis, terminology, syntax, semantics, discourse, stylistics), classification, knowledge extraction/ontology building from texts, information retrieval, corpus annotation, social/opinion mining. A list of non-exhaustive topics that fit the scope of the workshop is thus: - Pattern discovery for NLP - Constraint-based pattern mining in text - Data mining query languages for expressing NLP tasks - Data representation (sequence, tree, graphs) for NLP - Modelization of text for data mining - Relationships between data mining and NLP - Modeling and visualizing data mining results on text - Integrating NLP characteristics in data mining - Data mining approaches for linguistic knowledge building - Knowledge discovery for linguistic analysis (e.g. stylistic, socio-linguistics,?) - Linguistically-informed text representations for Data Mining ------------------ SUBMISSION FORMAT ------------------ Our main goal is to stimulate discussions, collaborations and the sharing of experiences. In that respect, we would have three submission types: * unpublished works (max 16 pages, double submissions allowed) * short papers and vision statements (max 8 pages) * recently published works (special oral-only track, no page limits) For more details on submission, see the DMNLP webpage at http://dmnlp.loria.fr ----------------- IMPORTANT DATES ----------------- * Deadline for submissions: Friday, June 20, 2014 * Author notification: Friday, July 11, 2014 * Final version: Tuesday July 22, 2014 * Workshop date: Monday September 15, 2014 -------------- ORGANIZATION -------------- * Peggy Cellier, INSA Rennes, IRISA, Rennes, France * Thierry Charnois, Universit? de Paris 13, LIPN, France * Andreas Hotho, University of Kassel, Germany * Stan Matwin, Dalhousie University, Canada * Marie-Francine Moens, Katholieke Universiteit, Leuven, Belgium * Yannick Toussaint, INRIA, LORIA, Vandoeuvre-les-Nancy, France ------------------- PROGRAM COMMITTEE ------------------- * Martin Atzmueller, University of Kassel, Germany * Delphine Battistelli, MoDyCo-Universit? Paris Ouest, France * Yves Bestgen, Universit? catholique de Louvain, Belgium * Philipp Cimiano, University of Bielefeld, Germany * Bruno Cremilleux, Universit? de Caen, France * Beatrice, Daille, LINA, France * Yves Lepage, Waseda University, Japan * Francois Jacquenet, Laboratoire Hubert Curien, Saint-Etienne, France * Jiri Klema, Czech Technical University, Prague, Czech Republic * Amedeo Napoli, LORIA Nancy, France * Adeline Nazarenko, Universit? de Paris 13, LIPN, France * Claire N?dellec, Institut National de Recherche Agronomique, France * Pascal Poncelet, LIRMM Montpellier, France * Maria Teresa Pazienza, University of Roma "Tor Vergata", Italy * Stephen Poteet, Boeing, USA * Solen Quiniou, LINA-Universit? de Nantes, France * Mathieu Roche, TETIS, Montpellier, France * Arnaud Soulet, Universit? Fran?ois Rabelais, Tours, France * Steffen, Staab, University of Koblenz-Landau, Germany * Koichi Takeuchi, Okayama University, Japan * Isabelle Tellier, Lattice, Paris, France * Johanna V?lker, University of Mannheim, Germany * Xifeng Yan, University of California, Santa Barbara, USA * Pierre Zweigenbaum, LIMSI-CNRS, Paris, France From maurizio.proietti at iasi.cnr.it Sat May 31 14:48:50 2014 From: maurizio.proietti at iasi.cnr.it (Maurizio Proietti) Date: Sat, 31 May 2014 14:48:50 +0200 Subject: [fg-arc] LOPSTR 2014 - Extended Deadlines Message-ID: ==================== EXTENDED DEADLINES ==================== Abstract submission: June 11, 2014 Paper/Extended abstract submission: June 18, 2014 ===================== CALL FOR PAPERS ====================== 24th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2014 http://www.iasi.cnr.it/events/lopstr14/ University of Kent, Canterbury, UK, September 10-11, 2014 ============================================================ Invited Speakers: Roberto Giacobazzi (University of Verona, Italy) Viktor Kuncak (EPFL, Switzerland) ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 24th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2014) will be held at the University of Kent, Canterbury, United Kingdom; previous symposia were held in Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC co-chairs in case of questions). Important Dates Abstract submission: June 11, 2014 Paper/Extended abstract submission: June 18, 2014 Notification: July 18, 2014 Camera-ready (for electronic pre-proceedings): August 25, 2014 Symposium: September 10-11, 2014 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Paper should be submitted via the Easychair submission website for LOPSTR 2014. If electronic submission is impossible, please contact the program co-chairs for information on how to submit hard copies. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher German University of Cairo, Egypt ?tienne Andr? Universit? Paris 13, France Martin Brain University of Oxford, UK Wei-Ngan Chin National University of Singapore, Singapore Marco Comini University of Udine, Italy Wlodzimierz Drabent IPIPAN, Poland and Link?ping University, Sweden Fabio Fioravanti University of Chieti-Pescara, Italy J?rgen Giesl RWTH Aachen University, Germany Miguel G?mez-Zamalloa Complutense University of Madrid, Spain Arnaud Gotlieb SIMULA Research Laboratory, Norway Gopal Gupta University of Texas at Dallas, USA Jacob Howe City University London, UK Zhenjiang Hu National Institute of Informatics, Japan Alexei Lisitsa University of Liverpool, UK Yanhong Annie Liu Stony Brook University, USA Jorge Navas NASA, USA Naoki Nishida Nagoya University, Japan Corneliu Popeea Technische Universit?t M?nchen, Germany Maurizio Proietti IASI-CNR, Italy (Program Co-Chair) Tom Schrijvers Ghent University, Belgium Hirohisa Seki Nagoya Institute of Technology, Japan (Program Co-Chair) Jon Sneyers K.U. Leuven, Belgium Fausto Spoto University of Verona, Italy Wim Vanhoof University of Namur, Belgium German Vidal Universitat Politecnica de Valencia, Spain Program Co-Chairs: Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti at iasi.cnr.it) Hirohisa Seki, Nagoya Institute of Technology, Japan (seki at nitech.ac.jp) Symposium Co-Chairs Olaf Chitil and Andy King School of Computing University of Kent CT2 7NF Kent, UK Organizing Committee Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy Fabrizio Smith, IASI-CNR, Italy From grlmc at urv.cat Sat May 31 09:32:55 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 31 May 2014 09:32:55 +0200 Subject: [fg-arc] SSTiC 2014: June 7, early registration deadline Message-ID: <85C071B0FC1A4982B783DC845734861D@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2014 Tarragona, Spain July 7-11, 2014 Organized by Rovira i Virgili University http://grammars.grlmc.com/sstic2014/ ********************************************************************* --- Early registration deadline: June 7 --- ********************************************************************* AIM: SSTiC 2014 is the second edition in a series started in 2013. For the previous event, see http://grammars.grlmc.com/SSTiC2013/ SSTiC 2014 will be a research training event mainly addressed to PhD students and PhD holders in the first steps of their academic career. It intends to update them about the most recent developments in the diverse branches of computer science and its neighbouring areas. To that purpose, renowned scholars will lecture and will be available for interaction with the audience. SSTiC 2014 will cover the whole spectrum of computer science through 6 keynote lectures and 22 six-hour courses dealing with some of the most lively topics in the field. The organizers share the idea that outstanding speakers will really attract the brightest students. ADDRESSED TO: Graduate students from around the world. There are no formal pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, reference may be made to specific knowledge background in the description of some of them. SSTiC 2014 is also appropriate for more senior people who want to keep themselves updated on developments in their own field or in other branches of computer science. They will surely find it fruitful to listen and discuss with scholars who are main references in computing nowadays. REGIME: In addition to keynotes, 3 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Larry S. Davis (U Maryland, College Park), A Historical Perspective of Computer Vision Models for Object Recognition and Scene Analysis David S. Johnson (Columbia U, New York), Open and Closed Problems in NP-Completeness George Karypis (U Minnesota, Twin Cities), Top-N Recommender Systems: Revisiting Item Neighborhood Methods Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One Coin Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style Ronald R. Yager (Iona C, New Rochelle), Social Modeling COURSES AND PROFESSORS: Divyakant Agrawal (Qatar Computing Research Institute, Doha), [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing John M. Carroll (Pennsylvania State U, University Park), [introductory] Usability Engineering and Scenario-based Design Kwang-Ting (Tim) Cheng (U California, Santa Barbara), [introductory/intermediate] Smartphones: Hardware Platform, Software Development, and Emerging Apps Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed Foundations of Data Management in the Cloud Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and Distributed Simulation Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science David S. Johnson (Columbia U, New York), [introductory] The Traveling Salesman Problem in Theory and Practice George Karypis (U Minnesota, Twin Cities), [intermediate] Programming Models/Frameworks for Parallel & Distributed Computing Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate] Optimization Techniques for Sparse/Low-rank Recovery Problems in Image Processing and Machine Learning Arie E. Kaufman (U Stony Brook), [intermediate/advanced] Visualization Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate] Robot Motion Planning Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in Computer Science Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate] Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance Handover System Designs Robert Sargent (Syracuse U), [introductory] Validation of Models Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection for Twitter and the Social Web Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate] Distributed Consensus: Theory and Applications Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and Life ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Mart?n-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/sstic2014/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 when the capacity of the venue will be complete. It is very convenient to register prior to the event. DEADLINES AND FEES: As far as possible, participants are expected to attend for the whole (or most of the) week (full-time). Fees are a flat rate allowing one to participate to all courses. They vary depending on the registration deadline: Early registration: June 7, 2014 --- 470 Euro Regular registration: July 5, 2014 --- 500 Euro On-site registration: July 11, 2014 --- 530 Euro ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SSTiC 2014 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universitat Rovira i Virgili