From rim.abid at inria.fr Fri Sep 4 08:53:30 2015 From: rim.abid at inria.fr (rim.abid at inria.fr) Date: Fri, 4 Sep 2015 08:53:30 +0200 (CEST) Subject: [fg-arc] Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Final CFP Message-ID: <201509040653.t846rUIV005053@adret.inrialpes.fr> ================================================== FINAL CALL FOR PAPERS -- ACM SAC-SVT 2016 31st Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 3 - 8, 2016, Pisa, Italy More information: http://antares.sip.ucm.es/svt16/ and http://www.acm.org/conferences/sac/sac2016/ =================================================== Important dates --------------- * September 21, 2015: Paper submission (EXTENDED DEADLINE) * November 13, 2015: Paper notification * December 11, 2015: Camera-Ready Copies ACM Symposium on Applied Computing ---------------------------------- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2016 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the University of Pisa and Scuola Superiore Sant'Anna University, Italy 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/sac2016/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 2016 proceedings. Paper registration is required, allowing the inclusion of papers, posters, or SRC abstracts in the conference proceedings. An author or a proxy attending SAC MUST present the work. This is a requirement for the presented work to be included in the ACM/IEEE digital library. No-show of registered papers, posters, and SRC abstracts will result in excluding them from the ACM/IEEE digital library. A special issue of Journal of Systems and Software has been confirmed. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of Journal of Systems and Software. Student Research Competition ---------------------------- As before, SAC 2016 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/sac2016/. Submission to the SRC program should be in electronic form via the following website http://www.acm.org/conferences/sac/sac2016/SRC-SubmissionUploadPage.htm Program Committee ----------------- Rui Abreu, University of Porto, Portugal Cristiano Braga, Universidade Federal Fluminense, Brazil Radu Calinescu, University of York, UK Ana Cavalli, National Institute of Telecommunications, France Byoungju Choi, Ewha Womans University, Republic of Korea Maximiliano Cristi�, Universidad Nacional de Rosario, Argentina Khaled El-Fakih, American University of Sharjah, UAE Ylies Falcone, University of Grenoble Alpes, France Maria del mar Gallardo, University of Malaga, Spain Arie Gurfinkel, Carnegie Mellon University, USA Tingting Han, University of London, UK Klaus Havelund, Nasa Jet Propulsion Laboratory, USA Ralf Huuck, UNSW, Australia Nikolai Kosmatov, CEA, France Stefan Leue, University of Konstanz, Germany Luis Llana, Universidad Complutense de Madrid, Spain Jasen Markovski, R&D group, GN Resound Benelux, The Netherlands Mohammad Mousavi, Halmstad University, Sweden Madhavan Mukund, Chennai Mathematical Institute, India Shin Nakajima, National Institute of Informatics, Tokyo, Japan Brian Nielsen, Aalborg University, Denmark Peter Olveczky, University of Oslo, Norway Jun Pang, University of Luxembourg, Luxembourg Adenilso Simao, ICMC/USP, Brazil Marjan Sirjani, Reykjavik University, Iceland Marielle Stoelinga, University of Twente, The Netherlands Jun Sun, Singapore University of Technology and Design Tanja Vos, Valencia University, Spain Carsten Weise, Imbus AG, Germany Anton Wijs, Eindhoven University of Technology, The Netherlands Nina Yevtushenko, Tomsk State University, Russia Cemal Yilmaz, Sabanci University, Turkey Fatiha Zaidi, Univ. Paris-Sud, France Gianluigi Zavattaro, University of Bologna, Italy Lijun Zhang, Chinese Academy of Sciences, China Program Committee Chairs ----------------- Mercedes G. Merayo, Universidad Complutense de Madrid, Spain Gwen Sala�n, University of Grenoble Alpes, France From j.j.chromik at utwente.nl Tue Sep 8 14:52:16 2015 From: j.j.chromik at utwente.nl (j.j.chromik at utwente.nl) Date: Tue, 8 Sep 2015 12:52:16 +0000 Subject: [fg-arc] MMB & DFT 2016: Second Call for Papers Message-ID: [Our apologies for multiple copies] ===================================== SECOND CALL FOR PAPERS MMB & DFT 2016 ===================================== 18th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance” April 4-6, 2016, Münster (Germany) Organized by GI/ITG Technical Committees on "Measurement, Modelling and Evaluation of Computing Systems (MMB)" and "Dependability and Fault-Tolerance (DFT)" Conference Homepage: http://www.mmb2016.de The technical committees MMB and DFT are the main fora in Germany covering all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, workflow systems, software, fault-tolerant and secure systems. In 2016 both committees join forces in a common international conference MMB & DFT 2016. In addition to its scientific programme on performance and dependability evaluation techniques, it will comprise invited talks, tool presentations, state-of-the-art tutorials, and workshops focusing on hot topics. **Topics of MMB & DFT 2016 include:** Models and Methods - Quantitative evaluation techniques related to performance, dependability, security, survivability, real-time constraints, cost, energy-efficiency and combined aspects like performance-security tradeoffs - Fault-tolerant system and network design, dependable computing, redundancy techniques, fault modelling, fault injection - Testing, measuring, benchmarking and monitoring of systems and networks - Queueing systems, stochastic Petri nets, stochastic process algebras, Markov chains, non-Markovian models, fluid models, network calculus - Simulation techniques including rare events, parallel and distributed simulation - Combination of stochastic modeling and formal methods in engineering - Model checking and theorem proving in model-driven software development - Network economics, accounting, tariffing Applications - Computer and software architectures, cloud computing, organic computing, pervasive and ubiquitous computing, adaptive and self-organizing systems, embedded systems, sensor systems - Fault-tolerant systems and networks, safety-oriented and security-oriented architectures, redundancy techniques - Communication networks including access, backbone and optical networks, high-speed switching, software-defined networking, mobile and wireless networks, sensor networks, car communication, traffic engineering, network planning and optimization - Peer-to-peer, overlay and information-centric networks, web-based systems, multimedia systems - Complex networks, social networks, power-law and scale-invariant systems, biochemical systems - Workflow and logistic systems, traffic and transportation systems Special session on Critical Infrastructures - Green IT, energy-efficient systems - Future smart energy networks Tools and Case Studies in all Areas of Application **Submission Formats** - Full conference papers: Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be thoroughly reviewed by at least three referees on the basis of their originality and their scientific and practical contribution to the state-of-the-art. Papers must be written in English and must not exceed 15 pages (LNCS style). The proceedings will be published in the Springer LNCS series. A best paper award will be provided. Practical experience reports and industrial papers: Besides full papers industrial papers and practical experience reports are also solicited. Reports should not exceed 8 pages (LNCS style). - Tool descriptions: Special sessions will be arranged to present and demonstrate tools relevant to any topic covered by the Call for Papers. Accepted tool descriptions should not exceed four pages and will appear in the proceedings. - Tutorial proposals: Please send your tutorial proposals (2 pages) to the conference chair. **Important Dates** All papers & tools description: October 12, 2015 Tutorial Proposals: November 15, 2015 Authors’ Notification: December 11, 2015 Final Version: January 11, 2016 Conference: April 4-6, 2016 http://www.mmb2016.de Conference Chairs Anne Remke WWU Münster Boudewijn Haverkort U Twente Local Organization Evelyn Egelkamp WWU Münster Web Chair Björn Postema U Twente Justyna Chromik U Twente Program Committee Lothar Breuer U Kent Peter Buchholz TU Dortmund Hans Daduna U Hamburg Klaus Echtle U Duisburg-Essen Bernhard Fechner U Augsburg Markus Fidler U Hannover Reinhard German U Erlangen-Nuremberg Gerhard Haßlinger Deutsche Telekom AG Boudewijn Haverkort U Twente Holger Hermanns U Saarbrücken Joost-Pieter Katoen RWTH Aachen Peter Kemper College of William and Mary Jörg Keller FeU Hagen Udo Krieger U Bamberg Kai Lampka U Uppsala Wolfram Lautenschläger Alcatel-Lucent Axel Lehmann UBw München Ralf Lehnert TU Dresden Hermann de Meer U Passau Michael Menth U Tübingen Peter Reichl U Europ. de Bretagne & U Wien Anne Remke WWU Münster Johannes Riedl Siemens AG Ramin Sadre U Louvain Francesca Saglietti U Erlangen-Nuremberg Jens Schmitt TU Kaiserslautern Markus Siegle UBw Munich Helena Szczerbicka U Hannover Dietmar Tutsch U Wuppertal Kurt Tutschku BTH Karlskrona Oliver Waldhorst KIT Verena Wolf U Saarbrücken Bernd Wolfinger U Hamburg Katinka Wolter FU Berlin Armin Zimmermann TU Ilmenau -------------- next part -------------- An HTML attachment was scrubbed... URL: From claudia.ermel at tu-berlin.de Mon Sep 7 16:45:52 2015 From: claudia.ermel at tu-berlin.de (Claudia Ermel) Date: Mon, 7 Sep 2015 16:45:52 +0200 Subject: [fg-arc] Call for Participation: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'15) Message-ID: ================================ CALL FOR PARTICIPATION ================================ *IEEE Symposium on Visual Languages and Human-Centric Computing* October 18-22, 2015 Atlanta, Georgia, USA *http://vlhcc.org/* From the beginning of the computer age, people have sought easier ways to learn, express, and understand computational ideas. Whether this meant moving from punch cards to textual languages, or command lines to graphical UIs, the quest to make computation easier to express, manipulate, and understand by a broader group of people is an ongoing challenge. The IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) is the premier international forum for research on this topic. Established in 1984, the mission of the conference is to support the design, theory, application, and evaluation of computing technologies and languages for programming, modeling, and communicating, which are easier to learn, use, and understand by people. We will hold the IEEE Symposium on Visual Languages and Human-Centric Computing October 18–22, 2015 in Atlanta, Georgia, USA at the Georgia Tech Hotel & Conference Center. With an estimated population of 500,000, Atlanta is the capital of and the most populous city in the U.S. state of Georgia. Atlanta's economy is considered diverse, with dominant sectors including logistics, professional and business services, media operations, and information technology. Topographically, Atlanta is marked by rolling hills and dense tree coverage. VL/HCC 2015 will present two keynote addresses by prominent speakers and a selection of 18 technical research papers and 17 short papers about emerging topics in visual languages and human-centric computing. This year, a special emphasis is placed on education-oriented topics. See the programme at the conference website (http://vlhcc.org/preliminary-program). The event will also feature a graduate consortium and a workshop. KEYNOTE SPEAKERS * Mark Guzdial, Georgia Institute of Technology, USA Tuesday, October 20, 2015 Requirements for a Computing-Literate Society * Franklyn Turbak, Wellesley College, USA Wednesday, October 21, 2015 Taking Stock of Blocks: Promises and Challenges of Blocks Programming Languages WORKSHOP * Blocks and Beyond: Lessons and Directions for First Programming Environments (Thursday, October 22, 2015) http://cs.wellesley.edu/~blocks-and-beyond/ VENUE VL/HCC 2015 will take place from October 18th through 22nd, 2015 in Atlanta, Georgia, USA at the Georgia Tech Hotel & Conference Center (http://www.gatechhotel.com/), located on the Georgia Tech campus in Technology Square - the heart of Midtown Atlanta’s thriving retail neighborhood. It can be easily reached from the Hartsfield-Jackson Atlanta International Airport. For further details see http://vlhcc.org/attending REGISTRATION The registration is open now at https://www.regonline.com/vlhcc2015. Early registration with reduced fees ends on September 30, 2015. Rooms for attendees of VL/HCC 2015 are reserved at the Georgia Tech Hotel and Conference Center (Booking Deadline: 9/17/2015): http://vlhcc.org/attending ORGANIZATION General Chair Eileen Kraemer, Clemson University, USA Program Chairs Claudia Ermel, Technische Universität Berlin, Germany Scott D. Fleming, University of Memphis, USA Publications Chair Zhen Li, Microsoft Corporation, USA Graduate Consortium Chair Anita Sarma, Oregon State University, USA Showpieces Chairs Iman Avazpour, Swinburne University of Technology, Australia Eric Walkingshaw, Oregon State University, USA Program Committee Robin Abraham, Microsoft Corporation, USA Alan Blackwell, University of Cambridge, UK Chris Bogart, Carnegie Mellon University, USA Paolo Bottoni, Sapienza, University of Rome, Italy Margaret Burnett, Oregon State University, USA Maria Francesca Costabile, University of Bari, Italy Gennaro Costagliola, Università di Salerno, Italy Shaundra Daily, Clemson University, USA Juan de Lara, Universidad Autonoma de Madrid, Spain Robert DeLine, Microsoft Research, USA Simone Diniz Junqueira Barbosa, PUC-Rio, Brazil Gregor Engels, Universität Paderborn, Germany Andrew Fish, University of Brighton, UK Judith Good, University of Sussex, UK John Grundy, Swinburne University of Technology, Australia Felienne Hermans, Delft University of Technology, Netherlands John Hosking, University of Auckland, New Zealand John Howse, University of Brighton, UK Chris Hundhausen, Washington State University, USA Caitlin Kelleher, Washington University in St. Louis, USA Andrew J. Ko, University of Washington, USA Thomas D. LaToza, University of California, Irvine, USA Zhen Li, Microsoft Corporation, USA Mark Minas, Universität der Bundeswehr München, Germany Emerson Murphy-Hill, North Carolina State University, USA Brad Myers, Carnegie Mellon University, USA Chris Parnin, North Carolina State University, USA Marian Petre, The Open University, UK Emmanuel Pietriga, INRIA & INRIA Chile, France Beryl Plimmer, University of Auckland, New Zealand David Redmiles, University of California, Irvine, USA Alexander Repenning, University of Colorado, USA Mary Beth Rosson, Pennsylvania State University, USA Anita Sarma, Oregon State University, USA Stefan Sauer, Universität Paderborn, Germany Christopher Scaffidi, Oregon State University, USA Gem Stapleton, University of Brighton, UK Simone Stumpf, City University London, UK Steven Tanimoto, University of Washington, USA Franklyn Turbak, Wellesley College, USA Eric Walkingshaw, Oregon State University, USA Steering Committee Paolo Bottoni, Universita de Roma - Sapienza, Italy Gennaro Costagliola, Università di Salerno, Italy Martin Erwig, Oregon State University, USA Andrew Fish, University of Brighton, UK John Grundy, Swinburne University of Technology, Australia John Howse, University of Brighton, UK Andrew Ko, University of Washington, USA Mark Minas, Universität der Bundeswehr München, Germany Brad Myers, Carnegie Mellon University, USA For further information, please visit the conference website at http://vlhcc.org/ We all look forward to welcoming you at VL/HCC 2015 in Atlanta, Georgia! -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: claudia_ermel.vcf Type: text/x-vcard Size: 383 bytes Desc: not available URL: From raoul.strackx at CS.KULEUVEN.BE Thu Sep 10 06:56:33 2015 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Thu, 10 Sep 2015 06:56:33 +0200 Subject: [fg-arc] [ESSoS'16] CfP: Deadlines approaching! Message-ID: <55F10D81.7070200@cs.kuleuven.be> ======================================================================= == International Symposium on == == Engineering Secure Software and Systems (ESSoS) == == == == April 6 - 8, 2016, == == Royal Holloway, London, UK == == == == https://distrinet.cs.kuleuven.be/events/essos/2016 == == == == In cooperation with (pending): ACM SIGSAC and SIGSOFT == ======================================================================= == Approaching deadlines == Abstract submission: September 25, 2015 (anywhere on earth) Paper submission: October 2, 2015 (anywhere on earth) == Context and motivation == Trustworthy, secure software is a core ingredient of the modern world. So is the Internet. Hostile, networked environments, like the Internet, can allow vulnerabilities in software to be exploited from anywhere. High-quality security building blocks (e.g., cryptographic components) are necessary but insufficient to address these concerns. Indeed, the construction of secure software is challenging because of the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably improve the software's security properties. == Goal and setup == The goal of this symposium, which will be the eighth in the series, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and security engineering communities, and promote cross-fertilization. The symposium will feature two days of technical program including two keynote presentations. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in security software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. == Topics == The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (but not limited to): - Cloud security, virtualization for security - Mobile devices security - Automated techniques for vulnerability discovery and analysis - Model checking for security - Binary code analysis, reverse-engineering - Programming paradigms, models, and domain-specific languages for security - Operating system security - Verification techniques for security properties - Malware: detection, analysis, mitigation - Security in critical infrastructures - Security by design - Static and dynamic code analysis for security - Web applications security - Program rewriting techniques for security - Security measurements - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Computer forensics - Processes for the development of secure software and systems - Security testing - Embedded software security == Important dates == Abstract submission: September 25, 2015 (anywhere on earth) Paper submission: October 2, 2015 (anywhere on earth) Paper notification: December 7, 2015 Artifact evaluation submission: December, 16, 2015 Artifact evaluation notification: January, 6, 2016 Paper camera-ready: January 8, 2016 == Submission and format == The proceedings of the symposium are published by Springer-Verlag in the Lecture Notes in Computer Science Series (http://www.springer.com/lncs). Submissions should follow the formatting instructions of Springer LNCS. Submitted papers must present original, unpublished work of high quality. Two types of papers will be accepted: = Full papers (max 14 pages without bibliography/appendices) = Such papers may describe original technical research with a solid foundation, such as formal analysis or experimental results, with acceptance determined mostly based on novelty and validation. Or they may describe case studies applying existing techniques or analysis methods in industrial settings, with acceptance determined mostly by the general applicability of techniques and the completeness of the technical presentation details. = Idea papers (max 8 pages with bibliography) = Such papers may crisply describe a novel idea that is both feasible and interesting, where the idea may range from a variant of an existing technique all the way to a vision for the future of security technology. Idea papers allow authors to introduce ideas to the field and get feedback, while allowing for later publication of complete, fully-developed results. Submissions will be judged primarily on novelty, excitement, and exposition, but feasibility is required, and acceptance will be unlikely without some basic, principled validation (e.g., extrapolation from limited experiments or simple formal analysis). In the proceedings, idea papers will clearly identified by means of the "Idea" tag in the title. == Artifact evaluation == For possibly the first time at a security conference, ESSOS’16 will offer a voluntary artifact evaluation. Artifact evaluation is meant to encourage the submission and publication of proven, reusable research artifacts. Authors of accepted papers will be able to apply their artifacts (software, datasets, etc.) to be examined by the Artifact Evaluation Committee (AEC). Artifacts will be submitted after paper notification. If all artifacts perform to the satisfaction of the committee, in particular if they allow for the paper’s results to be reproduced, then the paper will be recognized with the Artifact Evaluation Award and the authors will enjoy the following benefits: - Authors will be able to mention the award on the paper’s front page, in the form of a virtual award plaque. - Awarded artifacts will be recognized on the conference web page. - Authors can use one additional page in the proceedings, which can be used to describe their artifacts. - Authors will be able to briefly present their awarded artifacts in a dedicated artifact session (in addition to their usual paper presentation). Artifact evaluation submissions will be mainly evaluated based on two criteria: (1) Artifact packaging and reproducibility. (2) Artifact implementation and usability. More information is available on the ESSOS web page. More information about previous artifact evaluations can be found at: http://www.artifact-eval.org/ Important dates: Artifact evaluation submission: December 16, 2015 Artifact evaluation notification: January 6, 2016 == Confirmed invited speakers == Apart from technical presentations, the following invited speakers have confirmed their participation in ESSOS: - David Basin, ETH Zürich - Karsten Nohl, Security Research Labs == Steering committee == Jorge Cuellar (Siemens AG) Wouter Joosen (Katholieke Universiteit Leuven) - chair Fabio Massacci (Università di Trento) Gary McGraw (Cigital) Bashar Nuseibeh (The Open University) Daniel Wallach (Rice University) == Organizing committee == General chair: Lorenzo Cavallaro (Royal Holloway University of London) Program co-chairs: Eric Bodden (Fraunhofer SIT & TU Darmstadt), Juan Caballero (IMDEA Software Institute) Artifact evaluation co-chairs: Alessandra Gorla (IMDEA Madrid), Jacques Klein (SnT Luxembourg) Publication chair: Elias Athanasopoulos (FORTH) Publicity chair: Raoul Strackx (KU Leuven) Web chair: Ghita Saevels (Katholieke Universiteit Leuven) == Program committee == Javier Alonso, Universidad de Leon & Duke University Michele Bugliesi, Università Ca' Foscari Venezia Werner Dietl, University of Waterloo Michael Franz, University of California, Irvine Flavio Garcia, University of Birmingham Christian Hammer, CISPA, Saarland University Marieke Huisman, University of Twente Martin Johns, SAP Research Stefan Katzenbeisser, Technische Universität Darmstadt Johannes Kinder, Royal Holloway University of London Andy King, University of Kent Jacques Klein, University of Luxembourg Andrea Lanzi, University of Milan Wenke Lee, Georgia Institute of Technology Zhenkai Liang, National University of Singapore Ben Livshits, Microsoft Research Heiko Mantel, Technische Universität Darmstadt Nick Nikiforakis, Stony Brook University Martin Ochoa, Singapore University of Technology and Design Mathias Payer, Purdue University Frank Piessens, KU Leuven Alexander Pretschner, Technische Universität München Awais Rashid, Lancaster University Mark Ryan, University of Birmingham Gianluca Stringhini, University College London Pierre-Yves Strub, IMDEA Software Institute Helmut Veith, Vienna University of Technology Santiago Zanella, Microsoft Research - INRIA Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From raoul.strackx at cs.kuleuven.be Thu Sep 10 06:56:44 2015 From: raoul.strackx at cs.kuleuven.be (Raoul Strackx) Date: Thu, 10 Sep 2015 06:56:44 +0200 Subject: [fg-arc] [ESSoS'16] CfP: Deadlines approaching! Message-ID: <55F10D8C.1080102@cs.kuleuven.be> ======================================================================= == International Symposium on == == Engineering Secure Software and Systems (ESSoS) == == == == April 6 - 8, 2016, == == Royal Holloway, London, UK == == == == https://distrinet.cs.kuleuven.be/events/essos/2016 == == == == In cooperation with (pending): ACM SIGSAC and SIGSOFT == ======================================================================= == Approaching deadlines == Abstract submission: September 25, 2015 (anywhere on earth) Paper submission: October 2, 2015 (anywhere on earth) == Context and motivation == Trustworthy, secure software is a core ingredient of the modern world. So is the Internet. Hostile, networked environments, like the Internet, can allow vulnerabilities in software to be exploited from anywhere. High-quality security building blocks (e.g., cryptographic components) are necessary but insufficient to address these concerns. Indeed, the construction of secure software is challenging because of the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably improve the software's security properties. == Goal and setup == The goal of this symposium, which will be the eighth in the series, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and security engineering communities, and promote cross-fertilization. The symposium will feature two days of technical program including two keynote presentations. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in security software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. == Topics == The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (but not limited to): - Cloud security, virtualization for security - Mobile devices security - Automated techniques for vulnerability discovery and analysis - Model checking for security - Binary code analysis, reverse-engineering - Programming paradigms, models, and domain-specific languages for security - Operating system security - Verification techniques for security properties - Malware: detection, analysis, mitigation - Security in critical infrastructures - Security by design - Static and dynamic code analysis for security - Web applications security - Program rewriting techniques for security - Security measurements - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Computer forensics - Processes for the development of secure software and systems - Security testing - Embedded software security == Important dates == Abstract submission: September 25, 2015 (anywhere on earth) Paper submission: October 2, 2015 (anywhere on earth) Paper notification: December 7, 2015 Artifact evaluation submission: December, 16, 2015 Artifact evaluation notification: January, 6, 2016 Paper camera-ready: January 8, 2016 == Submission and format == The proceedings of the symposium are published by Springer-Verlag in the Lecture Notes in Computer Science Series (http://www.springer.com/lncs). Submissions should follow the formatting instructions of Springer LNCS. Submitted papers must present original, unpublished work of high quality. Two types of papers will be accepted: = Full papers (max 14 pages without bibliography/appendices) = Such papers may describe original technical research with a solid foundation, such as formal analysis or experimental results, with acceptance determined mostly based on novelty and validation. Or they may describe case studies applying existing techniques or analysis methods in industrial settings, with acceptance determined mostly by the general applicability of techniques and the completeness of the technical presentation details. = Idea papers (max 8 pages with bibliography) = Such papers may crisply describe a novel idea that is both feasible and interesting, where the idea may range from a variant of an existing technique all the way to a vision for the future of security technology. Idea papers allow authors to introduce ideas to the field and get feedback, while allowing for later publication of complete, fully-developed results. Submissions will be judged primarily on novelty, excitement, and exposition, but feasibility is required, and acceptance will be unlikely without some basic, principled validation (e.g., extrapolation from limited experiments or simple formal analysis). In the proceedings, idea papers will clearly identified by means of the "Idea" tag in the title. == Artifact evaluation == For possibly the first time at a security conference, ESSOS’16 will offer a voluntary artifact evaluation. Artifact evaluation is meant to encourage the submission and publication of proven, reusable research artifacts. Authors of accepted papers will be able to apply their artifacts (software, datasets, etc.) to be examined by the Artifact Evaluation Committee (AEC). Artifacts will be submitted after paper notification. If all artifacts perform to the satisfaction of the committee, in particular if they allow for the paper’s results to be reproduced, then the paper will be recognized with the Artifact Evaluation Award and the authors will enjoy the following benefits: - Authors will be able to mention the award on the paper’s front page, in the form of a virtual award plaque. - Awarded artifacts will be recognized on the conference web page. - Authors can use one additional page in the proceedings, which can be used to describe their artifacts. - Authors will be able to briefly present their awarded artifacts in a dedicated artifact session (in addition to their usual paper presentation). Artifact evaluation submissions will be mainly evaluated based on two criteria: (1) Artifact packaging and reproducibility. (2) Artifact implementation and usability. More information is available on the ESSOS web page. More information about previous artifact evaluations can be found at: http://www.artifact-eval.org/ Important dates: Artifact evaluation submission: December 16, 2015 Artifact evaluation notification: January 6, 2016 == Confirmed invited speakers == Apart from technical presentations, the following invited speakers have confirmed their participation in ESSOS: - David Basin, ETH Zürich - Karsten Nohl, Security Research Labs == Steering committee == Jorge Cuellar (Siemens AG) Wouter Joosen (Katholieke Universiteit Leuven) - chair Fabio Massacci (Università di Trento) Gary McGraw (Cigital) Bashar Nuseibeh (The Open University) Daniel Wallach (Rice University) == Organizing committee == General chair: Lorenzo Cavallaro (Royal Holloway University of London) Program co-chairs: Eric Bodden (Fraunhofer SIT & TU Darmstadt), Juan Caballero (IMDEA Software Institute) Artifact evaluation co-chairs: Alessandra Gorla (IMDEA Madrid), Jacques Klein (SnT Luxembourg) Publication chair: Elias Athanasopoulos (FORTH) Publicity chair: Raoul Strackx (KU Leuven) Web chair: Ghita Saevels (Katholieke Universiteit Leuven) == Program committee == Javier Alonso, Universidad de Leon & Duke University Michele Bugliesi, Università Ca' Foscari Venezia Werner Dietl, University of Waterloo Michael Franz, University of California, Irvine Flavio Garcia, University of Birmingham Christian Hammer, CISPA, Saarland University Marieke Huisman, University of Twente Martin Johns, SAP Research Stefan Katzenbeisser, Technische Universität Darmstadt Johannes Kinder, Royal Holloway University of London Andy King, University of Kent Jacques Klein, University of Luxembourg Andrea Lanzi, University of Milan Wenke Lee, Georgia Institute of Technology Zhenkai Liang, National University of Singapore Ben Livshits, Microsoft Research Heiko Mantel, Technische Universität Darmstadt Nick Nikiforakis, Stony Brook University Martin Ochoa, Singapore University of Technology and Design Mathias Payer, Purdue University Frank Piessens, KU Leuven Alexander Pretschner, Technische Universität München Awais Rashid, Lancaster University Mark Ryan, University of Birmingham Gianluca Stringhini, University College London Pierre-Yves Strub, IMDEA Software Institute Helmut Veith, Vienna University of Technology Santiago Zanella, Microsoft Research - INRIA Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From raoul.strackx at CS.KULEUVEN.BE Thu Sep 10 06:54:40 2015 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Thu, 10 Sep 2015 06:54:40 +0200 Subject: [fg-arc] [ESSOS] [ESSoS'16] CfP: Deadlines approaching! Message-ID: <55F10D10.4060506@cs.kuleuven.be> ======================================================================= == International Symposium on == == Engineering Secure Software and Systems (ESSoS) == == == == April 6 - 8, 2016, == == Royal Holloway, London, UK == == == == https://distrinet.cs.kuleuven.be/events/essos/2016 == == == == In cooperation with (pending): ACM SIGSAC and SIGSOFT == ======================================================================= == Approaching deadlines == Abstract submission: September 25, 2015 (anywhere on earth) Paper submission: October 2, 2015 (anywhere on earth) == Context and motivation == Trustworthy, secure software is a core ingredient of the modern world. So is the Internet. Hostile, networked environments, like the Internet, can allow vulnerabilities in software to be exploited from anywhere. High-quality security building blocks (e.g., cryptographic components) are necessary but insufficient to address these concerns. Indeed, the construction of secure software is challenging because of the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably improve the software's security properties. == Goal and setup == The goal of this symposium, which will be the eighth in the series, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and security engineering communities, and promote cross-fertilization. The symposium will feature two days of technical program including two keynote presentations. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in security software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. == Topics == The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (but not limited to): - Cloud security, virtualization for security - Mobile devices security - Automated techniques for vulnerability discovery and analysis - Model checking for security - Binary code analysis, reverse-engineering - Programming paradigms, models, and domain-specific languages for security - Operating system security - Verification techniques for security properties - Malware: detection, analysis, mitigation - Security in critical infrastructures - Security by design - Static and dynamic code analysis for security - Web applications security - Program rewriting techniques for security - Security measurements - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Computer forensics - Processes for the development of secure software and systems - Security testing - Embedded software security == Important dates == Abstract submission: September 25, 2015 (anywhere on earth) Paper submission: October 2, 2015 (anywhere on earth) Paper notification: December 7, 2015 Artifact evaluation submission: December, 16, 2015 Artifact evaluation notification: January, 6, 2016 Paper camera-ready: January 8, 2016 == Submission and format == The proceedings of the symposium are published by Springer-Verlag in the Lecture Notes in Computer Science Series (http://www.springer.com/lncs). Submissions should follow the formatting instructions of Springer LNCS. Submitted papers must present original, unpublished work of high quality. Two types of papers will be accepted: = Full papers (max 14 pages without bibliography/appendices) = Such papers may describe original technical research with a solid foundation, such as formal analysis or experimental results, with acceptance determined mostly based on novelty and validation. Or they may describe case studies applying existing techniques or analysis methods in industrial settings, with acceptance determined mostly by the general applicability of techniques and the completeness of the technical presentation details. = Idea papers (max 8 pages with bibliography) = Such papers may crisply describe a novel idea that is both feasible and interesting, where the idea may range from a variant of an existing technique all the way to a vision for the future of security technology. Idea papers allow authors to introduce ideas to the field and get feedback, while allowing for later publication of complete, fully-developed results. Submissions will be judged primarily on novelty, excitement, and exposition, but feasibility is required, and acceptance will be unlikely without some basic, principled validation (e.g., extrapolation from limited experiments or simple formal analysis). In the proceedings, idea papers will clearly identified by means of the "Idea" tag in the title. == Artifact evaluation == For possibly the first time at a security conference, ESSOS’16 will offer a voluntary artifact evaluation. Artifact evaluation is meant to encourage the submission and publication of proven, reusable research artifacts. Authors of accepted papers will be able to apply their artifacts (software, datasets, etc.) to be examined by the Artifact Evaluation Committee (AEC). Artifacts will be submitted after paper notification. If all artifacts perform to the satisfaction of the committee, in particular if they allow for the paper’s results to be reproduced, then the paper will be recognized with the Artifact Evaluation Award and the authors will enjoy the following benefits: - Authors will be able to mention the award on the paper’s front page, in the form of a virtual award plaque. - Awarded artifacts will be recognized on the conference web page. - Authors can use one additional page in the proceedings, which can be used to describe their artifacts. - Authors will be able to briefly present their awarded artifacts in a dedicated artifact session (in addition to their usual paper presentation). Artifact evaluation submissions will be mainly evaluated based on two criteria: (1) Artifact packaging and reproducibility. (2) Artifact implementation and usability. More information is available on the ESSOS web page. More information about previous artifact evaluations can be found at: http://www.artifact-eval.org/ Important dates: Artifact evaluation submission: December 16, 2015 Artifact evaluation notification: January 6, 2016 == Confirmed invited speakers == Apart from technical presentations, the following invited speakers have confirmed their participation in ESSOS: - David Basin, ETH Zürich - Karsten Nohl, Security Research Labs == Steering committee == Jorge Cuellar (Siemens AG) Wouter Joosen (Katholieke Universiteit Leuven) - chair Fabio Massacci (Università di Trento) Gary McGraw (Cigital) Bashar Nuseibeh (The Open University) Daniel Wallach (Rice University) == Organizing committee == General chair: Lorenzo Cavallaro (Royal Holloway University of London) Program co-chairs: Eric Bodden (Fraunhofer SIT & TU Darmstadt), Juan Caballero (IMDEA Software Institute) Artifact evaluation co-chairs: Alessandra Gorla (IMDEA Madrid), Jacques Klein (SnT Luxembourg) Publication chair: Elias Athanasopoulos (FORTH) Publicity chair: Raoul Strackx (KU Leuven) Web chair: Ghita Saevels (Katholieke Universiteit Leuven) == Program committee == Javier Alonso, Universidad de Leon & Duke University Michele Bugliesi, Università Ca' Foscari Venezia Werner Dietl, University of Waterloo Michael Franz, University of California, Irvine Flavio Garcia, University of Birmingham Christian Hammer, CISPA, Saarland University Marieke Huisman, University of Twente Martin Johns, SAP Research Stefan Katzenbeisser, Technische Universität Darmstadt Johannes Kinder, Royal Holloway University of London Andy King, University of Kent Jacques Klein, University of Luxembourg Andrea Lanzi, University of Milan Wenke Lee, Georgia Institute of Technology Zhenkai Liang, National University of Singapore Ben Livshits, Microsoft Research Heiko Mantel, Technische Universität Darmstadt Nick Nikiforakis, Stony Brook University Martin Ochoa, Singapore University of Technology and Design Mathias Payer, Purdue University Frank Piessens, KU Leuven Alexander Pretschner, Technische Universität München Awais Rashid, Lancaster University Mark Ryan, University of Birmingham Gianluca Stringhini, University College London Pierre-Yves Strub, IMDEA Software Institute Helmut Veith, Vienna University of Technology Santiago Zanella, Microsoft Research - INRIA From zimmer at informatik.uni-halle.de Fri Sep 11 17:57:58 2015 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Fri, 11 Sep 2015 17:57:58 +0200 Subject: [fg-arc] =?utf-8?q?SE_2016_-_Aufruf_f=C3=BCr_Workshops_zur_Softwa?= =?utf-8?q?re_Engineering_Tagung_2016?= Message-ID: <55F2FA06.8060306@informatik.uni-halle.de> Workshops Die deutsche Software Engineering Tagung ist das wichtigste jährliche Treffen der Software Engineering-Community im deutschsprachigen Raum. In diesem Jahr steht die Tagung unter dem Motto “Software Engineering für Smart Cities!”. Neben dem technisch-wissenschaftlichen Hauptprogramm stellt das Workshop-Programm immer einen wesentlichen Bestandteil des Tagungs-Programms dar. Durch das offene Workshop-Format ist es sogar in besonderer Weise möglich neue Teilgebiete des Software Engineering zu fördern und eine starke Vernetzung und Kooperation von Wissenschaft und Praxis zu erreichen. Prinzipiell sind alle Themen mit klarem Software-Engineering-Bezug mögliche Workshop-Themen. Einreichungen Vorschläge für Workshops sollten die folgenden Informationen enthalten und nicht mehr als drei Seiten umfassen: 1. Angabe der Hauptkontaktperson mit vollständigen Kontaktdaten und zusätzlichen Organisatoren 2. Darstellung des Erfahrungshintergrunds der Organisatoren (sowohl in Bezug auf Workshops als auch allgemein) 3. Gewünschte Länge (Halbtages- / Ganztages-Workshop) und bevorzugtes Datum (23. oder 26. Februar 2016) 4. Titel, Akronym, Thema (inkl. Motivation warum dieses Thema für die SE 2016 wichtig ist) 5. Erwartete Ergebnisse (Arbeitsziele) des Workshops 6. Zusammenfassung (max. 150 Worte) für die Workshopdarstellung auf der Webseite der SE 2016. Es wird erwartet, dass der Workshop bei Annahme eine eigene, zusätzliche Webseite erstellt. 7. Eine Erläuterung des geplanten Ablaufs, dabei sollte insbesondere deutlich werden welchen Umfang Diskussionen und welchen Vorträge haben werden und in welcher Weise die Organisatoren beabsichtigen die Diskussionen anzuregen. 8. Liste der Programm-Komitee-Mitglieder (Vorschläge und bereits eingeholte Zusagen) 9. Erläuterung der Werbestrategie 10. Erläuterung des Auswahlprozesses für Workshopbeiträge (dieser muss wissenschaftlichen Standards genügen) 11. Angabe der erwarteten und der minimalen Zahl der Teilnehmer. Bei neuen Workshops = begründete Schätzung, bei Workshops, die zuvor bereits gehalten wurden: Erfahrungswerte 12. Darstellung der notwendigen Raumausstattung und anderer organisatorischer Voraussetzungen Die Vorschläge können jederzeit an wolf.zimmermann at informatik.uni-halle.de eingereicht werden. Um eine frühzeitige Organisation und Werbung zu ermöglichen, erhalten Sie so früh als möglich, in jedem Fall innerhalb von vier Wochen eine Entscheidung. Bei Fragen wenden Sie sich bitte an den Verantwortlichen für das Workshop-Programm: Wolf Zimmermann, wolf.zimmermann at informatik.uni-halle.de Akzeptierte Workshops müssen von den jeweiligen Organisatoren geeignet angekündigt werden. Die SE 2016 wird zusätzlich einen gemeinsamen Call für alle Workshops veröffentlichen. Die Organisatoren werden gebeten, nachdem ihr Thema akzeptiert wurde, eine Webseite einzurichten, mit deren Hilfe sie die Teilnehmer über Inhalte und zeitlichen Ablauf, sowie über den Workshop im Allgemeinen informieren. Darüber hinaus können die Organisatoren eine zweiseitige Beschreibung des Workshops im Tagungsband veröffentlichen (LNI-Format). Die Konferenzorganisation behält es sich vor, Workshops mit weniger als 8 zahlenden Teilnehmern abzusagen. Workshop-Kommittee Anne Koziolek (KIT) Christian Panis (Catena, Niederlande) Sibylle Schupp (Technische Universität Hamburg-Harburg) Wolf Zimmermann (Martin-Luther-Universität Halle-Wittenberg, Vorsitz) Wichtige Daten jederzeit bis spätestens 7. Oktober 2015 Einreichungsfrist für Workshop-Vorschläge fortlaufend nach Einreichung Benachrichtigung bis spätestens 1. Dezember 2015 Workshop-Beschreibung (für Tagungsband) bis spätestens 7. Dezember 2015 Einreichung Workshop-Beiträge bis spätestens 21. Dezember 2015 Benachrichtigung zu Workshop-Beiträgen bis spätestens 20. Januar 2016 Finale Beiträge -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sat Sep 12 14:22:00 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 12 Sep 2015 14:22:00 +0200 Subject: [fg-arc] BigDat 2016: early registration deadline 22 September Message-ID: <273ee1ad23945759001d6fb3d551048f@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************   2ND INTERNATIONAL WINTER SCHOOLON BIG DATA   BIGDAT 2016 BILBAO, SPAIN FEBRUARY 8-12, 2016 Organized by: Deusto University Rovira i Virgili University http://grammars.grlmc.com/BigDat2016/ ******************************************************** --- Early registration deadline: September 22, 2015 --- ******************************************************** AIM: BigDat 2016 will be a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 5 keynote lectures, 16 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates 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 assumed for some of them. BigDat 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, at least 2 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 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the GuggenheimMuseum. The venue will be: DeustoTech, School of Engineering DeustoUniversity Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: tba PROFESSORS AND COURSES: (to be completed) Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Edward Y. Chang (HTC Health, Taipei), [introductory/intermediate] Big Data Analytics for Healthcare: Scalable Algorithms and Applications Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities Ernesto Damiani (University of Milan), tba Francisco Herrera (University of Granada), [introductory] Big Data Preprocessing George Karypis (University of Minnesota), [intermediate/advanced] Scaling Up Recommender Systems Chih-Jen Lin (NationalTaiwanUniversity), [introductory/intermediate] Large-scale Linear Classification Geoff McLachlan (University of Queensland), tba Wladek Minor (University of Virginia), [introductory/intermediate] Big Data and Structural Biology and Chemistry Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Granular Mining: Relevance to Big Data Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space Jeffrey Ullman (StanfordUniversity), [introductory] Big Data Algorithms that Aren't Machine Learning Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Big Data Analytics for Social Networks Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/advanced] Large Scale Graph Analytics and Mining OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu (at) urv.cat by February 5, 2016. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Martín-Vide (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2016/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: Participants are expected to attend full-time. Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be available on the webpage in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: DeustoUniversity Rovira i VirgiliUniversity -------------- next part -------------- An HTML attachment was scrubbed... URL: From anne.koziolek at kit.edu Mon Sep 14 11:43:53 2015 From: anne.koziolek at kit.edu (Anne Koziolek (IPD)) Date: Mon, 14 Sep 2015 11:43:53 +0200 Subject: [fg-arc] ACM SIGMETRICS Performance Evaluation Review (PER) Special issue on Challenges in Software Performance Message-ID: <55F696D9.1040109@kit.edu> ACM SIGMETRICS Performance Evaluation Review (PER) Special issue on Challenges in Software Performance Performance Evaluation Review (PER) is the quarterly publication of ACM SIGMETRICS. PER is sent to all SIGMETRICS members and is available through the ACM digital library. PER invites articles for a special issue entitled “Challenges in Software Performance”. Software systems have become increasingly complex. Such complexity makes it extremely challenging to deliver systems that meet their performance requirements. In recent years, there have been several high profile instances of projects that failed due to performance-related issues, e.g., the rollout of the healthcare.gov Web site. This motivates the need for new approaches for software developers to address performance problems. The special issue invites previously unpublished research, experience, and vision papers related to this theme. Ideas applicable at any stage of the software development lifecycle are welcome. Topics of interest include (but are not limited to) the following: * Challenges in applying model-driven Software Performance Engineering (SPE) to modern systems * Techniques to handle complexity and unpredictability introduced by cloud, virtualization, and third-party components * Applying SPE to Big Data systems * Exploiting Big Data analytics for software performance prediction * SPE for embedded and cyber-physical systems * Integration of DevOps and SPE * Performance testing and benchmarking challenges in modern systems * New approaches for measurement based performance evaluation * Performance-aware migration of software systems * Performance methods geared towards adaptive systems * The business case for SPE and other proactive performance approaches * Methods for deriving and exploiting performance models of applications Submissions should not exceed 10 pages. A sample Latex template can be found at http://www.sigmetrics.org/sig-alternate-per.cls. Submitted papers will undergo peer review by at least 2 reviewers. Papers are NOT copyrighted, and hence can be submitted later to a conference or journal. Submissions must be emailed in PDF format to the guest co-editors. Deadlines: Notification of intent to submit: October 16, 2015 Submission deadline: October 30, 2015 Acceptance notification: November 30, 2015 Camera-ready copy due: January 4, 2016 Guest co-editors: Anne Koziolek (anne.koziolek at kit.edu) Diwakar Krishnamurthy (dkrishna at ucalgary.ca) From marcel at ru.is Mon Sep 14 20:02:54 2015 From: marcel at ru.is (Marcel Kyas) Date: 14 Sep 2015 18:02:54 +0000 Subject: [fg-arc] Reminder, deadline is next week. iFM 2016, Reykjavik, Iceland: Final Call for Workshops Message-ID: <188e90$23rga@mx02-internal.ru.is> ****************************************************************************** 12th International Conference on integrated Formal Methods, iFM 2016 http://ifm2016.ru.is June 1-5, 2016 - Reykjavik, Iceland ****************************************************************************** *** Extended deadline *** CALL FOR AFFILIATED WORKSHOPS ============================= Prospective workshop organizers are invited to submit proposals for workshops to be affiliated to iFM 2016, on topics related to the conferences main subjects. Important Dates --------------- Submission of workshop proposals: by September 21, 2015 (extended) Notification: by Oktober 5, 2015 (extended) Workshops: June 4-5, 2016 Submission via e-mail --------------------- Marcel Kyas - Workshop chair Wojciech Mostowski - Workshop chair About iFM --------- iFM 2016 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. One day workshops will be held in conjunction with the main events. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise. The following speakers are invited to iFM2016: * Marsha Chechik (University of Toronto, Canada) * Edmund M. Clarke (Carnegie Mellon University, USA) * Laura Kovács (Chalmers University of Technology, Sweden) * Reiner Hähnle (Technical University Darmstadt, Germany) The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on June 4-5, 2016. Proposal and Submission Guidelines ---------------------------------- Workshop proposals must be written in English, not exceed 5 pages with a reasonable font and margins, and be submitted in PDF format via email to Marcel Kyas (marcel at ru.is). Proposals should include: * The name and the preferred date of the proposed workshop * A short description of the workshop. * If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. * The publicity strategy that will be used by the workshop organizers to promote the workshop. * The participant solicitation and selection process. * The target audience and expected number of participants. * Approximate budget proposal (see section Budget below for details). * The equipment and any other resource necessary for the organization of the workshop. * The name and short CV of the organizer(s). * The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). Organizers Responsibilities --------------------------- The scientific responsibility of organizing a workshop goes to the workshop organizers. In particular, they are responsible for the following items: * A workshop description (200 words) for inclusion n the iFM site. * Hosting and maintaining web pages to be linked from the iFM site. Workshop organizers can integrate their pages into the main iFM pages. * Workshop proceedings, if any. If there is sufficient interest, the organizer of iFM 2016 may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (http://info.eptcs.org/) for having a common volume dedicated to the workshops of iFM 2016. * Workshop publicity (possibly including call for papers, submission and review process). * Scheduling workshop activities in collaboration with the iFM workshop chair. If you intend to organize a workshop but you need more time to prepare your proposal please let us know. Please note that as the number of tourists travelling to Iceland in summer time is exceeding its population, we need to know the number of participants before March 23 to be able to reserve accommodation. We cannot guarantee accomodation for participants that register after March 23. Budget ------ The iFM organization will provide registration and organizational support for the workshops (including link from the conferences web sites, set-up of meeting space, on-line and on-site registration). Registration fees must be paid for all participants, including organizers and invited guests. To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by the iFM organizers as part of the registration, then additional funds will be redistributed to the individual workshop organizers. Evaluation Process ------------------ The proposals will be evaluated by the iFM organizing committee on the basis of their assessed benefit for prospective participants of iFM 2016. Prospective organizers may wish to consult the web pages of previous satellite events as examples: * iFM 2014: http://ifm2014.cs.unibo.it/workshops.html * iFM 2013: http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php * iFM 2012: http://ifm-abz.isti.cnr.it/styled-4/speakers.html * iFM 2010: http://ifm2010.loria.fr/satellite.html * iFM 2009: http://www.formal-methods.de/ifm09/workshops.html Venue ----- iFM 2016 will take place at the Campus of Reykjavik University, Iceland. The campus at Reykjavik University is set in one of the most beautiful areas next to Iceland's only geothermal beach. The building has well equipped classrooms. Further Information and Enquiries --------------------------------- Please contact the workshop chair Marcel Kyas From aali at ltu.edu Mon Sep 14 23:16:36 2015 From: aali at ltu.edu (Ahad Ali) Date: Mon, 14 Sep 2015 17:16:36 -0400 Subject: [fg-arc] 2016 IEOM Conference in KL - IEEE Xplore and Scopus Indexing Message-ID: An HTML attachment was scrubbed... URL: From burger at kit.edu Tue Sep 15 09:32:22 2015 From: burger at kit.edu (Erik Burger) Date: Tue, 15 Sep 2015 09:32:22 +0200 Subject: [fg-arc] Aufruf Tutorien Modellierung 2016 Message-ID: <55F7C986.6080501@kit.edu> +--------------------------------------------------------------------+ | Fachtagung | | | | MODELLIERUNG 2016 | | | | 02.-04. März 2016 | | Karlsruher Institut für Technologie | +--------------------------------------------------------------------+ Aufruf zur Einreichung von Tutorien =================================== Tutorien der Modellierung 2016 sollen interessante und zum praktischen Einsatz gereifte Methoden und Techniken vermitteln. Dabei sind Vorschläge aus allen im Aufruf zur Einreichung erwähnten Themenbereichen willkommen, die so aufbereitet sind, dass sie ein großes Publikum ansprechen. Geplant sind halbtägige Tutorien (120–180 Minuten). Einreichungen von Vorschlägen für Tutorien sollen bestehen * aus einem Abstract zur Beschreibung des Themas (ca. zwei Seiten), welcher die Ziele des Tutorials erläutert, sowie das Zielpublikum und die erforderlichen Vorkenntnisse beschreibt. * einem vorläufigen Plan zur Durchführung des Tutorials mit Gliederung und Zeitplan, sowie eine beispielhafte Auswahl aus dem Material, welches den Teilnehmern als Handzettel ausgehändigt werden soll. * einem Profil der Dozentinnen und Dozenten * Informationen darüber, wann und wo das Tutorial schon angeboten wurde. Bitte senden Sie Ihre Vorschläge bis zum 7.12.2015 an Erik Burger (burger at kit.edu) und Norbert Seyff (seyff at ifi.uzh.ch). Termine ======= 7.12.2015 Einreichung der Vorschläge für Tutorien 11.1.2016 Mitteilung der Annahmeentscheidung 15.2.2016 Einreichung der Druckvorlagen für die Handouts 2.-4.3.2016 Tagung »Modellierung 2016« Tagungsort ========== Karlsruher Institut für Technologie, Kaiserstraße 12, 76131 Karlsruhe Verantwortliche =============== Tagungsleitung -------------- Andreas Oberweis (KIT/FZI) Ralf Reussner (KIT/FZI) Tutorien -------- Erik Burger (KIT) Norbert Seyff (Universität Zürich) Homepage ======== http://www.modellierung2016.org/tutorien/ From eichelberger at sse.uni-hildesheim.de Mon Sep 21 16:15:53 2015 From: eichelberger at sse.uni-hildesheim.de (Holger Eichelberger) Date: Mon, 21 Sep 2015 16:15:53 +0200 Subject: [fg-arc] CfP: First International Workshop on Big Data Processing - Reloaded (BDPR'16) Message-ID: <56001119.7040000@sse.uni-hildesheim.de> [please apologize cross-postings] First International Workshop on Big Data Processing - Reloaded, March 15th, 2016 Bordeaux, France (http://bdpr2016.l3s.uni-hannover.de/) co-located with EDBT/ICDT 2016 Important dates: Submission Deadline: December 2, 2015 Big data processing has gained much attention in the recent years raising the need for stream processing solutions. At the same time, there has been substantial research and development of methods and technologies that have high potential for further progress in stream processing. This includes (i) flexible stream processing infrastructures that go beyond MapReduce, such as Apache Storm and Apache Spark, (ii) generic and application-specific stream processing algorithms, (iii) reconfigurable hardware more accessible to programmers as well as initial experience of using such components as coprocessors when processing streams, (iv) scalable algorithms for social web analysis or new approaches to data visualization, etc. It is the goal of this workshop to discuss latest developments in this area and to relate them to each other. To this end, we want to provide a forum to discuss challenges, advances, and directions in this area while also providing the right environment to network with people working on related topics and fostering future collaborations. In addition, the workshop is especially interested in exploring how those new developments can be exploited and combined, such that effective, scalable and adaptive stream processing systems can be build efficiently for applications in the financial and other domains. Topics of Interest The workshop solicits regular research papers describing preliminary and ongoing research results. Topics of interest for submissions include, but are not limited to: * Technologies and methods for flexible data processing infrastructures * Adaptive data stream processing * Big data analytics in the financial and other domains * Offloading computationally intensive processing to co-processors, including FPGAs, GPUs, etc. * Novel development approaches for stream processing pipelines and applications * Composition of multiple data streams and multi evidence combination * Semantic-based Data Mining and Data Pre-processing * Stream-based Link and Graph Mining * Quality issues in stream processing pipelines, including result quality and functional validation Submission should not exceed 7 pages and should be formatted according to the ACM SIG Proceedings double-column template. All workshop papers will be published online at CEUR. Please use the following link for the Submission of your paper (EasyChair): https://easychair.org/conferences/?conf=bdpr2016 Programme Chairs * Minos Garofalakis, Technical University of Crete, Greece * Graham Cormode, University of Warwick, UK Organizers * Claudia Niederée, L3S Research Center, Germany * Holger Eichelberger, University of Hildesheim, Germany * Ekaterini Ioannou, Technical University of Crete, Greece Programme Committee * Philippe Cudre-Mauroux, University of Freibourg, Switzerland * Luciano Baresi, Politechnico di Milano, Italy * Kjetil Norvag, Norwegian University of Science and Technology, Norway * Heiko Schuldt, University of Basel, Switzerland * Yannis Velegrakis, University of Trento, Italy * Ekaterini Ioannou, Technical University of Crete, Greece * Apostolos Dollas, Technical University of Crete, Greece * Odysseas Papapetrou, Technical University of Crete, Greece * Klaus Schmid, University of Hildesheim, Germany * Sergej Zerr, L3S Research Center, Germany From grlmc at grlmc.com Sat Sep 19 09:46:55 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 19 Sep 2015 09:46:55 +0200 Subject: [fg-arc] LATA 2016: 2nd call for papers Message-ID: <71a2cf4130b35085ccfe35e51ed774ae@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** 10TH INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2016   PRAGUE, CZECH REPUBLIC   MARCH 14-18, 2016 Organized by: Department of Theoretical Computer Science Faculty of Information Technology CzechTechnicalUniversity in Prague Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2016/ **************************************************************************************** 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 VirgiliUniversity in Tarragona since 2002, LATA 2016 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 2016 will take place in Prague, a city full of history and cultural attractions, and one of the political and economic cores of central Europe. The venue will be the campus of the CzechTechnicalUniversity in the Dejvice quarter.   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 mathematical and logical foundations of programming methodologies 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 2016 will consist of: invited talks invited tutorials peer-reviewed contributions   INVITED SPEAKERS: (to be completed) Martin Grohe (RWTHAachenUniversity), Connectivity Systems, Decompositions, and Tangles Jean-François Raskin (Free University of Brussels), Non-zero Sum Games for Reactive Synthesis Frank Wolter (University of Liverpool), Automata for Ontologies   PROGRAMME COMMITTEE: Amihood Amir (Bar-IlanUniversity, Ramat Gan, Israel) Dana Angluin (YaleUniversity, New Haven, USA) Franz Baader (Technical University of Dresden, Germany) Christel Baier (Technical University of Dresden, Germany) Hans L. Bodlaender (UtrechtUniversity, The Netherlands) Jean-Marc Champarnaud (University of Rouen, France) Bruno Courcelle (LaBRI, Bordeaux, France) Rod Downey (VictoriaUniversity of Wellington, New Zealand) Frank Drewes (Umeå University, Sweden) Ding-Zhu Du (University of Texas, Dallas, USA) Javier Esparza (Technical University of Munich, Germany) Michael Fellows (CharlesDarwinUniversity, Darwin, Australia) Mohammad Taghi Hajiaghayi (University of Maryland, College Park, USA) Yo-Sub Han (YonseiUniversity, Seoul, South Korea) Markus Holzer (University of Giessen, Germany) Juraj Hromkovič (ETH Zurich, Switzerland) Oscar H. Ibarra (University of California, Santa Barbara, USA) Costas S. Iliopoulos (King's College London, UK) Jan Janoušek (CzechTechnicalUniversity in Prague, Czech Republic) Galina Jirásková (SlovakAcademy of Sciences, Košice, Slovakia) Ming-Yang Kao (Northwestern University, Evanston, USA) Juhani Karhumäki (University of Turku, Finland) Joost-Pieter Katoen (RWTH Aachen University, Germany) Martin Kutrib (University of Giessen, Germany) Zhiwu Li (Xidian University, Xi'an, China) Andreas Malcher (University of Giessen, Germany) Oded Maler (VERIMAG, Gières, France) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Bořivoj Melichar (CzechTechnicalUniversity in Prague, Czech Republic) Ugo Montanari (University of Pisa, Italy) František Mráz (CharlesUniversity in Prague, Czech Republic) Mitsunori Ogihara (University of Miami, Coral Gables, USA) Alexander Okhotin (University of Turku, Finland) Doron A. Peled (Bar-IlanUniversity, Ramat Gan, Israel) Martin Plátek (CharlesUniversity in Prague, Czech Republic) Alberto Policriti (University of Udine, Italy) Daniel Reidenbach (University of Loughborough, UK) Antonio Restivo (University of Palermo, Italy) Kai Salomaa (Queen's University, Kingston, Canada) Davide Sangiorgi (University of Bologna, Italy) Uli Sattler (University of Manchester, UK) Frits Vaandrager (RadboudUniversity, Nijmegen, The Netherlands) Pierre Wolper (University of Liège, Belgium) Zhilin Wu (Chinese Academy of Sciences, Beijing, China) Mengchu Zhou (New Jersey Institute of Technology, Newark, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Jan Janoušek (Prague, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Radomír Polách (Prague) Eliška Šestáková (Prague) Jan Trávníček (Prague) 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, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 [1]). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=lata2016   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 August 28, 2015 to March 14, 2016. The registration form can be found at: http://grammars.grlmc.com/lata2016/Registration.php DEADLINES: Paper submission: October 19, 2015 (23:59 CET) Notification of paper acceptance or rejection: November 27, 2015 Final version of the paper for the LNCS proceedings: December 7, 2015 Early registration: December 7, 2015 Late registration: February 29, 2016 Submission to the journal special issue: June 18, 2016   QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS: LATA 2016 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: České vysoké učení technické v Praze Universitat Rovira i Virgili Links: ------ [1] http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 -------------- next part -------------- An HTML attachment was scrubbed... URL: From rim.abid at inria.fr Tue Sep 22 12:06:29 2015 From: rim.abid at inria.fr (rim.abid at inria.fr) Date: Tue, 22 Sep 2015 12:06:29 +0200 (CEST) Subject: [fg-arc] Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Final CFP Message-ID: <201509221006.t8MA6TSD008172@adret.inrialpes.fr> ================================================== FINAL CALL FOR PAPERS -- ACM SAC-SVT 2016 ** Submission Extended to Sep. 28 ** 31st Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 3 - 8, 2016, Pisa, Italy More information: http://antares.sip.ucm.es/svt16/ and http://www.acm.org/conferences/sac/sac2016/ =================================================== Important dates --------------- * September 28, 2015: Paper submission (EXTENDED DEADLINE) * November 13, 2015: Paper notification * December 11, 2015: Camera-Ready Copies ACM Symposium on Applied Computing ---------------------------------- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2016 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the University of Pisa and Scuola Superiore Sant'Anna University, Italy 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/sac2016/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 2016 proceedings. Paper registration is required, allowing the inclusion of papers, posters, or SRC abstracts in the conference proceedings. An author or a proxy attending SAC MUST present the work. This is a requirement for the presented work to be included in the ACM/IEEE digital library. No-show of registered papers, posters, and SRC abstracts will result in excluding them from the ACM/IEEE digital library. A special issue of Journal of Systems and Software has been confirmed. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of Journal of Systems and Software. Student Research Competition ---------------------------- As before, SAC 2016 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/sac2016/. Submission to the SRC program should be in electronic form via the following website http://www.acm.org/conferences/sac/sac2016/SRC-SubmissionUploadPage.htm Program Committee ----------------- Rui Abreu, University of Porto, Portugal Cristiano Braga, Universidade Federal Fluminense, Brazil Radu Calinescu, University of York, UK Ana Cavalli, National Institute of Telecommunications, France Byoungju Choi, Ewha Womans University, Republic of Korea Maximiliano Cristi�, Universidad Nacional de Rosario, Argentina Khaled El-Fakih, American University of Sharjah, UAE Ylies Falcone, University of Grenoble Alpes, France Maria del mar Gallardo, University of Malaga, Spain Arie Gurfinkel, Carnegie Mellon University, USA Tingting Han, University of London, UK Klaus Havelund, Nasa Jet Propulsion Laboratory, USA Ralf Huuck, UNSW, Australia Nikolai Kosmatov, CEA, France Stefan Leue, University of Konstanz, Germany Luis Llana, Universidad Complutense de Madrid, Spain Jasen Markovski, R&D group, GN Resound Benelux, The Netherlands Mohammad Mousavi, Halmstad University, Sweden Madhavan Mukund, Chennai Mathematical Institute, India Shin Nakajima, National Institute of Informatics, Tokyo, Japan Brian Nielsen, Aalborg University, Denmark Peter Olveczky, University of Oslo, Norway Jun Pang, University of Luxembourg, Luxembourg Adenilso Simao, ICMC/USP, Brazil Marjan Sirjani, Reykjavik University, Iceland Marielle Stoelinga, University of Twente, The Netherlands Jun Sun, Singapore University of Technology and Design Tanja Vos, Valencia University, Spain Carsten Weise, Imbus AG, Germany Anton Wijs, Eindhoven University of Technology, The Netherlands Nina Yevtushenko, Tomsk State University, Russia Cemal Yilmaz, Sabanci University, Turkey Fatiha Zaidi, Univ. Paris-Sud, France Gianluigi Zavattaro, University of Bologna, Italy Lijun Zhang, Chinese Academy of Sciences, China Program Committee Chairs ----------------- Mercedes G. Merayo, Universidad Complutense de Madrid, Spain Gwen Sala�n, University of Grenoble Alpes, France From marieke at vpn101020.vpn.utwente.nl Wed Sep 23 10:38:33 2015 From: marieke at vpn101020.vpn.utwente.nl (Marieke Huisman) Date: Wed, 23 Sep 2015 10:38:33 +0200 (CEST) Subject: [fg-arc] CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Message-ID: <20150923083835.0F1D921ABC0@vpn101020.vpn.utwente.nl> ============================================================ CALL FOR PAPERS iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ ============================================================ === Important dates === Abstract submission: December 21, 2015 Paper submission: January 6, 2016 Paper notification: February 29, 2016 Final version: March 14, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Submission guidelines === iFM 2016 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - research papers (max. 15 pages including bibliography) - regular tool papers (max. 15 pages including bibliography) - short tool papers (max. 8 pages including bibliography) - case study papers (max. 15 pages including bibliography) All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers. Submissions should be made using the iFM 2016 Easychair site: https://www.easychair.org/account/signin.cgi?conf=ifm2016 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date, to be indicated by the organizers, and present the paper. === Invited speakers === Marsha Chechik (University of Toronto, Canada) Laura Kovacs (Chalmers University of Technology, Sweden) Reiner Haehnle (Technical University Darmstadt, Germany) Edmund Clarke (Carnegie Mellon University, USA) === Workshops === iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://en.ru.is/ifm/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) From marieke at vpn101020.vpn.utwente.nl Wed Sep 23 10:38:33 2015 From: marieke at vpn101020.vpn.utwente.nl (Marieke Huisman) Date: Wed, 23 Sep 2015 10:38:33 +0200 (CEST) Subject: [fg-arc] CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Message-ID: <20150923083835.0F1D921ABC0@vpn101020.vpn.utwente.nl> ============================================================ CALL FOR PAPERS iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ ============================================================ === Important dates === Abstract submission: December 21, 2015 Paper submission: January 6, 2016 Paper notification: February 29, 2016 Final version: March 14, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Submission guidelines === iFM 2016 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - research papers (max. 15 pages including bibliography) - regular tool papers (max. 15 pages including bibliography) - short tool papers (max. 8 pages including bibliography) - case study papers (max. 15 pages including bibliography) All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers. Submissions should be made using the iFM 2016 Easychair site: https://www.easychair.org/account/signin.cgi?conf=ifm2016 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date, to be indicated by the organizers, and present the paper. === Invited speakers === Marsha Chechik (University of Toronto, Canada) Laura Kovacs (Chalmers University of Technology, Sweden) Reiner Haehnle (Technical University Darmstadt, Germany) Edmund Clarke (Carnegie Mellon University, USA) === Workshops === iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://en.ru.is/ifm/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) From marieke at vpn101020.vpn.utwente.nl Wed Sep 23 11:37:04 2015 From: marieke at vpn101020.vpn.utwente.nl (Marieke Huisman) Date: Wed, 23 Sep 2015 11:37:04 +0200 (CEST) Subject: [fg-arc] CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Message-ID: <20150923093705.C5DD221B7C9@vpn101020.vpn.utwente.nl> ============================================================ CALL FOR PAPERS iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ ============================================================ === Important dates === Abstract submission: December 21, 2015 Paper submission: January 6, 2016 Paper notification: February 29, 2016 Final version: March 14, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Submission guidelines === iFM 2016 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - research papers (max. 15 pages including bibliography) - regular tool papers (max. 15 pages including bibliography) - short tool papers (max. 8 pages including bibliography) - case study papers (max. 15 pages including bibliography) All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers. Submissions should be made using the iFM 2016 Easychair site: https://www.easychair.org/account/signin.cgi?conf=ifm2016 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date, to be indicated by the organizers, and present the paper. === Invited speakers === Marsha Chechik (University of Toronto, Canada) Laura Kovacs (Chalmers University of Technology, Sweden) Reiner Haehnle (Technical University Darmstadt, Germany) Edmund Clarke (Carnegie Mellon University, USA) === Workshops === iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://en.ru.is/ifm/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) From marieke at vpn101020.vpn.utwente.nl Wed Sep 23 11:43:03 2015 From: marieke at vpn101020.vpn.utwente.nl (Marieke Huisman) Date: Wed, 23 Sep 2015 11:43:03 +0200 (CEST) Subject: [fg-arc] CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Message-ID: <20150923094303.1EF2821BAC6@vpn101020.vpn.utwente.nl> ============================================================ CALL FOR PAPERS iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ ============================================================ === Important dates === Abstract submission: December 21, 2015 Paper submission: January 6, 2016 Paper notification: February 29, 2016 Final version: March 14, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Submission guidelines === iFM 2016 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - research papers (max. 15 pages including bibliography) - regular tool papers (max. 15 pages including bibliography) - short tool papers (max. 8 pages including bibliography) - case study papers (max. 15 pages including bibliography) All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers. Submissions should be made using the iFM 2016 Easychair site: https://www.easychair.org/account/signin.cgi?conf=ifm2016 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date, to be indicated by the organizers, and present the paper. === Invited speakers === Marsha Chechik (University of Toronto, Canada) Laura Kovacs (Chalmers University of Technology, Sweden) Reiner Haehnle (Technical University Darmstadt, Germany) Edmund Clarke (Carnegie Mellon University, USA) === Workshops === iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://en.ru.is/ifm/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) From grlmc at grlmc.com Sat Sep 26 08:19:04 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 26 Sep 2015 08:19:04 +0200 Subject: [fg-arc] TPNC 2015: call for posters Message-ID: <1484a933a9907bf12788f300224fe0ca@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** The 4th International Conference on the Theory and Practice of Natural Computing (TPNC 2015) invites authors to submit poster presentations. TPNC 2015 will be held in Mieres (Spain) on 15-16 December, 2015. See http://grammars.grlmc.com/TPNC2015/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion. TOPICS Authors are encouraged to submit presentations displaying novel work in progress on: - nature-inspired models of computation, - synthesizing nature by means of computation, - nature-inspired materials, - information processing in nature, - applications of natural computing. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Submission deadline: November 8, 2015 Notification of poster acceptance or rejection: November 15, 2015 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=tpnc2015 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2015. However, they will be eligible for submission to the post-conference journal special issue in Soft Computing (Springer). REGISTRATION At least one author of each accepted poster must register to the conference. Their registration fare is reduced: 225 Euro (appr. half of the cheapest fare for regular participants). Contributors of regular papers who in addition get a poster accepted must register for the latter too. -------------- next part -------------- An HTML attachment was scrubbed... URL: