From matt.selway at mymail.unisa.edu.au Thu Jul 3 05:59:33 2014 From: matt.selway at mymail.unisa.edu.au (Selway, Matt Ryan - selmr001) Date: Thu, 3 Jul 2014 03:59:33 +0000 Subject: [fg-arc] EDOC 2014: Call for Participation Message-ID: <72f91529db1f401b8798a4f68e88d96c@SIXPR01MB128.apcprd01.prod.exchangelabs.com> EDOC 2014 *Call for Participation* The 18th IEEE International EDOC Conference (EDOC 2014) "The Enterprise Computing Conference" Main Theme: Utilizing Big Data for Enterprise of the Future Ulm, Germany September 1-5, 2014 http://www.edoc2014.org/ Follow EDOC2014 on Twitter: https://twitter.com/ieee_edoc We invite you to participate in the 18th IEEE International EDOC Conference (EDOC 2014). Registration is now open on the EDOC 2014 web site: http://www.edoc2014.org/2014-05-23-15-27-56/registration-system The deadline for *early* registration is July 21, 2014 Regular registration from July 22 - August 25, 2014 Some highlights from the program: Keynote 1: Wil van der Aalst, Technische Universiteit Eindhoven "Process Mining as the Superglue Between Data Science and Enterprise Computing" Keynote 2: Heiko Ludwig, IBM "Managing Big Data Effectively - A Cloud Provider and a Cloud Consumer Perspective" Keynote 3: Barbara Weber, University of Innsbruck "Investigating the Process of Process Modeling: Towards an In-depth Understanding of How Process Models are Created" The entire conference program is available on the EDOC 2014 web site: http://www.edoc2014.org/2014-02-21-10-59-37/program or http://t.co/zqHDrNNzHs About the Conference IEEE EDOC 2014 is the eighteenth conference in a series that provides the key forum for researchers and practitioners in the field of enterprise computing. EDOC conferences address the full range of models, methodologies, and engineering technologies contributing to intra- and inter-enterprise application systems. Since 1997, EDOC has brought together leading computer scientists, IT decision makers, enterprise architects, solution designers, and practitioners to discuss enterprise computing challenges, models and solutions from the perspectives of academia, industry, and government. The IEEE EDOC conference series emphasizes a holistic view on enterprise applications engineering and management, fostering integrated approaches that address and relate business processes, people and technology. Topics The IEEE EDOC conference presents high-quality contributions addressing the domains, life-cycle issues, and realization technologies involved in building, deploying and operating enterprise computing systems. Some areas are: * Enterprise Architecture and Enterprise Application Architecture * Model-Based Approaches * Service-Oriented Architectures (SOA) and Enterprise Service Architectures (ESA) * Governance in Service-Oriented Architectures * Business Process Management (BPM) * Business Analytics * Business Rules * Information Integration and Interoperability * Networked Enterprise Solutions * Enterprise Applications Deployment and Governance * Emerging Trends in Distributed Enterprise Applications -------------- next part -------------- An HTML attachment was scrubbed... URL: From aali at ltu.edu Wed Jul 2 23:12:30 2014 From: aali at ltu.edu (Ahad Ali) Date: Wed, 02 Jul 2014 17:12:30 -0400 Subject: [fg-arc] IEOM 2015 Sponsored by IEEE and INFORMS and IEOM Chapters Message-ID: <009ea61983d54f43a4ffec4a236524a7@ltu.edu> IEOM 2015 Sponsored by IEEE and INFORMS and IEOM Chapters Dear Colleagues: The IEOM 2015 Dubai Conference is sponsored by IEEE and INFORMS will be held at Hyatt Regency Dubai - March 3-5, 2015. Our IEOM Society is delighted to receive IEEE sponsorship. All conference papers will be published in full in the IEEE Xplore and indexed. Please submit your paper(s) now using the IEEE format. Online Paper/Abstract Submission Link: www.xcdsystem.com/ieom2015/ IEOM Society is establishing professional and students chapters around globe. If you are interested in serving as a country representative and /or establishing local professional / student chapter, please let us know at ieom-society at iieom.org. We encourage you to join and to become an active Member of the IEOM Society. The Membership application is available online: http://iieom.org/ieom/membership/. The IEOM Society has provided Conference details of keynote speakers, global engineering education, industry solutions, operations excellence, poster sessions, capstone student paper competitions, student paper completion and many more on the society website: www.iieom.org. Submit your technical paper / abstract as early as possible. We are looking for speakers for the sessions on Global Engineering Education and Industry Solutions as well as technical paper/abstract submissions. If you are interested, please provide a short summery of the presentation, and bio at conference at iieom.org. All presentations of global engineering education and industry solutions will be published in the Conference CDROM proceedings. We appreciate your interest in IEOM Society. Regards, Board of Directors IEOM Society www.iieom.org Join IEOM Society as Member online: http://iieom.org/ieom/membership/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From lina.ye at inria.fr Fri Jul 4 14:27:11 2014 From: lina.ye at inria.fr (lina.ye at inria.fr) Date: Fri, 4 Jul 2014 14:27:11 +0200 (CEST) Subject: [fg-arc] Call for Participation: SEFM 2014 Message-ID: <201407041227.s64CRBOg003367@ubac.inrialpes.fr> Our apologies if you have received multiple copies. ************************************* * Call for Participation * ************************************* 12th International Conference on Software Engineering and Formal Methods Grenoble, France September 1-5, 2014 http://sefm2014.inria.fr/ ************************************* ***** Dates ***** - Workshops: September 1-2, 2014 - Conference: September 3-5, 2014 ***** Keynote Speakers ***** - Xavier Leroy "Formal proofs of code generation and verification tools" (9:00-10:00, Spetember 3, 2014) - Joost-Pieter Kaoten "Model Checking Gigantic Markov Models" (9:00-10:00, Spetember 4, 2014) - Patrice Godefroid "500 Machine-Years of Software Model Checking and SMT Solving" (9:00-10:00, Spetember 5, 2014) ***** Conference Program ***** Eight exciting sessions of best research & practice papers presenting current researches and applications of software engineering and formal methods. For more details, please check http://sefm2014.inria.fr/program/ ***** Worshops ***** Five colocated workshops gathering both local and international, academic and industrial professionals, for promising discussions - HOFM 2014: Human-Oriented Formal Methods 2014 (September 1, 2014) - MoKMaSD 2014 : 3RD INTERNATIONAL SYMPOSIUM ON Modelling and Knowledge Management applications : Systems and Domains (September 2, 2014) - OpenCert 2014 : 8th International Workshop on Foundations and Techniques for Open Source Software Certification (September 1, 2014) - SaFoMe 2014 : 1st International Workshop on Safety and Formal Methods (September 1, 2014) - WS-FMDS 2014 : 4th Workshop on Formal Methods in the Development of Software (September 2, 2014) For more details, please see http://sefm2014.inria.fr/workshops/ ***** Registration Fees ***** Early Registration: Up to 20 July, 2014 - workshop 1 day: 70 (student); 90 (full) - workshop 2 days: 130 (student); 160 (full) - conference: 330 (student); 370 (full) Late Registration: From 21 July, 2014 - workshop 1 day: 100 (student); 120 (full) - workshop 2 days: 160 (student); 190 (full) - conference: 380 (student); 420 (full) Register Now at http://sefm2014.inria.fr/registration/ ************************************* From lina.ye at inria.fr Fri Jul 4 17:11:09 2014 From: lina.ye at inria.fr (lina.ye at inria.fr) Date: Fri, 4 Jul 2014 17:11:09 +0200 (CEST) Subject: [fg-arc] ACM SAC 2015: Software Verification and Testing Track - Second CfP Message-ID: <201407041511.s64FB9RJ013386@ubac.inrialpes.fr> ================================================== 30th Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 13 - 17, 2015, Salamanca, Spain More information: http://fmt.cs.utwente.nl/conferences/sac-svt2015/ and http://www.acm.org/conferences/sac/sac2015/ =================================================== Important dates --------------- * September 12, 2014: Submission of regular papers * November 17, 2014: Notification of paper acceptance/rejection * December 8, 2013: Camera-ready copies of accepted papers ACM Symposium on Applied Computing ---------------------------------- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-nine years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2015 is sponsored by SIGAPP and will be held at the UNESCO world heritage city of Salamanca in Spain. Software Verification and Testing Track --------------------------------------- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - model checking - theorem proving - correct by construction development - model-based testing - verification-based testing - symbolic execution - static and run-time analysis - abstract interpretation - analysis methods for dependable systems - software certification and proof carrying code - fault diagnosis and debugging - verification of large scale software systems - real world applications and case studies applying software verification Submissions Guidelines ---------------------- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: http://www.acm.org/conferences/sac/sac2015/Paper-SubmissionUploadPage.htm Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2015 proceedings. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM/IEEE digital library. No-show of scheduled papers and posters will result in excluding them from the ACM/IEEE digital library. A special issue of Science of Computer Programming has been confirmed. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of Science of Computer Programming. Student Research Competition ---------------------------- As before, SAC 2015 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.acm.org/conferences/sac/sac2015/. Submission to the SRC program should be in electronic form via the following website http://www.acm.org/conferences/sac/sac2015/SRC-SubmissionUploadPage.htm Program Committee ----------------- Laura Brandan Briones, National University of Cordoba, Argentina Maximiliano Cristi?, Universidad Nacional de Rosario, Argentina Marco Faella, University of Naples, Italy Ylies Falcone, University of Grenoble Alpes, France Tingting Han, University of London, UK Fabrice Kordon, University Pierre et Marie Curie, France Stefan Leue, University of Konstanz, Germany Shaoying Liu, Hosei University, Japan Malte Lochau, Darmstadt University, Germany Annabelle McIver, Macquarie University, Australia Mercedes Merayo, Universidad Complutense de Madrid, Spain Dominique Mery, University of Lorraine, France Mohammad Mousavi, Halmstad University, Sweden Brian Nielsen, Aalborg University, Denmark Jun Pang, University of Luxembourg, Luxembourg Corina Pasareanu, NASA Ames, USA Wishnu Prasetya, Utrecht University, The Netherlands Marjan Sirjani, Reykjavik University, Iceland Hasan S?zer, ?zyegin University, Turkey Tanja Vos, Valencia University, Spain Anton Wijs, Eindhoven University of Technology, The Netherlands Liu Yang, Nanyang Technological University, Singapore Gianluigi Zavattaro, University of Bologna, Italy Lijun Zhang, Chinese Academy of Sciences, China Program Committee Chairs ----------------- Gwen Sala?n, University of Grenoble Alpes, France Marielle Stoelinga, University of Twente, Netherlands From zimmer at informatik.uni-halle.de Mon Jul 7 19:17:43 2014 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Mon, 07 Jul 2014 19:17:43 +0200 Subject: [fg-arc] CfP: PhD Symposium of the Third European Conference on Service-Oriented and, Cloud Computing (ESOCC 2014 Message-ID: <53BAD637.2080204@informatik.uni-halle.de> PhD Symposium of the Third European Conference on Service-Oriented and Cloud Computing (ESOCC 2014), 2-4 September 2014, Manchester, UK. The ESOCC 2014 PhD Symposium is an international forum for PhD students working in any of the areas addressed by the ESOCC conference. The main aim of the Symposium is to give PhD students an opportunity to present their research activity and perspectives, to critically discuss them with other PhD students and with established researchers in the area, and to get fruitful feedback and advices on their research activity. PhD students working in any area addressed by the ESOCC conference can submit a short report providing a clear statement of the problem they intend to address, motivating the interest and novelty of the underlying research challenges, demonstrating the ideas by examples, and describing the proposed research plan and expected results. Reports should not exceed 6 pages formatted according to the LNCS proceedings guidelines. The papers should be authored by the PhD student and indicate the name of her/his supervisor. Papers will be peer-reviewed by members of the program committee and have to be submitted by August 1, 2014 using EasyChair (https://www.easychair.org/conferences/?conf=esocc2014phds). For any problem regarding the submission process, send an email to esocc2014phds at easychair.org. Important Dates: Submission: 1 August 2014 Notification: 15 August 2014 Final version: 22 August 2014 ESOCC Conference: 2-4 September 2014 More Information: http://esocc2014.cs.manchester.ac.uk/ From uwe at ims.uni-stuttgart.de Mon Jul 7 12:03:06 2014 From: uwe at ims.uni-stuttgart.de (Uwe Reyle) Date: Mon, 7 Jul 2014 12:03:06 +0200 Subject: [fg-arc] INFORMATIK 2014 Message-ID: Apologies for multiple postings! Call for Participation INFORMATIK 2014 22-26 Sept 2014 Stuttgart, Germany http://www.informatik2014.de The largest annual Computer Science conference in Germany meets in Stuttgart, Germany, on September 22 - 26, 2014. Two theme days focus on managing complexity and on Big Data. 10 renowned keynote speakers address the themes from their industrial and scientific perspectives. ? Michael Gorriz, Daimler AG ? Dirk Wittkopp, IBM Deutschland Research & Development GmbH ? Johannes Helbig, Soa-Innovation-Lab ? Karsten Schweichhart, Deutsche Telekom AG ? Manfred Broy, Technische Universit?t M?nchen ? Karl-Heinz Streibich, Software AG ? Peter Schaar, European Academy for Freedom of Information and Data Protection ? Stefan Wrobel, University of Bonn and Fraunhofer IAIS ? Gerhard Weikum, Max-Planck-Institute for Informatics and Saarland University ? Peter Sanders, Karlsruhe Institute for Technology 34 workshops, 8 tutorials and 4 associated conferences add to an overall program, where attendees can pick and choose their favorite topics across all the co-located events for a single conference fee. The associated conferences are: ? KI 2014, 37th German Conference on Artificial Intelligence ? MATES 2014, 12th German Conference On Multiagent System Technologies ? Integrata-Kongress 2014, Privacy in the E-Society ? SKILL 2014, Student Conference Informatik 2014 Details about program, venue, accommodations and registration are found on www.informatik2014.de The early registration rates expire on July 18th. Some events have limited capacity. Early registration is highly advisable. Check it out today! -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CfP_GI-JT_Informatik_2014_engl_V1.0.pdf Type: application/pdf Size: 89024 bytes Desc: not available URL: From grlmc at urv.cat Sat Jul 12 17:16:44 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 12 Jul 2014 17:16:44 +0200 Subject: [fg-arc] TPNC 2014: extended submission deadline 24 July Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: July 24 ***** ---------------------------------------------------------------------------- **************************************************************************** ************ 3rd INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2014 Granada, Spain December 9-11, 2014 Organized by: Soft Computing and Intelligent Information Systems (SCI2S) University of Granada Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/tpnc2014/ **************************************************************************** ************ AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2014 will reserve significant room for young scholars at the beginning of their career. It aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2014 will take place in Granada, in the region of Andaluc?a, to the south of Spain. The city is the seat of a rich Islamic historical legacy, including the Moorish citadel and palace called Alhambra. SCOPE: Topics of either theoretical, experimental, or applied interest include, but are not limited to: * Nature-inspired models of computation: - amorphous computing - cellular automata - chaos and dynamical systems based computing - evolutionary computing - membrane computing - neural computing - optical computing - swarm intelligence * Synthesizing nature by means of computation: - artificial chemistry - artificial immune systems - artificial life * Nature-inspired materials: - computing with DNA - nanocomputing - physarum computing - quantum computing and quantum information - reaction-diffusion computing * Information processing in nature: - developmental systems - fractal geometry - gene assembly in unicellular organisms - rough/fuzzy computing in nature - synthetic biology - systems biology * Applications of natural computing to: algorithms, bioinformatics, control, cryptography, design, economics, graphics, hardware, learning, logistics, optimization, pattern recognition, programming, robotics, telecommunications etc. A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2014 will consist of: - invited talks - peer-reviewed contributions INVITED SPEAKERS: Kalyanmoy Deb (East Lansing, US), Multi-Criterion Problem Solving: A Niche for Natural Computing Methods Marco Dorigo (Brussels, BE), Swarm Intelligence Francisco Herrera (Granada, ES), Bioinspired Real Parameter Optimization: Where We Are and What?s Next PROGRAMME COMMITTEE: Hussein A. Abbass (Canberra, AU) Uwe Aickelin (Nottingham, UK) Thomas B?ck (Leiden, NL) Christian Blum (San Sebasti?n, ES) Jinde Cao (Nanjing, CN) Vladimir Cherkassky (Minneapolis, US) Sung-Bae Cho (Seoul, KR) Andries P. Engelbrecht (Pretoria, ZA) Terence C. Fogarty (London, UK) Fernando Gomide (Campinas, BR) Inman Harvey (Brighton, UK) Francisco Herrera (Granada, ES) Tzung-Pei Hong (Kaohsiung, TW) Thomas Jansen (Aberystwyth, UK) Yaochu Jin (Guildford, UK) Okyay Kaynak (Istanbul, TR) Satoshi Kobayashi (Tokyo, JP) Soo-Young Lee (Daejeon, KR) Derong Liu (Chicago, US) Manuel Lozano (Granada, ES) Carlos Mart?n-Vide (Tarragona, ES, chair) Ujjwal Maulik (Kolkata, IN) Risto Miikkulainen (Austin, US) Frank Neumann (Adelaide, AU) Leandro Nunes de Castro (S?o Paulo, BR) Erkki Oja (Aalto, FI) Lech Polkowski (Warsaw, PL) Brian J. Ross (St. Catharines, CA) Marc Schoenauer (Orsay, FR) Biplab Kumar Sikdar (Shibpur, IN) Dipti Srinivasan (Singapore, SG) Darko Stefanovic (Albuquerque, US) Umberto Straccia (Pisa, IT) Thomas St?tzle (Brussels, BE) Ponnuthurai N. Suganthan (Singapore, SG) Johan Suykens (Leuven, BE) El-Ghazali Talbi (Lille, FR) Jon Timmis (York, UK) Fernando J. Von Zuben (Campinas, BR) Michael N. Vrahatis (Patras, GR) Xin Yao (Birmingham, UK) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Garc?a-Mart?nez (C?rdoba) Carlos Mart?n-Vide (Tarragona, co-chair) Manuel Lozano (Granada, co-chair) Francisco Javier Rodr?guez (Granada) 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 the 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=tpnc2014 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 Soft Computing (Springer, 2012 JCR impact factor: 1.124) 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 April 5 to December 9, 2014. The registration form can be found at: http://grammars.grlmc.com/tpnc2014/Registration.php DEADLINES: Paper submission: July 24, 2014 (23:59h, CET) ? EXTENDED ? Notification of paper acceptance or rejection: August 24, 2014 Final version of the paper for the LNCS proceedings: September 7, 2014 Early registration: September 7, 2014 Late registration: November 25, 2014 Submission to the post-conference journal special issue: March 11, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: TPNC 2014 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: Universidad de Granada Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From msteffen at ifi.uio.no Tue Jul 15 13:26:50 2014 From: msteffen at ifi.uio.no (Martin Steffen) Date: Tue, 15 Jul 2014 13:26:50 +0200 Subject: [fg-arc] CFP FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo Message-ID: <20140715112650.F15DC1426@nittedal.ifi.uio.no> --------------------------=== FM 2015 ===---------------------------- 20th International Symposium on Formal Methods Oslo, Norway, June 22-26, 2015 http://fm2015.ifi.uio.no/ Call for Papers --------------------------------------------------------------------- IMPORTANT DATES: Jan 2 Abstract submission deadline Jan 9 Full paper submission deadline March 23 Notification June 22-26 Conference ------------------------------------------------------------------------- CALL FOR PAPERS FM 2015 is the twentieth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. The FM symposia welcome original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. SCOPE AND TOPICS FM 2015 will have the goal of highlighting the development and application of formal methods. This includes uses of formal methods in a variety of disciplines such as medicine, biology, human cognitive modeling, human automation interactions and aeronautics, among others. FM 2015 particularly welcomes papers on techniques, tools and experiences in interdisciplinary frameworks, as well as on experience with practical applications of formal methods in industrial and research settings, empirical and experimental validation of tools and methods as well as construction and evolution of formal methods tools. The broad topics of interest for FM 2015 include but are not limited to: Interdisciplinary formal methods: techniques, tools and experiences demonstrating formal methods in interdisciplinary frameworks. Formal methods in practice: industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome problems, lead to improvements in design or provided new insights. Tools for formal methods: advances in automated verification and model-checking, integration of tools, environments for formal methods, experimental validation of tools. Authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. Role of formal methods in software and systems engineering: development processes with formal methods, usage guidelines for formal methods, method integration. Authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. Theoretical foundations: all aspects of theory related to specification, verification, refinement, and static and dynamic analysis. Authors are encouraged to explain how their results contribute to the solution of practical problems with methods or tools. CONFIRMED KEYNOTE SPEAKERS Elvira Albert, Complutense University of Madrid, Spain Werner Damm, Carl von Ossietzky Universitaet Oldenburg, DE Valerie Issarny, INRIA, France Leslie Lamport, Microsoft Research, US PAPER SUBMISSION Papers will be evaluated by at least three members of the Programme Committee. They should be in Springer LNCS format and describe, in English, original work that has not been published or submitted elsewhere. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case study papers should describe significant case studies and the complete development should be made available at the time of review. In other words, the usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but can focus more on its features, and how it is used, evaluation, with screen shots and examples. Authors of tool papers should make their tool available for use by reviewers. Papers should be submitted through the FM 2015 EasyChair web site: http://www.easychair.org/conferences/?conf=fm2015. We solicit two categories of papers: Regular Papers should not exceed 15 pages in LNCS format, not counting references. Short papers, including tool papers, should not exceed 6 pages, not counting references. Besides tool papers, short papers are encouraged for any subject that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not guaranteed to be read or taken into account by the reviewers and it should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted, there will be no "demotions" from a regular to a short paper. BEST PAPER AWARD FM 2015 will as a new feature have a best paper award. A best paper will be selected among accepted papers, and the award will be presented at the conference. PUBLICATION Accepted papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science. GENERAL CHAIR Einar Broch Johnsen, University of Oslo, NO PC CHAIRS Nikolaj Bjorner, Microsoft Research, US Frank S. de Boer, CWI, NL PROGRAM COMMITTEE Erika Abraham, RWTH Aachen University Bernhard K. Aichernig, TU Graz Gilles Barthe, IMDEA Software Institute Nikolaj Bjorner, Microsoft Research Marcello Bonsangue, Leiden University Michael Butler, University of Southampton Andrew Butterfield, Trinity College Dublin Ana Cavalcanti, University of York David Clark, University College London Frank S. de Boer, CWI Jin Song Dong, National University of Singapore Michael Emmi, IMDEA Software Institute John Fitzgerald, Newcastle University Nate Foster, Cornell University Vijay Ganesh, IMDEA Software Institute Diego Garbervetsky, Dep. de Computacion. U. de Buenos Aires Dimitra Giannakopoulou, NASA Ames Research Center Stefania Gnesi, ISTI-CNR Ganesh Gopalakrishnan, University of Utah Orna Grumberg, Technion, Israel Institute of Technology Arie Gurfinkel, Carnegie Mellon University Reiner Haehnle, Technical University of Darmstadt Klaus Havelund, NASA Jet Propulsion Laboratory Anne E. Haxthausen, Technical University of Denmark Ian J. Hayes, University of Queensland Gerard Holzmann, NASA Jet Propulsion Laboratory Daniel Jackson, MIT Cliff Jones, Newcastle University Gerwin Klein, NICTA and UNSW Laura Kovacs, Chalmers University of Technology Marta Kwiatkowska, University of Oxford Peter Gorm Larsen, Aarhus University Yves Ledru, Lab. d'Informatique de Grenoble, U. Joseph Fourier Rustan Leino, Microsoft Research Martin Leucker, University of Luebeck Shaoying Liu, Hosei University Tom Maibaum, McMaster University Dominique Mery, Universite de Lorraine, LORIA Peter Mueller, ETH Zuerich Cesar Munoz, National Aeronautics and Space Administration David Naumann, Stevens Institute of Technology Tobias Nipkow, TU Muenchen Jose Oliveira, Universidade do Minho Olaf Owe, University of Oslo Sam Owre, SRI International Andrei Paskevich, Universite Paris-Sud 11, IUT d'Orsay Grigore Rosu, University of Illinois at Urbana-Champaign Kristin Yvonne Rozier, NASA Ames Research Center Sanjit A. Seshia, UC Berkeley Natasha Sharygina, Universita' della Svizzera Italiana Viorica Sofronie-Stokkermans, Max-Planck Institute for Informatics Jun Sun, Singapore University of Technology and Design Kenji Taguchi, AIST Margus Veanes, Microsoft Research Ji Wang, National Lab. for Parallel and Distributed Processing Alan Wassyng, McMaster University Heike Wehrheim, University of Paderborn Michael Whalen, University of Minnesota Jim Woodcock, University of York Gianluigi Zavattaro, University of Bologna Pamela Zave, AT&T PUBLICITY CHAIR Martin Steffen, University of Oslo, Norway From uwe at ims.uni-stuttgart.de Wed Jul 16 09:55:43 2014 From: uwe at ims.uni-stuttgart.de (Uwe Reyle) Date: Wed, 16 Jul 2014 09:55:43 +0200 Subject: [fg-arc] INFORMATIK 2014 Message-ID: The largest annual Computer Science conference in Germany - *INFORMATIK 2014* - meets in Stuttgart, Germany, on September 22 - 26, 2014. *The early registration rates expire on August 1st. * For more details see attached file. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CfP_GI-JT_Informatik_2014_engl_V2.0.pdf Type: application/pdf Size: 27537 bytes Desc: not available URL: From grlmc at urv.cat Fri Jul 18 20:40:13 2014 From: grlmc at urv.cat (GRLMC - URV) Date: Fri, 18 Jul 2014 20:40:13 +0200 Subject: [fg-arc] BigDat 2015: 23 July registration deadline Message-ID: <000b01cfa2b7$bb895c10$6400a8c0@GRLMC.local> *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/ ***************************************************** --- 2nd registration deadline: July 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), tba 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 (Katholieke Universiteit 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] >From Design of Distributed and Online Algorithms to Hands-on Code Lab Practice on Real Datasets 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 (Katholieke Universiteit 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 klaus.havelund at jpl.nasa.gov Thu Jul 17 08:25:07 2014 From: klaus.havelund at jpl.nasa.gov (Klaus Havelund) Date: Wed, 16 Jul 2014 23:25:07 -0700 Subject: [fg-arc] [fm-announcements] Call for Papers: NASA Formal Methods (NFM) 2015 Message-ID: <992C8DAE-00ED-4AA2-9BA7-4ABC9856467C@jpl.nasa.gov> CALL FOR PAPERS The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 - 29 April 2015 Pasadena, California, USA 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 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 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 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 Y. 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 From Kristin.Y.Rozier at nasa.gov Thu Jul 24 07:10:50 2014 From: Kristin.Y.Rozier at nasa.gov (Kristin Yvonne Rozier) Date: Wed, 23 Jul 2014 22:10:50 -0700 Subject: [fg-arc] [fm-announcements] Call for Highlights: Aerospace America Intelligent Systems Year In Review Message-ID: <53D0955A.6030609@nasa.gov> *********************************************** Call for Highlights Intelligent Systems 2014 Year In Review Aerospace America magazine Due date: August 25, 2014 (firm) *********************************************** This is a call for submissions for the "Year In Review" December, 2014 issue of Aerospace America magazine. We are looking for summaries of interesting aerospace applications of intelligent systems, of approximately 150 words in length, with an accompanying graphic if possible. Each highlight will be integrated within an overall narrative, so key organizations/affiliations should be identified within the text to enable proper credit to be given; including a URL for further information on your work is required. The AIAA Intelligent Systems Technical Committee will select, from among all submissions received, six that will be highlighted in the year-end issue of Aerospace America magazine. ********************************************************************* SUBMISSION: ---------- Deadline: Monday, August 25, 2014 (firm) Submit through EasyChair: https://easychair.org/conferences/?conf=yir2014 ********************************************************************* HIGHLIGHT GUIDELINES: --------------------- * 150 words * describing an advancement in research relating to aerospace intelligent systems * describing work that occurred or is projected to occur between January and December, 2014 * identifying key organizations/affiliations * including a URL for further information and a word or phrase to hyperlink it to in the onine version of the article (Please list the word, phrase, or lab name to be hyperlinked after the highlight text, with the desired URL.) * with an accompanying graphic, if possible: include after the highlight text a URL for a high-resolution JPG; include photo credit and caption ********************************************************************* IMPORTANT DATES: --------------------- * Submission Deadline: August 25, 2014 (firm) * Notification of selection for Aerospace America article: September 1, 2014 * Proofs go out for author approval of AIAA ISTC newsletter: October 1, 2014 * Aerospace America article is published: December 1, 2014 * AIAA ISTC highlight newsletter is published: December 1, 2014 ********************************************************************* ARTICLE INFORMATION: -------------------- This article will cover the most important developments this year in aerospace intelligent systems. Breakthroughs, setbacks, and industry trends that have occurred during the past year, the reasons they are important, and their impact on the aerospace community are also relevant. More information on what types of aerospace systems qualify as intelligent is available here: https://info.aiaa.org/tac/isg/ISTC/Web%20Pages/What%20Is%20An%20Intelligent%20System.aspx. Aerospace America reaches 40,000 people in a broad cross section of disciplines. highlights should be written so that all of them are able to understand the content, without acronyms if possible. ********************************************************************* BACKGROUND: ----------- The AIAA Intelligent Systems Technical Committee (ISTC) is concerned with the application of Intelligent System (IS) technologies and methods to aerospace systems, the verification and validation of these systems, and the education of the AIAA membership in the use of IS technologies in aerospace and other technical disciplines. See the Intelligent Systems Technical Committee website for more information on our technology focus: https://info.aiaa.org/tac/ISG/ISTC/default.aspx. Previous years' print articles are available at https://ti.arc.nasa.gov/dev/profile/kyrozier/publications/#MagazineArticles. This year there will be two versions: a paper article with authors' designated hyperlink text bolded and an online article with the provided URL linked. Also, with author permission, all submitted highlights (not just the six selected for the article) will be included on the AIAA ISTC website and newsletter. Requests for permission and approval of camera-ready versions will go out on October 1, 2014. -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Research Computer Scientist / USA | ~||~ |NASA \ NASA Ames Research Center |______| ~~ |______| Phone: (650) 604-3197 (__||__) Fax: (650) 604-3594 /_\ /_\ !!! !!! http://ti.arc.nasa.gov/profile/kyrozier/ Any opinions expressed in this email are my own. --- 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 maurizio.proietti at iasi.cnr.it Thu Jul 24 22:44:30 2014 From: maurizio.proietti at iasi.cnr.it (Maurizio Proietti) Date: Thu, 24 Jul 2014 22:44:30 +0200 Subject: [fg-arc] LOPSTR 2014: Call for Participation Message-ID: ===================== CALL FOR PARTICIPATION ============================= 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 9-11, 2014 Co-located with the 16th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2014) ========================================================================== Early registration by August 8, 2014 http://www.cs.kent.ac.uk/events/2014/ppdp-lopstr-14/registration.html Invited Speakers: Roberto Giacobazzi (University of Verona, Italy) "Obscuring Code -- Unveiling and Veiling Information in Programs" Viktor Kuncak (EPFL, Switzerland) Title to be announced Accepted papers - Nikita Danilenko Functional Kleene Closures - Amer Tahat and Ali Ebnenasir A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols - German Vidal Concolic Execution and Test-Case Generation in Prolog - Henning Christiansen and Maja Kirkeby Confluence Modulo Equivalence in Constraint Handling Rules - Remis Balaniuk Drill & Join: A method for inductive program synthesis - Minoru Kinoshita, Kohei Suenaga and Atsushi Igarashi Automatic Synthesis of Combiners in the MapReduce Framework - An Approach with Right Inverse - Daniel De Schreye, Vincent Nys and Colin Nicholson Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction - Daniel Gall and Thom Fr?hwirth A Formal Semantics for the Cognitive Architecture ACT-R - J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald S?ndergaard and Peter J. Stuckey Analyzing array manipulating programs by program transformation - Nada Sharaf, Slim Abdennadher and Thom Fr?hwirth A Visualization Tool for Constraint Handling Rules - Salvador Lucas, Jose Meseguer and Ra?l Guti?rrez Extending the 2D DP Framework for CTRSs - Ahmed Nagah, Amira Zaki and Slim Abdennadher Exhaustive Execution of CHR through Source-to-Source Transformation - Sandra Alves, Anatoli Degtyarev and Maribel Fernandez Access control and obligations in the category-based metamodel: A rewrite-based semantics - James Lipton, Emilio Jes?s Gallego Arias and Julio Mari?o A Declarative Compilation of Constraint Logic Programming - Jose F. Morales and Manuel V. Hermenegildo Pre-indexed Terms for Prolog - Norbert Preining, Kokichi Futatsugi and Kazuhiro Ogata Liveness properties in CafeOBJ - a case study for meta-level specifications - Wlodzimierz Drabent On completeness of logic programs - Ranjeet Singh and Andy King Partial Evaluation for Java Malware Detection - Raul Gutierrez and Salvador Lucas Below Frozen Positions - Md Solimul Chowdhury, Jia-Huai You, Wu Chen, Arash Karimi and Fangfang Liu Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies ============================================================================= 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, UK ({O.Chitil,A.M.King}@kent.ac.uk) Organizing Committee: Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy Fabrizio Smith, IASI-CNR, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at urv.cat Sat Jul 26 17:47:22 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 26 Jul 2014 17:47:22 +0200 Subject: [fg-arc] LATA 2015: 1st call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** 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 invited tutorials peer-reviewed contributions INVITED SPEAKERS: to be announced 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 a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The 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 10, 2014 (23:59 CET) Notification of paper acceptance or rejection: November 18, 2014 Early registration: November 25, 2014 Final version of the paper for the LNCS proceedings: November 26, 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 uwe.assmann at tu-dresden.de Sat Jul 26 10:02:42 2014 From: uwe.assmann at tu-dresden.de (Uwe Assmann) Date: Sat, 26 Jul 2014 10:02:42 +0200 Subject: [fg-arc] =?utf-8?q?Software_Engineering_=28SE=29_2015_in_Dresden_?= =?utf-8?q?-_Aufruf_f=C3=BCr_Beitr=C3=A4ge?= Message-ID: <53D360A2.7040606@tu-dresden.de> An HTML attachment was scrubbed... URL: From franconi at inf.unibz.it Mon Jul 28 14:22:53 2014 From: franconi at inf.unibz.it (Enrico Franconi) Date: Mon, 28 Jul 2014 14:22:53 +0200 Subject: [fg-arc] PhD scholarships in Computer Science at the Free Univ. of Bozen-Bolzano (Italy) Message-ID: <28072014142253220GGh77pfXqRRd0255@webmail.unibz.it> The Free University of Bozen-Bolzano announces a public competition, by qualifications, for admission to the PhD programme of the Faculty of Computer Science, with the first 6 positions covered by scholarships (17,000? per year). In addition, the student will be financially supported to attend conferences and schools, and to spend a period of 6-12 months abroad. The PhD programme lasts three years. The official language of the programme and of the faculty is English. Research in the Faculty of Computer Science is divided in three research centres (see below). Candidates are strongly advised to get in contact with the desired research centre before applying. Bolzano is the city?s Italian name while Bozen is its German name: it is the capital of the multilingual province of Alto Adige / S?dtirol. Near Italy?s northern border with Austria, the city is a gateway to the Dolomites, the majestic white mountain peaks that are part of the Alps. Bolzano is an Italian city with Austrian flair. Its two lifestyles, one Northern European and the other more Mediterranean, combine to make the perfect union, which can be clearly seen in the historic and artistic treasures of this city. Bolzano is constantly among the top-ranked cities in Italy when it comes to quality of life. It has one of Europe's lowest unemployment rates, excellent services and a wonderful landscape. The landscape of the surrounding mountain sides is characterised by old wine hamlets and villages nestling amid vineyards watched over by 200 castles, stately country houses and ruins (see the wonderful video). Instructions for application (pre-enrollment): http://www.unibz.it/en/inf/progs/phdcs/ The deadline for the applications is the 29th August 2014. RESEARCH CENTRES: KRDB RESEARCH CENTRE FOR KNOWLEDGE AND DATA - web page: http://www.inf.unibz.it/krdb/ - contact person: Enrico Franconi franconi at inf.unibz.it ? Logic based languages for knowledge representation ? Intelligent access to databases ? Semantic technologies ? Visual and verbal paradigms for information exploration ? Temporal aspects of data and knowledge ? Extending database technologies ? Inter-operation, verification, and composition of business processes The research topics in knowledge representation are focused on foundational and practical aspects of knowledge representation technologies applied to information systems. The whole life cycle ranging from the design to the deployment of such technologies is covered: the conceptual modelling of various types of knowledge, the linguistic and logical aspects of knowledge, the integration of heterogeneous knowledge sources, including information coming from the Internet, the usage of knowledge to support the intelligent retrieval of information, and the usage of knowledge to create virtual services on the net. INFORMATION AND DATABASE SYSTEMS ENGINEERING ? Spatial and temporal databases ? Approximation Techniques in databases ? Query optimisation in databases ? Cooperative interfaces for information access and filtering ? Data mining techniques for preference elicitation and recommendation ? Cloud computing and big data ? Agile development & human aspects of software engineering ? Software startups and open science ? Design based Hardware engineering ? Technology enhanced learning The research activities in the area of database and information systems focus on key aspects of applied computer science, including data warehousing and data mining, the integration of heterogeneous and distributed databases, time-varying information, data models, and query processing. The research approach is primarily constructive in its outset, and it includes substantial experimental and analytical elements. The development activities cover the design of data models and structures, and the development of algorithms, data structures, languages, and systems. The experimental activities verify real world artifacts with the help of prototypes and simulations. The analytic activities include the analysis of the algorithmic complexity and the evaluation of languages. The main goal is theoretically sound results that solve real world problems. SOFTWARE ENGINEERING ? Agile methods, lean management, and open source ? Measurement and study of software quality, reliability, evolution and reuse ? Distributed computing and service-oriented architectures (mobile and distributes services) ? IT and business alignment ? Software reuse and component based development ? Interoperability in collaborative systems ? IT for automation ? Energy-aware systems The research topics in software engineering are focused on the empirical and quantitative study of innovative models for software development. The target analysis techniques include both traditional statistics, and new approaches, such as computational intelligence, Bayesian models, and meta-analytical systems. The innovative software development techniques include (a) methods based on lean management, such as agile methods, with a specific interest for benchmarking and identification of defects, and (b) open source development models. -------------- next part -------------- An HTML attachment was scrubbed... URL: From klaus.havelund at jpl.nasa.gov Tue Jul 29 06:15:16 2014 From: klaus.havelund at jpl.nasa.gov (Klaus Havelund) Date: Mon, 28 Jul 2014 21:15:16 -0700 Subject: [fg-arc] [fm-announcements] RV 2014: Call for Participation Message-ID: <541139D4-6213-40F6-86D1-E9A259806E9A@jpl.nasa.gov> CALL FOR PARTICIPATION RV 2014: 14th International Conference on Runtime Verification September 22 - September 25, 2014, Toronto, Canada http://rv2014.imag.fr OVERVIEW Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are important for system correctness, reliability, and robustness; they are complementary to conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: specification languages specification mining program instrumentation monitor construction techniques logging, recording, and replay fault detection, localization, containment, recovery and repair program steering and adaptation metrics and statistical information gathering combination of static and dynamic analyses program execution visualization monitoring techniques for safety/mission-critical systems monitoring distributed systems, cloud services, and big data applications monitoring security and privacy policies Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. INVITED TALKS Kevin Driscoll Fellow at Honeywell Labs, USA Murphy Strikes Again Assaf Schuster Professor of Computer Science, Computer Science Department, Technion, Israel Monitoring Big, Distributed, Streaming Data Jeannette Wing President's Professor of Computer Science, Computer Science Department, Carnegie Mellon University, USA Formal Methods: An Industrial Perspective INVITED TUTORIALS Vijay K. Garg & Neeraj Mittal UT at Austin & UT at Dallas A Lattice-Theoretic Approach to Monitoring Distributed Computations David Basin & Felix Klaedtke ETH-Zurich & NEC Labs, Europe Runtime Monitoring and Enforcement of Security Policies VENUE The Fields Institute for Research in Mathematical Sciences 222 College Street, Toronto, Ontario, Canada http://www.fields.utoronto.ca/ REGISTRATION Registration on line to Aug. 21, on site Sept. 22 Registration fees $575, after Aug. 21 $675 Student $350, after Aug. 21, $450 Fees include proceedings and 1x Conference banquet Additional banquet tickets $80 Registration link: http://www.fields.utoronto.ca/programs/scientific/14-15/RV2014/ ACCEPTED PAPERS Pierre Fraigniaud, Sergio Rajsbaum and Corentin Travers. On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems Simon Varvaressos, Kim Lavoie, Sebastien Gaboury and Sylvain Hall?. Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces Clemens Ballarin. Two Generalisations of Ro?u and Chen's Trace Slicing Algorithm A Martin Hentschel, Richard Bubel and Reiner H?hnle. Symbolic Execution Debugger (SED) Jiannan Zhai, Nigamanth Sridhar and Jason Hallstrom. Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems Emmanouil Koukoutos and Viktor Kuncak. Checking Data Structure Properties Orders of Magnitude Faster Maria Christakis, Patrick Emmisberger and Peter M?ller. Dynamic Test Generation with Static Fields and Initializers Aravind Sukumaran-Rajam, Juan Manuel Martinez Caamano, Willy Wolff, Alexandra Jimborean and Philippe Clauss. Speculative Program Parallelization with Scalable and Decentralized Runtime Verification Christian Colombo and Yli?s Falcone. Organising LTL Monitors over Distributed Systems with a Global Clock Erdal Mutlu, Vladimir Gajinov, Adrian Cristal, Serdar Tasiran and Osman Unsal. Dynamic Verification for Hybrid Concurrent Programming Models Hsi-Ming Ho, Joel Ouaknine and James Worrell. Online Monitoring of Metric Temporal Logic David Basin, Germano Caronni, Sarah Ereth, Mat?? Harvan, Felix Klaedtke and Heiko Mantel. Scalable Offline Monitoring David Basin, Felix Klaedtke, Srdjan Marinovic and Eugen Zalinescu. On Real-time Monitoring with Imprecise Timestamps Anand Yeolekar. Improving dynamic inference with variable dependence graph Ming Chai and Holger Schlingloff. Monitoring Systems with Extended Live Sequence Charts Laura Bozzelli and C?sar S?nchez. Foundations of Boolean Stream Runtime Verification Mitra Tabaei Befrouei, Chao Wang and Georg Weissenbacher. Abstraction and Mining of Traces to Explain Concurrency-Bugs Stefan Mitsch and Andr? Platzer. ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models Johannes Geist, Kristin Y. Rozier and Johann Schumann. Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems Malte Isberner, Falk Howar and Bernhard Steffen The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sebastien Gaboury and Sylvain Hall?. Portable Runtime Verification with Smartphones and Optical Codes Adel Dokhanchi, Bardh Hoxha and Georgios Fainekos On-Line Monitoring for Temporal Logic Robustness Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon Moore, Qingzhou Luo, Aravind Sundaresan and Grigore Rosu. ROSRV: Runtime Verification for Robots Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick Meredith, Traian Serbanuta and Grigore Rosu. RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties Duc Hiep Chu, Joxan Jaffar and Vijayaraghavan Murali. Lazy Symbolic Execution for Enhanced Learning Kuei Sun, Daniel Fryer, Ashvin Goel, Dai Qin and Angela Demke Brown. Robust Consistency Checking for Modern Filesystems Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay and Saddek Bensalem. Faster Statistical Model Checking by Means of Abstraction and Learning CHAIRS AND ORGANIZERS General Chair: Sebastian Fischmeister (University of Waterloo, Canada). PC co-Chairs: Borzoo Bonakdarpour (McMaster University, Canada) Scott Smolka (Stony Brook Universtiy, USA) Tools Track Chair: Ezio Bartocci (TU Vienna, Austria) Runtime Monitoring Competition Co-Chairs: Ezio Bartocci (TU Vienna, Austria) Borzoo Bonakdarpour (McMaster University, Canada) Ylies Falcone (Universit? Joseph Fourier, France) Publicity Chair: Ylies Falcone (Universit? Joseph Fourier, France) Local Arrangements Chair: Patrick Lam (University of Waterloo, Canada) FURTHER INFORMATION More information about RV2014 is available from the conference web site: http://rv2014.imag.fr -------------- 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 matthias.tichy at cse.gu.se Tue Jul 29 11:59:54 2014 From: matthias.tichy at cse.gu.se (Matthias Tichy) Date: Tue, 29 Jul 2014 09:59:54 +0000 Subject: [fg-arc] CfP: DANCE: Distributed Architecture modeling for Novel Component based Embedded systems Message-ID: ======================================================================== DANCE: Distributed Architecture modeling for Novel Component based Embedded systems December 8-12, 2014 Bordeaux, France http://www.irit.fr/DANCE2014/ ======================================================================== IMPORTANT DATES: Submission of papers: September 06, 2014 Notification of acceptance: September 30, 2014 Camera-ready paper due: October 11, 2014 Distributed systems research covers a wide spectrum of applications ranging across embedded real/time systems, commercial transaction systems, transportation systems, and military/space systems. Such systems raise several issues not found in single processor systems. The main difficulty arises when considering dependability, security, adaptability and resources constrained computing. This area requires computing systems to run software in an efficient and trustworthy way. That is, in order to be able to design complex architectures in reasonable time, novel and effective design methodologies are needed to automatically build applications from high-level descriptions to take into account what needs to be deployed on hardware. To remedy this weakness, combining both model and component seems to be a very promising cocktail for building solutions to this problem. The introduction of the component approach in the development of embedded systems allows facilitating their design by building through an assembly of existing components. Indeed, this approach provides a clear separation between the specification and implementation of components. Note however that in the context of component software, distributed architecture is significantly more demanding than that of traditional monolithic integrated solution. Model-driven engineering provides a very useful contribution for the design of distributed systems since it bridges the gap between design issues and implementation concerns. It helps the designer to concentrate on application structure and required behavior and it permits us to specify in a separate way non-functional requirements such as underlying execution infrastructure/middleware, dependability and reconfiguration issues that are very important to guide the implementation process. The main focus of DANCE is on the topic of making design and implementation expert knowledge available to distributed real time embedded systems (DRTES) engineering processes. Special emphasis will be devoted to promote discussion and interaction between researchers and practitioners focused on the particularly challenging task to efficiently integrate dependability and reconfiguration solutions within the restricted available design space and time. Furthermore, one important focus is on the potential benefits of the combination of model- driven engineering with languages and representation of component engineering solutions. The workshop aims to bring together researchers from various fields involved in the development and deployment of component in embedded systems with a particular focus on the transfer of results from fundamental research to the industrial development of energy, resource and time constrained applications. The exchange of concepts, prototypes, research ideas, and other results which contribute to the academic arena and also benefit business and industrial communities, is of particular interest. Some of the topics that we seek to include in the workshop are related to the development of models and tools to support the inclusion of energy, resource and time constraints within dependability and reconfiguration requirements issues into the embedded systems engineering process. We would like to promote new modeling and programming paradigms that allow system and software developers to express distribution in a platform independent manner. Topics of interest include, but are not limited to: * Architecture and execution support design for distributed applications * Distribution techniques which exploit new models and protocols of distributed computing systems * Distributed adaptive and self-adaptive softwares * Modeling of resource management, resource scaling polices and strategies * Component-based design for building collaborative distributed systems * Description language, Patterns, Meta- modeling, Multi- modeling, UML Profiles, DSMLs, ... * Specification of distributed architecture for Model Driven Development process * Specification of distributed architecture using programming paradigms (object, component and aspect-oriented programming ...) * Verification, testing and validation of distributed architecture * Designing simulation frameworks that can model designs and predict system properties, such as responsiveness and availability, based on simulated and historical data * Standards-based distributed ontology models and architectures that enable open interfaces with plug-and-play hardware and software components * Tools support for assisting modeling, deployment and configuration of distributed software architectures * Case studies, empirical results, experience reports, suit-tools SUBMISSION OF PAPERS We are inviting the submission of papers with high quality research contributions, work in progress, experimental and ongoing projects results. The following types of submission are accepted: Long papers (10 pages): reporting substantial, completed, and previously unpublished research Short papers (6 pages): describing work in progress or industrial experiences Format: ll submitted papers must be written in English and conform to the ACM double column format (10pt, single-space, double-column and include an abstract of up to 150 words...). The format of the submission should follow ACM Formatting Guidelines (http://www.acm.org/sigs/publications/proceedings-templates). Papers must be submitted in PDF format, using our submission system. ORGANIZERS: Brahim Hamid (IRIT-University of Toulouse , France), brahim.hamid at irit.fr Fran?ois Terrier (CEA LIST , France), francois.terrier at cea.fr Matthias Tichy (Chalmers University of Technology, Sweden), matthias.tichy at cse.gu.se Yan Liu (Concordia University, Canada), yan.liu at concordia.ca Muhammad Ali Babar (University of Adelaide, Australia), maba at itu.dk He Zhang (Nanjing University, China), he at software.nju.edu.cn PROGRAM COMMITTEE (to be confirmed): Xiaoying Bai, Tsinghua University, China Len Bass, NICTA, Australia Jean-Michel Bruel (IRIT-University of Toulouse, France) Fabio M. Costa, Federal University of Goias, Brazil Ivica Crnkovic (University of M?lardalen, Sweden) Khalil Drira (LAAS-CNRS, France) Marie-Pierre Gervais (LIP6, France) Ian Gorton, Software Engineering Institute/Carnegie Mellon University, USA Christophe Gransart (IFSTTAR, France) Jeff Gray, University of Alabama, USA Stefan Gruner (University of Pretoria, South Africa) Brahim Hamid (IRIT-University of Toulouse, France) Mohamed Jmaiel (University of Sfax, Tunisia) Ferhat Khendek (University of Concordia, Canada) Ssam Malek, George Mason University, USA Marin Litoiu, York University, Canada Qinghua Lu, China University of Petroleum, China Roman Obermaisser (Vienna University of Technology, Austria) Flavio Oquendo (European University of Brittany - UBS/VALORIA, France) Mourad Oussalah (LINA - CNRS UMR 6241, Nantes, France) Laurent Pautet (T?l?com - ParisTech, France) Dorina C. Petriu, Carleton University, Canada Ansgar Radermacher (CEA LIST, France) Carsten Rudolph (Fraunhofer SIT, Germany) Christoph Ruland (University of Siegen, Germany) Eric Rutten (INRIA, France) Francesca Saglietti (University of Erlangen-Nurnberg, Germany) Lionel Seinturier (LIFL-University of Lille, France) Fran?ois Terrier (CEA LIST , France) Matthias Tichy ( Chalmers University of Technology, Sweden) Maria Toeroe, Ericsson, Canada Marisol Garca Valles (Uiversidad Carlos III de Madrid) Adam Wynne, Bosch Research and Technology Center, USA