From klaus.havelund at jpl.nasa.gov Fri Oct 3 18:28:09 2014 From: klaus.havelund at jpl.nasa.gov (Klaus Havelund) Date: Fri, 3 Oct 2014 09:28:09 -0700 Subject: [fg-arc] [fm-announcements] NFM 2015 - 3rd call for papers Message-ID: <5F16E2BC-0D18-4C82-A512-D57D49E94E36@jpl.nasa.gov> CALL FOR PAPERS The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 ? 29 April 2015 Pasadena, California, USA Paper Submission: 10 Nov 2014 THEME The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA such systems include for example autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property-based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other mission- and safety-critical systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal verification techniques with advances in critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages and carrying throughout system development. TOPICS Topics of interest include, but are not limited to: Model checking Theorem proving SAT and SMT solving Symbolic execution Static analysis Runtime verification Program refinement Compositional verification Modeling and specification formalisms Model-based development Model-based testing Requirement engineering Formal approaches to fault tolerance Security and intrusion detection Applications of formal methods to aerospace systems Applications of formal methods to cyber-physical systems Applications of formal methods to human-machine interaction analysis INVITED SPEAKERS Dino Distefano Software Engineer at Facebook, California, USA and Professor at Queen Mary University of London, UK. Viktor Kuncak Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland. Rob Manning Chief Engineer at NASA/JPL. IMPORTANT DATES Paper Submission: 10 Nov 2014 Paper Notifications: 12 Jan 2015 Camera-ready Papers: 9 Feb 2015 Symposium: 27 ? 29 April 2015 LOCATION AND COST The symposium will take place at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015. There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to submit, to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. SUBMISSION DETAILS There are two categories of submissions: - Regular papers describing fully developed work and complete results (15 pages) - Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results (6 pages) All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer?s Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format. PC CHAIRS Klaus Havelund, NASA Jet Propulsion Laboratory Gerard Holzmann, NASA Jet Propulsion Laboratory Rajeev Joshi, NASA Jet Propulsion Laboratory PROGRAMME COMMITTEE Erika Abraham, RWTH Aachen University, Germany Julia Badger, NASA Johnson Space Center, USA Christel Baier, Technische Universit?t Dresden, Germany Saddek Bensalem, VERIMAG/UJF, France Dirk Beyer, University of Passau, Germany Armin Biere, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Borzoo Bonakdarpour, McMaster University, Canada Alessandro Cimatti, Fondazione Bruno Kessler, Italy Leonardo de Moura, Microsoft Research, USA Ewen Denney, NASA Ames Research Center, USA Ben Di Vito, NASA Langley Research Center, USA Dawson Engler, Stanford University, USA Jean-Christophe Filliatre, Universit? Paris-Sud, France Dimitra Giannakopoulou, NASA Ames Research Center, USA Alwyn Goodloe, NASA Langley Research Center, USA Susanne Graf, VERIMAG, France Alex Groce, Oregon State University, USA Radu Grosu, Vienna University of Technology, Austria John Harrison, Intel Corporation, USA Mike Hinchey, University of Limerick/Lero, Ireland Bart Jacobs, University of Leuven, Belgium Sarfraz Khurshid, The University of Texas at Austin, USA Gerwin Klein, NICTA, Australia Daniel Kroening, Oxford University, UK Orna Kupferman, Hebrew University Jerusalem, Israel Kim Larsen, Aalborg University, Denmark Rustan Leino, Microsoft Research, USA Martin Leucker, University of Lubeck, Germany Rupak Majumdar, Max Planck Institute, Germany Pete Manolios, Northeastern University, USA Peter Mueller, ETH Zurich, Switzerland Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA Corina Pasareanu, NASA Ames Research Center, USA Doron Peled, Bar Ilan University, Israel Suzette Person, NASA Langley Research Center, USA Andreas Podelski, University of Freiburg, Germany Grigore Rosu, University of Illinois, USA Kristin Yvonne Rozier, NASA Ames Research Center, USA Natarajan Shankar, SRI International, USA Natasha Sharygina, University of Lugano, Switzerland Scott Smolka, Stony Brook University, USA Willem Visser, University of Stellenbosch, South Africa Mahesh Viswanathan, University of Illinois, USA Mike Whalen, University of Minnesota, USA Jim Woodcock, University of York, UK STEERING COMMITTEE Julia Badger, NASA Johnson Space Center Ewen Denney, NASA Ames Research Center Ben Di Vito, NASA Langley Research Center Klaus Havelund, NASA Jet Propulsion Laboratory Gerard Holzmann, NASA Jet Propulsion Laboratory Cesar Munoz, NASA Langley Research Center Corina Pasareanu, NASA Ames Research Center Suzette Person, NASA Langley Research Center Kristin Yvonne Rozier, NASA Ames Research Center --- --- 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 grlmc at urv.cat Sat Oct 4 19:03:00 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 4 Oct 2014 19:03:00 +0200 Subject: [fg-arc] LATA 2015: extended submission deadline 16 October Message-ID: <3E16D9299C3149AABBCAC4760AFD75E8@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: October 16 ***** ---------------------------------------------------------------------------- **************************************************************************************** 9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2015 Nice, France March 2-6, 2015 Organized by: CNRS, I3S, UMR 7271 Nice Sophia Antipolis University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2015/ **************************************************************************************** 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 developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 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 2015 will take place in Nice, the second largest French city on the Mediterranean coast. The venue will be the University Castle at Parc Valrose. 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 automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words computational complexity data and image compression descriptional complexity digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography parallel and regulated rewriting parsing patterns power series string and combinatorial issues in bioinformatics string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata unconventional models of computation weighted automata STRUCTURE: LATA 2015 will consist of: invited talks peer-reviewed contributions INVITED SPEAKERS: Paola Inverardi (L?Aquila), Synthesis of Protocol Adapters Johann A. Makowsky (Technion, Haifa), Hankel Matrices for Graph Parameters and Graph Grammars Giancarlo Mauri (Milano Bicocca), Complexity Classes for Membrane Systems Andreas Podelski (Freiburg), Automated Program Verification Antonio Restivo (Palermo), The Shuffle Product: New Research Directions PROGRAMME COMMITTEE: Andrew Adamatzky (West of England, Bristol, UK) Andris Ambainis (Latvia, Riga, LV) Franz Baader (Dresden Tech, DE) Rajesh Bhatt (Massachusetts, Amherst, US) Jos?-Manuel Colom (Zaragoza, ES) Bruno Courcelle (Bordeaux, FR) Erzs?bet Csuhaj-Varj? (E?tv?s Lor?nd, Budapest, HU) Aldo de Luca (Naples Federico II, IT) Susanna Donatelli (Turin, IT) Paola Flocchini (Ottawa, CA) Enrico Formenti (Nice, FR) Tero Harju (Turku, FI) Monika Heiner (Brandenburg Tech, Cottbus, DE) Yiguang Hong (Chinese Academy, Beijing, CN) Kazuo Iwama (Kyoto, JP) Sanjay Jain (National Singapore, SG) Maciej Koutny (Newcastle, UK) Anton?n Ku?era (Masaryk, Brno, CZ) Thierry Lecroq (Rouen, FR) Salvador Lucas (Valencia Tech, ES) Veli M?kinen (Helsinki, FI) Carlos Mart?n-Vide (Rovira i Virgili, Tarragona, ES, chair) Filippo Mignosi (L?Aquila, IT) Victor Mitrana (Madrid Tech, ES) Ilan Newman (Haifa, IL) Joachim Niehren (INRIA, Lille, FR) Enno Ohlebusch (Ulm, DE) Arlindo Oliveira (Lisbon, PT) Jo?l Ouaknine (Oxford, UK) Wojciech Penczek (Polish Academy, Warsaw, PL) Dominique Perrin (ESIEE, Paris, FR) Alberto Policriti (Udine, IT) Sanguthevar Rajasekaran (Connecticut, Storrs, US) J?rg Rothe (D?sseldorf, DE) Frank Ruskey (Victoria, CA) Helmut Seidl (Munich Tech, DE) Ayumi Shinohara (Tohoku, Sendai, JP) Bernhard Steffen (Dortmund, DE) Frank Stephan (National Singapore, SG) Paul Tarau (North Texas, Denton, US) Andrzej Tarlecki (Warsaw, PL) Jacobo Tor?n (Ulm, DE) Frits Vaandrager (Nijmegen, NL) Jaco van de Pol (Twente, Enschede, NL) Pierre Wolper (Li?ge, BE) Zhilin Wu (Chinese Academy, Beijing, CN) Slawomir Zadrozny (Polish Academy, Warsaw, PL) Hans Zantema (Eindhoven Tech, NL) ORGANIZING COMMITTEE: S?bastien Autran (Nice) Adrian Horia Dediu (Tarragona) Enrico Formenti (Nice, co-chair) Sandrine Julia (Nice) Carlos Mart?n-Vide (Tarragona, co-chair) Christophe Papazian (Nice) Julien Provillard (Nice) Pierre-Alain Scribot (Nice) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) 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, 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://www.easychair.org/conferences/?conf=lata2015 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 of Computer and System Sciences (Elsevier, 2013 JCR impact factor: 1.0) 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 period for registration is open from July 21, 2014 to March 2, 2015. The registration form can be found at: http://grammars.grlmc.com/lata2015/Registration.php DEADLINES: Paper submission: October 16, 2014 (23:59 CET) ? EXTENDED ? Notification of paper acceptance or rejection: November 18, 2014 Final version of the paper for the LNCS proceedings: November 25, 2014 Early registration: November 25, 2014 Late registration: February 16, 2015 Submission to the journal special issue: June 6, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: LATA 2015 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: Nice Sophia Antipolis University Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From matthes at tum.de Mon Oct 6 16:57:03 2014 From: matthes at tum.de (Matthes, Florian) Date: Mon, 6 Oct 2014 14:57:03 +0000 Subject: [fg-arc] Aufruf zur Teilnahme "9. Workshop Bewertungsaspekte Service- und Cloud-basierte Architekturen" Message-ID: <5b040ad3b40a4b67b1bd295f46fdcf35@BADWLRZ-SW13MB1.ads.mwn.de> Sehr geehrte Damen und Herren, in der Anlage finden Sie den Aufruf zur Teilnahme f?r den 9. Workshop Bewertungsaspekte Service- und Cloud-basierte Architekturen am 4. November 2014 In Frankfurt am Main. Herr Kollege Schmietendorf (s.u.) steht gerne f?r R?ckfragen zur Verf?gung. Mit besten Gr??en Florian Matthes Kontaktm?glichkeiten: Prof. Dr.-Ing. habil. Andreas Schmietendorf Tel.: 03375 216 195, Fax.: 03375 216 4979, Mobil: 0151 52400055 Hochschule f?r Wirtschaft und Recht Berlin, FB II Alt-Friedrichsfelde 60, D-10315 Berlin Professur Wirtschaftsinformatik - Systementwicklung Email: andreas.schmietendorf at hwr-berlin.de Otto-von-Guericke-Universit?t Magdeburg, FIN-IVS Universit?tsplatz 2, D-39106 Magdeburg Privatdozentur Software-Engineering Email: schmiete at ivs.cs.uni-magdeburg.de -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: agenda draft v1.pdf Type: application/pdf Size: 120233 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5892 bytes Desc: not available URL: From kapova at ipd.uka.de Tue Oct 7 07:10:46 2014 From: kapova at ipd.uka.de (Lucia Happe) Date: Tue, 07 Oct 2014 07:10:46 +0200 Subject: [fg-arc] FESCA@ETAPS 2015: CfP for 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, April 12th, 2015, London, UK Message-ID: *** Please accept our apologies should you receive multiple copies of this call from different lists. *** INVITATION: Please, consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to FESCA 2015. ===================================================================== Call for Papers - FESCA 2015 - 12th International Workshop on Formal Engineering approaches to Software Components and Architectures Satellite event of ETAPS April 12th, 2015, London, UK http://fesca.ipd.kit.edu/fesca2015/ ===================================================================== * Paper registration: December 10, 2014 * Submission deadline: December 17, 2014 * Notification of acceptance: January 26, 2015 ===================================================================== WORKSHOP AIM In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity of today's software systems, FESCA aims at addressing two research questions: (1) what role the software architecture can play in systematic addressing of the analytical and modelling challenges, and (2) how formal and semi-formal techniques can be applied effectively to make the issues easier to address automatically, with lower human intervention. TOPICS We encourage submissions on (semi-)formal techniques and their application that aid analysis, design and implementation of software applications, including the techniques in the realm of Model-Driven Development. In this context, the topics include (but are not limited to): * Modelling - Modelling formalisms; - Models, metamodels and model transformations; * Correctness checking - Temporal properties and their formal verification; - Interface compliance and contractual use of components; * Correctness of models, metamodels and model transformations * Analysis and prediction of quality attributes - Formal prediction and analysis; - Static and dynamic analysis; - Instrumentation and monitoring approaches; * Industrial case studies and experience reports. We encourage not only mature research results, submissions presenting innovative ideas and early results of junior researchers are also of a particular interest. SUBMISSIONS Three kinds of submissions are solicited: * regular papers (up to 15 pages) presenting original and unpublished work related to the workshop topics, * position papers (up to 10 pages) presenting ideas and directions of interesting ongoing and yet unpublished research related to the workshop topics, and * tool demonstration papers (up to 8 pages) presenting and highlighting the distinguishing features of a topic-related tool (co-developed by the authors). PROCEEDINGS * Final versions of accepted regular, position and tool papers will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS). IMPORTANT DATES * Paper registration: December 10, 2014 * Submission deadline: December 17, 2014 * Notification of acceptance: January 26, 2015 * Final versions due: February 16, 2015 * Workshop date: April 12, 2015 PROGRAMME COMMITTEE (tentative) * Premysl Brada (University of West Bohemia in Pilsen, Czech Republic) * Ivana Cerna (Masaryk University, Czech Republic) * Yanja Dajsuren (Eindhoven University of Technology, Netherlands) * Antinisca Di Marco (Universita dell'Aquila, Italy) * Petr Hnetynka (Charles University in Prague, Czech Republic) * Samuel Kounev (Universitat Wuerzburg, Germany) * Ralf Kuesters (Universitat Trier, Germany) * Markus Lumpe (Swinburne University of Technology, Australia) * Daniel Menasche (UFRJ, Brazil) * Raffaela Mirandola (Politecnico di Milano, Italy) * Dorina Petriu (Carleton Univesity, USA) * Nadia Polikarpova (ETH Zuerich, Switzerland) * Ralf Reussner (Karlsruhe Institute of Technology, Germany) * Cristina Seceleanu (Malardalen University, Sweden) * Catia Trubiani (Universita dell'Aquila, Italy) * Steffen Zschaler (King's College London, UK) PC CO-CHAIRS * Barbora Buhnova (Masaryk University, Czech Republic) * Lucia Happe (Karlsruhe Institute of Technology, Germany) * Jan Kofron (Charles University in Prague, Czech Republic) -------------- next part -------------- An HTML attachment was scrubbed... URL: From fsen2015 at ipm.ir Tue Oct 7 00:03:31 2014 From: fsen2015 at ipm.ir (Marjan Sirjani) Date: Mon, 06 Oct 2014 18:03:31 -0400 Subject: [fg-arc] Final CFP: FSEN 2015 Message-ID: <543311B3.3050301@ipm.ir> An HTML attachment was scrubbed... URL: From grlmc at urv.cat Sun Oct 12 11:22:47 2014 From: grlmc at urv.cat (GRLMC) Date: Sun, 12 Oct 2014 11:22:47 +0200 Subject: [fg-arc] BigDat 2015: registration deadline 23 October Message-ID: <760FC14976F54C11A5F6651304EB32CD@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************** INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2015 Tarragona, Spain January 26-30, 2015 Organized by Rovira i Virgili University http://grammars.grlmc.com/bigdat2015/ ***************************************************** --- 5th registration deadline: October 23, 2014 --- ***************************************************** AIM: BigDat 2015 is a research training event for graduates and postgraduates in the first steps of their academic career. It aims at updating them about the most recent developments in the fast developing area of big data, which covers a large spectrum of current exciting research, development and 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. All big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures and 24 six-hour courses, which will tackle the most lively and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ADDRESSED TO: Graduate and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be required for some of them. BigDat 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 3 courses will run in parallel 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: BigDat 2015 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: Ian Foster (Argonne National Laboratory), Taming Big Data: Accelerating Discovery via Outsourcing and Automation Geoffrey C. Fox (Indiana University, Bloomington), Mapping Big Data Applications to Clouds and HPC C. Lee Giles (Pennsylvania State University, University Park), Scholarly Big Data: Information Extraction and Data Mining William D. Gropp (University of Illinois, Urbana-Champaign), tba COURSES AND PROFESSORS: Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Diego Calvanese (Free University of Bozen-Bolzano), [introductory/intermediate] End-User Access to Big Data Using Ontologies Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Programming with Big Data Edward Y. Chang (HTC Corporation, New Taipei City), [introductory/advanced] Big Data Analytics: Architectures, Algorithms, and Applications Ernesto Damiani (University of Milan), [introductory/intermediate] Process Discovery and Predictive Decision Making from Big Data Sets and Streams Gautam Das (University of Texas, Arlington), [intermediate/advanced] Mining Deep Web Repositories Maarten de Rijke (University of Amsterdam), tba Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Using Software Defined Systems to Address Big Data Problems Minos Garofalakis (Technical University of Crete, Chania) [intermediate/advanced], Querying Continuous Data Streams Vasant G. Honavar (Pennsylvania State University, University Park) [introductory/intermediate], Learning Predictive Models from Big Data Mounia Lalmas (Yahoo! Research Labs, London), [introductory] Measuring User Engagement Tao Li (Florida International University, Miami), [introductory/intermediate] Data Mining Techniques to Understand Textual Data Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data Visualization Christoph Meinel (Hasso Plattner Institute, Potsdam), [introductory/intermediate] New Computing Power by In-Memory and Multicore to Tackle Big Data David Padua (University of Illinois, Urbana-Champaign), [intermediate] Data Parallel Programming Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data in Simulation-based Science Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate] Scalable Data Analysis Evaggelia Pitoura (University of Ioannina), [intermediate] Online Social Networks Vijay V. Raghavan (University of Louisiana, Lafayette), [introductory/intermediate] Visual Analytics of Time-evolving Large-scale Graphs Pierangela Samarati (University of Milan), [intermediate], Data Security and Privacy in the Cloud Peter Sanders (Karlsruhe Institute of Technology), [introductory/intermediate] Algorithm Engineering for Large Data Sets Johan Suykens (KU Leuven), [introductory/intermediate] Fixed-size Kernel Models for Big Data Domenico Talia (University of Calabria, Rende), [intermediate] Scalable Data Mining on Parallel, Distributed and Cloud Computing Systems Jieping Ye (Arizona State University, Tempe), [introductory/advanced] Large-Scale Sparse Learning and Low Rank Modeling 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/bigdat2015/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: As far as possible, participants are expected to stay full-time. Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be provided in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: BigDat 2015 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 philippe.geril at eurosis.org Fri Oct 17 16:54:24 2014 From: philippe.geril at eurosis.org (Philippe Geril) Date: Fri, 17 Oct 2014 16:54:24 +0200 Subject: [fg-arc] 1st CFP MESM'2015, 15TH Annual Middle Eastern Simulation and Modelling Conference, March 2-4, 2015, AOU, Manama, Bahrain Message-ID: <20141017165424.49061oxpvraezc0w@www.eurosis.org> FIRST CALL FOR PAPERS MESM'2015 The 15th annual Middle Eastern Simulation and Modelling Conference Arab Open University http://www.aou.org.bh Manama, Bahrain March 2-4, 2015 Modelling Methodology Modelling Tools Analysis Methodology Simulation of Networks and Communications Complex Systems Simulation Simulation of Systems and Image Processing Energy Systems Simulation Simulation in the Chemical and Petrochemical Industry Multimedia and Virtual Reality Systems Decision Processing in Management Modelling and Simulation in Biomedical Systems Modelling and Simulation for Industrial Applications Web Based Simulation Simulation in Information Processing and Software Development Computational Cognition and Learning Simulation in Fuzzy Systems Neural Networks and Genetic Algorithms Simulation in the Built Environment Simulation in Archeology Simulation in the Arab World Student Session Tutorials Exhibition Organised by The European Technology Institute and Sponsored by AOU EUROSIS IEEE-UKRI-SPC For latest information see: www.eurosis.org or http://www.eurosis.org/cms/?q=taxonomy/term/360 AIM OF MESM'2015 The MESM'2015 (International Middle Eastern Simulation and Modelling Conference) on Simulation and Modelling is the fourteenth annual conference in the MESM series and is organized by the Arab Open University and members of the European Simulation Society. One of the major aims of this conference is to bring people from various parts of the Middle East in contact with colleagues working in modeling & simulation from around the world (e.g..Europe, USA, Canada, Far East etc.). The other aim is to establish a local technical society in the Middle East and to integrate these into a wider Network of Simulation Excellence. This conference, is sponsored by The Arab Open University, Ghent University, EUROSIS, ETI as well as IEEE UKRI - SPC. All submissions will be peer reviewed by at least three members of the International Program Committee. Accepted papers will be published in the conference Proceedings (both print and electronic format), that will be copyrighted and widely disseminated. All talks and tutorials, must be accompanied by a paper of between three to eight Proceedings pages. CONFERENCE VENUE The conference venue for the 2015 MESM is the Arab Open University, Bahrain Branch (http://www.aou.org.bh) in Aali on the outskirts of Manama, capital of Bahrain. Average temperature for March is between 22 and 26 degrees centigrade More info on: http://en.wikipedia.org/wiki/Bahrain and http://en.wikivoyage.org/wiki/Bahrain Contributions to the technical program are solicited in the following general areas; Modelling Methodology Continuous, discrete and hybrid simulation methodology, Simulation environments, Multi-paradigm simulation, Simulation uncertainty, Simulation visualisation, Integration of simulation and geographical information systems, Object-oriented programming and Languages, Multi-paradigm Languages, Software comparisons. Numerical Methods for Simulation, Mathematical Analysis in Simulation, Parallel Simulation Methodology, Discrete Event Simulation, Simulation Fidelity and Performance Evaluation, Advanced Training and Simulation Concepts for Education, Multiparameter Sequential Optimization Methods in Simulation, Verification, Validation, and Control in Complex Systems Simulation, Distributed and Parallel Systems Simulation, Combined Continuous and Discrete Event Models, Symbol Analysis and Manipulation of Equation-Based Models, Simultaneous vs Modular Simulation Methods, Standardization Issues. Modelling Tools Simulation languages; Object oriented modeling languages; UML and simulation; Model libraries and modularity; Component-oriented simulation; Special simulation tools and environments; Meta-models and automatic model generation; Graphical simulation environments and simulation software tools; Intelligent simulation environments; Database management of models and results; Java and Web enabled simulations, UML and OO Simulation. Analysis Methodology Advanced Input Modeling, Simulation Optimization, Cross Entropy, Output Analysis, Input Modeling, Simulation Optimization, Input Analysis, Difficult Queueing Problems, New Output Analysis. Simulation of Networks and Communication Modeling and simulation of analogue circuits; Modeling and simulation of digital circuits at switch and/or at logic level; Hardware accelerators for circuit-level simulation; Hardware accelerators for logic simulation; Distributed simulation of circuits, components, and systems; Modeling and simulation of computer systems; Fault simulation; Parallel and distributed systems; High-speed networks; Network simulation software; Computer and telecommunication systems; Telecommunication devices and systems; Intelligent telecommunication networks; ISDN; ATM communications. Complex Systems Simulation Design and Simulation, - Process Control and Optimisation, - Information Technology Systems, - Space and Airborne Systems - Communication Networks, - Cybernetics and Control, - Building Engineering and Urban Infrastructures - Nonlinear Systems, Integration of AI Techniques and Simulation, Knowledge Elicitation and Representation for Complex Models, Drawing Understanding and Pattern Recognition, Machine Learning, Neural Networks and Genetic Algorithms, Simulation in Robotics and Automation, Continuous Simulation of Technical Processes, Fuzzy Models in Simulation, Wireless Communication, Mobile Communication Networks, Satellite Communication, LAN and WAN Protocols, Simulation of Switching Equipment, Design and Coding of Communication Handling Software. Simulation of Signal and Image Processing Modelling and simulation are powerful tools in image and signal processing applications. For example, the modelling and simulation of communication networks enable the analysis and evaluation of data communication techniques in a much more time and cost efficient way than field tests. Modelling and simulations are also extensively used in biomedical signal processing to study and predict physical behaviour. Mathematical models such as Markov random fields and optical flows have been successfully used to solve a variety of image processing problems, including image restoration, reconstruction, segmentation, and classification as well as texture analysis. Energy Systems Simulation Simulators: Real-Time simulation methods, GUI, Advanced modelling tools, Trainees' performance evaluation, Simulator Projects Simulation Studies: Simulation during design, Safety and environmental hazard estimation, Production optimisation. Methodology: Real-time simulation and visualisation tools, Parallel and distributed simulation. Simulation in the Chemical and Petrochemical Industry Simulation of Chemical Plants, Flow simulation, Plant control systems, network simulation, geological simulations, drilling simulations, oil transport simulations. Multimedia and Virtual Reality Systems This track covers simulation programmes used in Multimedia and VR systems enhanced simulation Decision Processing in Management Business process engineering and simulation, Simulation in customer-oriented service processes, Decision support systems, Simulation in Finance and Risk Management, Simulation in workflow management, Process mapping and simulation, Simulation of production processes and equipment, Business Information Modeling Methods and Methodologies, UML and UP in Business Modelling, UML and UP for Enterprise Modeling. Modelling and Simulation in Biomedical Systems Topics are biological systems, medical systems and ecosystems with the domain specific topics such as molecular modelling, genetic algorithms in biosystems, fuzzy sets and neural nets in biosystems, physiology, cardiology, anesthesia, cancer, circulatory system, respiratory system, renal system, biomechanics, agricultural production, simulation of global change, ecotechnology and eco-engineering, GIS, population dynamics, etc Simulation of Patient Care,Quality of Service, Hospital Logistics, Simulation of Disease Proliferation, Virtual Reality in Surgical Procedures, Simulating Biological Phenomena and Organs, Simulation as a Tool for Diagnosis, Simulation of Emergency Procedures (Disaster Gaming), General Medical Simulations, Pharmacometric Modelling, Physiological Simulations. Modelling and Simulation for Industrial Applications The application section covers: Automation, CAD/CAM/CAE, Defense Electronics, Design Automation, Simulation in industrial Design, Industrial Engineering, Industrial and Process Simulation, Manufacturing, Simulations, Logistics and Transport, Power Plants, Multibody Systems, Aerospace, etc.. Web based Simulation Web-based Simulation Environments (WSE), Web-based Distributed Interactive Simulation (WDIS) Sharing and reuse of simulation models and tools in WSE, Techniques and Standards for model integration, Communication interoperability in WSE and WDIS, WSE and WDIS applications to education, training and learning, Simulation visualization/animation in WSE and WDIS, Web-based Distributed Simulation (distributed modelling via the Web, Java based, Federated, and so on) Simulation in Information Processing and Software Development in Engineering Topics covered by this track are: Agile Methods, Computer Supported Cooperative Software Engineering, Configuration Management, Dependable and Secure Computing, DevOps and Operations (esp. in Distributed/Cloud Environment), Domain-specific Models and Languages, and Model Driven Development, Domain-specific Applications for Logistics, Finance, Health Care,Manufacturing, Defense etc., Empirical Research in Software Engineering, Engineering Big Data and Analytics Applications, Engineering Cloud Applications, Engineering/operating Large-Scale Distributed Systems, Formal Methods, Knowledge-Based Software Engineering, Legacy Systems, Software Maintenance and Reverse Engineering, Measurement, Metrics, Experimentation, Mobile Computing and Apps Development, Modularisation Techniques, including Component-Based Software Engineering and Aspect-Oriented Programming, Open Source Software Development, Programming Languages and Techniques such as Dynamic Languages, Concurrent and Functional Programming, Quality Assurance, Real-Time and Embedded Software, Requirements Engineering, Service Oriented Architectures and Services Engineering, Software Analysis and Visualisation, Software Architecture, Design and Patterns, Software Documentation, Software Ecosystem and Ultra-Large-Scale Systems, Software Engineering of Multi-Agent Systems, Software Engineering of Services, Software for Internet of Things and Ubiquitous Computing, Software Modelling Approaches, Software Performance Engineering, Software Processes and Quality, Software Project Management and Risk Management, Software Reuse and Product Lines, Software Security, Safety and Reliability, Software Verification and Validation, Usability, Web Applications and REST. Computational Cognition and Learning The computational cognition and learning" (CCL) track covers studies of the computational basis of human learning and inference by using mathematical modeling, computer simulation and behavioral experiments. Aim of such studies is to uncover the basis behind the processing of information. Fields of the CCL track includes Bayesian Networks, Bayesian Estimation, Bayesian Inference, Bayesian Statistics, Conditional Independence, Factor Analysis, Hidden Markov Models, Maximum Likelihood Estimation, Principle Components Analysis, Hebbian Learning, Reinforcement Learning, Model-Based and Model-Free Learning, Sensory Integration and Kalman Filtering. Simulation in Fuzzy Systems Classification, Data analysis, Fault tolerance, Forecasting, Knowledge acquisition, Economics and Finance, Planning, Pre-treatment of data, Process control, Robotics, Speech and image recognition, Web intelligence, involving methodologies such as: Hybrid systems (GA, fuzzy, symbolic representation), Methods or tools for evaluating ANN performance, Reinforcement Learning, Simulation tools (research, education, development). Neural Networks and Genetic Algorithms Neural nets for simulation: modelling of parts (components) of the system simulated by neural networks, evaluation of simulation models using neural nets, decision support in simulation models by neural nets; Simulation of neural nets: systems of pre-designed neural networks, techniques and tools for simulation and programming of neural networks. Expert Controllers and Genetic Algorithms in Simulation, Knowledge Based Simulation Tools, AI and Expert Systems in Simulation. Simulation in the Built Environment The built environment is a complicated and many-faceted energy system encompassing many different yet synergistic energy flow paths. Each flow path changes its own (and hence the system's) characteristics. tics dynamically as time progresses. To accurately model such phenomena a simulation model must take into account all relevant energy subsystems and the interrelationships between them. The areas covered by building simulation models are numerous and varied and include conduction modelling, air/fluid flow modelling, plant side modelling, insulation analysis, lighting studies and building climatic interaction. Simulation in Archaeology Archaeologists commonly use theoretical models, experiments, and observations of the world as it is today to try to explain what happened in the past. They have attempted to explain, for example, why people first began to walk upright and why civilizations that once flourished suddenly collapsed. Good explanations come from well-thought-out theoretical models that propose ways in which the existing archaeological record might have been formed. Explanations can include factors such as environmental changes, demographic shifts (changes in population makeup and size), migrations, and patterns of thought and behavior. In recent years, many archaeologists have begun to use geographic information systems (GIS) to aid in mapping sites. These computer-based systems allow the collection, storage, and manipulation of environmental, geographic, and geologic data, together with archaeological information, in a single database. Using this technology, archaeologists can create maps that simulate different environments and ways in which people might have used land, living space, and material goods. Simulation Projects in the Arab World Roundtable discussion on present projects in the Arab World. If you have a topic proposal feel free to contact Philippe.Geril at eurosis.org WORKSHOPS Workshop proposals may be sent in by the 30th of October 2014 For information on workshops go to: http://www.eurosis.org/cms/index.php?q=node/2934 TUTORIALS Tutorials can be proposed in the following three categories: * T1- Introductory Tutorials * T2- State of the Art Tutorials * T3- Software and Modelware Tutorials Tutorial proposals should be emailed to Philippe.Geril at eurosis.org, by indicating the type of tutorial you would like to suggest. (T1, T2 or T3) before OCTOBER 30, 2014. A confirmation email will be sent to verify that the proposal was received. POSTER SESSION The poster session only features work in progress. Next to the actual poster presentation, these submissions also feature as short papers in the Proceedings. STUDENTS SESSION This session is for students who want to present their work in progress or part of their doctoral thesis as a paper. Student papers are denoted by the fact that only the name of the student appears on the paper as an author. They are published as short papers in the Proceedings. DIVERSE ACTIVITIES For demonstrations or video sessions, please contact EUROSIS. Special session will be set up for vendor presentations in co- ordination with the scientific program. User Group meetings for simulation languages and tools can be organised the day before the conference. If you would like to arrange a meeting, please contact the Conference Chairs. We will be happy to provide a meeting room and other necessary equipment. Partners for projects session(s) will be organised by EUROSIS to give potential project teams or individuals the opportunity to present their research in order to link up with fellow researchers for future research projects. Those wishing to participate in this session need to send a proposal to EUROSIS. A EUROSIS TC Meeting and an EU Project update meeting EXHIBITION A special exhibition will be held during the conference focused on simulation applications. For more information please contact EUROSIS for further details. Email: Philippe.Geril at eurosis.org DEADLINES AND REQUIREMENTS Send all submissions in an ELECTRONIC FORM ONLY in (zipped) Microsoft Word format, or PDF format (preferred format) indicating the designated track and type of submission (full paper or an extended abstract) to the EUROSIS office (Philippe.Geril at eurosis.org). Please provide your name, affiliation, full mailing address, telephone / fax number and Email address on all submissions as well. For submissions please put in the subject of your Email the following indications: MESM'2015 and designated track or USE THE ONLINE SUBMISSION FORM. http://www.eurosis.org/cms/index.php?q=node/2723 Only original papers, which have not been published elsewhere, will be accepted for publication Journal Publication Only accepted and presented extended papers are eligible for journal publication in any of the journals listed here. REGISTRATION FEES Registration Fees Author EUROSIS members Other Participants Pre-registration before February 5, 2015 ? 500 ? 500 ? 555 Registration after February 5, 2015 Pre-registration required ? 545 ? 595 Registration Fees Middle Eastern Participants * Author EUROSIS members Other Participants Pre-registration before February 5, 2015 ? 275 ? 275 ? 325 Registration after February 5, 2015 Pre-registration required ? 325 ? 375 * Are denoted as Middle Eastern Participants, those who are living and working in the countries of the Middle East (University or Private). Furthermore ALL authors should be in a Middle Eastern University or a company based in the Middle East. If some authors are based outside the Middle East the other conference fees apply. Registration Fees AOU/Bahrain Academic Participants ** Author EUROSIS members Other Participants Pre-registration before February 5, 2015 ? 200 ? 200 ? 200 Registration after February 5, 2015 Pre-registration required ? 225 ? 225 ** Are designated as AOU / Bahrain Academic participants, those living in the Middle East and working at an AOU branch the time of the conference or being part of an Bahrain based academic institution at the time of the conference. Furthermore ALL authors should be in an AOU or a Bahrain Academic Institution. If some authors are based outside Bahrain the other conference fees apply. Included in the registration fee: Free entrance to all sessions One copy of the proceedings Free entrance to the exhibition If there are tutorials: free access to a professional development seminar, including material All coffee and tea during the morning and afternoon breaks Lunches during the full conference days The social event for one person, including the conference dinner Authors are expected to register early (at a reduced fee) and to attend the conference at their expense to present the accepted papers. Without early registration and payment, the paper will NOT be published in the conference Proceedings. In the case of multiple authors, one author should be identified as the person who will act as correspondent for the paper. Non-Authors can also register for a one day participation of EUR 350. STUDENTS Western students who are authors, pay a registration of EUR 375. To qualify as a student author you need to send in together with your paper a copy of your student card. Student papers are only accepted as student papers if only the name of the student appears as author of the paper or in the case of multiple authors, all authors should be students. Students who are not authors can participate in the event for EUR 350. Registration Fees Students Author EUROSIS members Other Participants Pre-registration before February 5, 2015 ? 375 ? 375 ? 425 Registration after February 5, 2015 Pre-registration required ? 375 ? 450 GROUPS Authors from the same institution or project can present several papers at the event and will qualify for a special discount. Discounted prices can be requested from Philippe Geril. Prices vary according to submission types and numbers. A group consists of minimum 3 people. SOCIAL PROGRAMME A visit is envisaged to the Bahrain Formula One Circuit http://www.formula1.com/races/in_detail/bahrain_916 PAPER SUBMISSION TYPES FULL PAPER (including abstract, conclusions, diagrams, references- 5-8 pages) During review, the submitted full papers can be accepted as a regular 5 page paper. If excellent, full papers can be accepted by the program committee as an extended (8-page) paper. Each submission will be reviewed by at least three members of the MESM'2015 International Program Committee. EXTENDED ABSTRACT (at least five pages) Participants may also submit a 5 page extended abstract for a regular (5 pages) or short (3 pages) paper or poster, which will be reviewed by the International Program Committee. All accepted papers will be published in the MESM'2015 Conference Proceedings. SHORT ABSTRACT (at least three pages) Participants may also submit a 3-4 page abstract for a short paper or poster, which will be reviewed by the International Program Committee. All accepted papers will be published in the MESM'2015 Conference Proceedings. PLEASE NOTE: ONE (1) PAGE ABSTRACTS ARE NOT ACCEPTED. OUTSTANDING PAPER AWARD The 2015 MESM Conference Committee will select the Outstanding Paper of the Conference. The author of this paper will be awarded a free registration for a EUROSIS conference. Only papers SUBMITTED AS FULL papers will be eligible for the Outstanding Paper Award. LANGUAGE The official conference language for all papers and presentations is English IMPORTANT DEADLINES EARLY BIRD SUBMISSION DEADLINE: November 1, 2014 SUBMISSION DEADLINE: November 30, 2014 LATE SUBMISSION DEADLINE: December 5, 2014 NOTIFICATION OF ACCEPTANCE OR REJECTION: January 10, 2015 Authors provide camera-ready manuscript: February 5, 2015 CONFERENCE AT THE ARAB OPEN UNIVERSITY, BAHRAIN: March 2-4, 2015 REPLY CARD First Name: Surname: Occupation and/or Title: Affiliation: Mailing Address Zip code: City: Country. Telephone: Fax: E-Mail: Yes, I intend to attend the MESM 2015: [ ] Presenting a paper, by submitting a full paper [ ] Presenting a short paper (by submitting an extended abstract) [ ] Participating in the industrial program [ ] Organizing a vendor session [ ] Proposing a panel discussion (please mention names of panellists) [ ] Contributing to the exhibition [ ] Without presenting a paper The provisional title of my paper / exhibited tool is: With the following highlights: The paper belongs to the category (please tick only one): [ ] Modelling Methodology [ ] Modelling Tools [ ] Analysis Methodology [ ] Simulation of Networks and Communications [ ] Complex Systems Simulation [ ] Simulation of Systems and Image Processing [ ] Energy Systems Simulation [ ] Simulation in the Chemical and Petrochemical Industry [ ] Multimedia and Virtual Reality Systems [ ] Decision Processing in Management [ ] Modelling and Simulation in Biomedical Systems [ ] Modelling and Simulation for Industrial Applications [ ] Web Based Simulation [ ] Simulation in Information Processing and Software Development [ ]?Computational Cognition and Learning [ ] Simulation in Fuzzy Systems [ ] Neural Networks and Genetic Algorithms [ ] Simulation in the Built Environment [ ] Simulation in Archeology [ ] Simulation in the Arab World [ ] Poster Session [ ] Student Session [ ] Tutorials [ ] Exhibition Other colleague(s) interested in the topics of the conference is/are: Name: Address: Name: Address: CORRESPONDENCE ADDRESS Philippe Geril EUROSIS-ETI European Simulation Office Greenbridge Science Park Ghent University - Ostend Campus Wetenschapspark 1 Plassendale 1 B-8400 Ostend Belgium Tel: OO32.59.255.330 Fax: OO32.59.255.339 Email: philippe.geril at eurosis.org ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program. From dirk.riehle at fau.de Sat Oct 18 16:59:07 2014 From: dirk.riehle at fau.de (Dirk Riehle) Date: Sat, 18 Oct 2014 16:59:07 +0200 Subject: [fg-arc] =?utf-8?q?Verl=C3=A4ngerung_Einreichungsschluss_Software?= =?utf-8?q?-Engineering-Ideen-Track_der_SE_2015!?= Message-ID: <5442803B.6000606@fau.de> Der Einreichungsschluss zum SEI-Track der deutschen Software-Engineering-Konferenz SE 2015 wurde auf den 15.11.14 verl?ngert! Nutzen Sie jetzt die Chance, in einem spannenden und innovativen Programm mit dabei zu sein! Es folgen weitere Informationen: SE 2015 - SOFTWARE-ENGINEERING-IDEEN-TRACK Aufruf zur Einreichung von Beitraegen fuer den *Software-Engineering-Ideen-Track* der SE 2015 ?nderung der Einreichungsdeadline! Jetzt 15.11.2014! UEBER DIE SE 2015 UND DEN SEI-TRACK Die Software-Engineering-Tagung ist das wichtigste jaehrliche Treffen der Software-Engineering-Community im deutschsprachigen Raum. Ein besonderer Schwerpunkt der SE 2015 ist das Thema "Sichere cyber-physikalische Systeme". Das Ziel des Software-Engineering-Ideen-Tracks ist, ein Forum fuer die Praesentation von vielversprechenden Ideen und Innovationen im Bereich des Software-Engineering bereitzustellen, welche noch nicht vollstaendig implementiert oder evaluiert wurden. Die Beitraege koennen eine Forschungsidee, erste Resultate einer Dissertation oder eine formativ durchgefuehrte Fallstudie praesentieren, wobei der Bezug auf ein zukuenftiges Forschungsfeld, ein neuartiges Werkzeug, eine neue Methode oder die neuartige Zusammenarbeit mit anderen Disziplinen erkennbar sein sollte. MOEGLICHE EINREICHUNGEN Fuer das SEI-Programm koennen Beitraege zu folgenden Bereichen eingereicht werden: - Innovative Forschungsideen fuer das Software-Engineering - Neuartige Plattformen, Rahmenwerke oder Werkzeuge - Systeme, die eine neuartige Technologie verwenden - Neue Projektmanagement- oder Prozesstechniken - Fallstudien oder Verlaufsberichte ueber Innovationsprojekte - Forschungsideen fuer interdisziplinaere Projekte - Agenden fuer neue Forschungsbereiche Weitere nicht genannte Bereiche sind denkbar; im Zweifelsfall fragen Sie bitte den Vorsitzenden des Software-Engineering-Ideen-Tracks. Beitraege koennen bis zu 6 Seiten im LNI-Format umfassen. Akzeptierte Beitraege werden in den Tagungsband der SE 2015 aufgenommen. Es wird erwartet, dass sich bei Annahme mindestens ein Autor/eine Autorin als Teilnehmer zur Konferenz registriert und den Beitrag im SEI-Track vorstellt. EINREICHUNG Bitte reichen Sie Beitraege ueber EasyChair ein und waehlen Sie dabei den Software-Engineering-Ideen Track aus: https://easychair.org/conferences/?conf=se2015 WICHTIGE DATEN - 15.11.2014 (war: 19.10.2014): Einreichungsschluss fuer Beitraege - 15.12.2014 (war: 15.11.2014): Benachrichtigung zu Einreichungen - 12.01.2015 (war: 28.11.2014): Abgabe der endgueltigen Version - 18.03.2015: SEI-Track auf der SE-2015 PROGRAM-KOMITEE Uwe Assmann, Technische Universitaet Dresden (Co-chair) Bernd Bruegge, Technische Universitaet Muenchen Sebastian Goetz, Technische Universitaet Dresden Matthias Grund, andrena objects AG Detlef Kips, develop group, Erlangen Horst Lichter, RWTH Aachen University Norbert Oster, Friedrich-Alexander-Universitaet Erlangen-Nuernberg Barbara Paech, Universitaet Heidelberg Dirk Riehle, Friedrich-Alexander-Universitaet Erlangen-Nuernberg (Co-chair) Tobias Roehm, Technische Universitaet Muenchen Holger Schlingloff, Fraunhofer FOKUS und Humboldt-Universitaet zu Berlin Kurt Schneider, Leibniz Universitaet Hannover -- Prof. Dr. Dirk Riehle, Friedrich-Alexander-University Erlangen-N?rnberg Open Source Research Group, Applied Software Engineering Web: http://osr.cs.fau.de, Email: dirk.riehle at fau.de Cell phone: +49 157 8153 4150 or +1 650 450 8550 From pmt6sbc at maths.leeds.ac.uk Wed Oct 22 22:42:37 2014 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Wed, 22 Oct 2014 21:42:37 +0100 (BST) Subject: [fg-arc] CiE 2015: Evolving Computability, Bucharest, June 29 - July 3, 2015 Message-ID: <201410222042.s9MKgbLb025782@maths.leeds.ac.uk> 1st CALL FOR PAPERS: COMPUTABILITY IN EUROPE 2015: Evolving Computability Bucharest, Romania June 29 - July 3 http://fmi.unibuc.ro/CiE2015/ IMPORTANT DATES: Submission Deadline for LNCS: 11 January 2015 Notification of authors: 9 March 2015 Deadline for final revisions: 6 April 2015 CiE 2015 is the 11th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013) and Budapest (2014). Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research. In all cases we are looking for fundamental and theoretical submissions. In line with other conferences in this series, CiE 2015 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. We particularly invite papers that build bridges between different parts of the research community. For topics covered by the conference, please visit http://fmi.unibuc.ro/CiE2015/topics.html TUTORIAL SPEAKERS * John Reif (Duke Unversity) * Steve Simpson (Pennsylvania State University) CONFIRMED PLENARY SPEAKERS * Ann Copestake (University of Cambridge) * Mircea Dumitru (University of Bucharest, Public Lecture) * Pawel Gawrychowski (Max-Planck-Institut fuer Informatik) * Julia Knight (University of Notre Dame) * Anca Muscholl (Universite Bordeaux) * Gheorghe Paun (Romanian Academy) * Alexander Razborov (University of Chicago and Steklov Mathematical Institute) * Vlatko Vedral (University of Oxford) SPECIAL SESSIONS on * Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks) * Automata, logic and infinite games (Organizers: Dietmar Berwanger and Ioana Leustean) * Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone) * Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp) * Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik) * History and philosophy of computing (Organizers: Christine Proust and Marco Benini) The PROGRAMME COMMITTEE consists of: * Marat Arslanov (Kazan) * Jeremy Avigad (Pittsburgh) * Veronica Becher (Buenos Aires) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Alessandra Carbone (Paris) * Gabriel Ciobanu (Iasi) * S Barry Cooper (Leeds) * Laura Crosilla (Leeds) * Liesbeth De Mol (Ghent) * Walter Dean (Warwick) * Volker Diekert (Stuttgart) * Damir Dzhafarov (Storrs, Connecticut) * Peter van Emde Boas (Amsterdam) * Rachel Epstein (Harvard) * Johanna Franklin (Hempstead, NY) * Neil Ghani (Glasgow) * Joel David Hamkins (New York) * Rosalie Iemhoff (Utrecht) * Emmanuel Jeandel (LORIA) * Natasha Jonoska (Tampa, FL) * Antonina Kolokolova (St.John's, NL) * Antonin Kucera (Prague) * Oliver Kutz (Magdeburg) * Benedikt Loewe (Hamburg & Amsterdam) * Jack Lutz (Ames, IA) * Florin Manea (Kiel) * Alberto Marcone (Udine) * Radu Mardare (Aalborg) * Joe Miller (Madison, WI) * Russell Miller (Flushing, NY) * Mia Minnes (La Jolla, CA) * Victor Mitrana (Bucharest, co-chair) * Ian Pratt-Hartmann (Manchester) * Dag Normann (Oslo) * Mehrnoosh Sadrzadeh (London) * Anne Smith (St Andrews) * Mariya Soskova (Sofia, co-chair) * Susan Stepney (York) * Paul Spirakis (Patras & Liverpool) * Jacobo Toran (Ulm) * Marius Zimand (Towson, MD) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2015. The submission site https://www.easychair.org/conferences/?conf=cie2015 is open. For submission instructions consult http://fmi.unibuc.ro/CiE2015/submission.html The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. ____________________________________________________________________ CiE 2015 http://fmi.unibuc.ro/CiE2015/ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE Membership Application Form http://www.lix.polytechnique.fr/CIE Computability (Journal of CiE) http://www.computability.de/journal/ CiE on FaceBook https://www.facebook.com/AssnCiE Association CiE on Twitter https://twitter.com/AssociationCiE From fsen2015 at ipm.ir Sun Oct 26 04:20:08 2014 From: fsen2015 at ipm.ir (Marjan Sirjani) Date: Sat, 25 Oct 2014 23:20:08 -0400 Subject: [fg-arc] FSEN 2015 Deadline Extension Message-ID: <544C6868.7030401@ipm.ir> Our apologies if you have received multiple copies. ###################################################################### #### DEADLINE EXTENDED: Abstract: (Nov. 7) , Paper: (Nov. 14) ###################################################################### ###################################################################### FSEN 2015: FINAL CALL FOR PAPERS Sixth International Conference on Fundamentals of Software Engineering 2015 Theory and Practice (FSEN '15) http://fsen.ir/2015 Tehran, Iran 22 - 24 April, 2015 ###################################################################### -- 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. -- Important Dates -- Abstract Submission: November 7, 2014 Paper Submission: November 14, 2014 Notification: December 26, 2014 Camera Ready: January 16, 2015 Conference: April 22-24, 2015 -- Keynote Speakers -- Holger Giese, Hasso Plattner Institute, Germany John Hughes, Chalmers University of Technology, Sweden Paola Inverardi, University of L'Aquila, Italy -- 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, and not be submitted simultaneously for publication elsewhere. Papers will be evaluated based on originality, significance, relevance, correctness and clarity. -- Proceedings and Special Issues -- The post-proceedings of FSEN'15 will be published by Springer Verlag in the LNCS series (official approval in process). There will also be a pre-proceeding, printed locally by IPM, available at the conference. Following the tradition of the past editions, we plan to have a special issue of Science of Computer Programming journal devoted to FSEN'15 (to be confirmed). -- 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 - Reykjav?k University, Iceland; University of Tehran, Iran -- Publicity Chair -- Hossein Hojjat - Cornell University, 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 - Reykjavik University, Iceland; University of Tehran, Iran (chair) Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands -- Program Committee -- Mohammad Abdollahi Azgomi - Iran University of Science and Technology, Iran Christel Baier - TU Dresden, Germany Ezio Bartocci, Vienna University of Technology, Austria Borzoo Bonakdarpour - University of Waterloo, Canada Marcello Bonsangue - Leiden University, Netherlands Mario Bravetti - University of Bologna, Italy Fabiano Dalpiaz - Utrecht University, Netherlands Mehdi Dastani - Utrecht University, Netherlands Erik De Vink - Technical University of Eindhoven, Netherlands Klaus Dr?ger - University of Oxford, UK Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands 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 Hossein Hojjat - Cornell University, USA Mohammad Izadi - Sharif University of Technology, Iran Mohammad Mahdi Jaghoori - CWI, Netherlands; Academic Medical Center of University of Amsterdam, Netherlands Einar Broch Johnsen - University of Oslo, Norway Joost-Pieter Katoen - RWTH Aachen University, Germany Narges Khakpour - KTH, Sweden Ramtin Khosravi - University of Tehran, Iran Zhiming Liu - Birmingham City University, UK 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 Jose Proenca - K.U.Leuven, Belgium Niloofar Razavi - University of Toronto, Canada Philipp Ruemmer - Uppsala University, Sweden Gwen Salaun - Grenoble INP, Inria, France Cesar Sanchez - IMDEA Software Institute, Spain Wendelin Serwe - INRIA, France Marjan Sirjani - Reykjavik University, Iceland Meng Sun - Peking University, China Carolyn Talcott - SRI International, USA Samira Tasharofi - Microsoft, USA Tayssir Touili - LIAFA, France Danny Weyns - Linnaeus University, Sweden From klaus.havelund at jpl.nasa.gov Sun Oct 26 15:26:49 2014 From: klaus.havelund at jpl.nasa.gov (Klaus Havelund) Date: Sun, 26 Oct 2014 07:26:49 -0700 Subject: [fg-arc] [fm-announcements] NFM 2015 - final call for papers Message-ID: CALL FOR PAPERS The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 ? 29 April 2015 Pasadena, California, USA Paper Submission: *** 10 Nov 2014 *** THEME The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA such systems include for example autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property-based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other mission- and safety-critical systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal verification techniques with advances in critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages and carrying throughout system development. TOPICS Topics of interest include, but are not limited to: Model checking Theorem proving SAT and SMT solving Symbolic execution Static analysis Runtime verification Program refinement Compositional verification Modeling and specification formalisms Model-based development Model-based testing Requirement engineering Formal approaches to fault tolerance Security and intrusion detection Applications of formal methods to aerospace systems Applications of formal methods to cyber-physical systems Applications of formal methods to human-machine interaction analysis INVITED SPEAKERS Dino Distefano Software Engineer at Facebook, California, USA and Professor at Queen Mary University of London, UK. Viktor Kuncak Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland. Rob Manning Chief Engineer at NASA/JPL. IMPORTANT DATES Paper Submission: 10 Nov 2014 Paper Notifications: 12 Jan 2015 Camera-ready Papers: 9 Feb 2015 Symposium: 27 ? 29 April 2015 LOCATION AND COST The symposium will take place at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015. There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to submit, to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. SUBMISSION DETAILS There are two categories of submissions: - Regular papers describing fully developed work and complete results (15 pages) - Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results (6 pages) All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer?s Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format. PC CHAIRS Klaus Havelund, NASA Jet Propulsion Laboratory Gerard Holzmann, NASA Jet Propulsion Laboratory Rajeev Joshi, NASA Jet Propulsion Laboratory PROGRAMME COMMITTEE Erika Abraham, RWTH Aachen University, Germany Julia Badger, NASA Johnson Space Center, USA Christel Baier, Technische Universit?t Dresden, Germany Saddek Bensalem, VERIMAG/UJF, France Dirk Beyer, University of Passau, Germany Armin Biere, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Borzoo Bonakdarpour, McMaster University, Canada Alessandro Cimatti, Fondazione Bruno Kessler, Italy Leonardo de Moura, Microsoft Research, USA Ewen Denney, NASA Ames Research Center, USA Ben Di Vito, NASA Langley Research Center, USA Dawson Engler, Stanford University, USA Jean-Christophe Filliatre, Universit? Paris-Sud, France Dimitra Giannakopoulou, NASA Ames Research Center, USA Alwyn Goodloe, NASA Langley Research Center, USA Susanne Graf, VERIMAG, France Alex Groce, Oregon State University, USA Radu Grosu, Vienna University of Technology, Austria John Harrison, Intel Corporation, USA Mike Hinchey, University of Limerick/Lero, Ireland Bart Jacobs, University of Leuven, Belgium Sarfraz Khurshid, The University of Texas at Austin, USA Gerwin Klein, NICTA, Australia Daniel Kroening, Oxford University, UK Orna Kupferman, Hebrew University Jerusalem, Israel Kim Larsen, Aalborg University, Denmark Rustan Leino, Microsoft Research, USA Martin Leucker, University of Lubeck, Germany Rupak Majumdar, Max Planck Institute, Germany Pete Manolios, Northeastern University, USA Peter Mueller, ETH Zurich, Switzerland Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA Corina Pasareanu, NASA Ames Research Center, USA Doron Peled, Bar Ilan University, Israel Suzette Person, NASA Langley Research Center, USA Andreas Podelski, University of Freiburg, Germany Grigore Rosu, University of Illinois, USA Kristin Yvonne Rozier, NASA Ames Research Center, USA Natarajan Shankar, SRI International, USA Natasha Sharygina, University of Lugano, Switzerland Scott Smolka, Stony Brook University, USA Willem Visser, University of Stellenbosch, South Africa Mahesh Viswanathan, University of Illinois, USA Mike Whalen, University of Minnesota, USA Jim Woodcock, University of York, UK STEERING COMMITTEE Julia Badger, NASA Johnson Space Center Ewen Denney, NASA Ames Research Center Ben Di Vito, NASA Langley Research Center Klaus Havelund, NASA Jet Propulsion Laboratory Gerard Holzmann, NASA Jet Propulsion Laboratory Cesar Munoz, NASA Langley Research Center Corina Pasareanu, NASA Ames Research Center Suzette Person, NASA Langley Research Center Kristin Yvonne Rozier, NASA Ames Research Center --- -------------- 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