From khadem at iieom.org Thu Oct 1 06:39:35 2015 From: khadem at iieom.org (IEOM Society) Date: Thu, 01 Oct 2015 00:39:35 -0400 Subject: [fg-arc] IEOM 2016 Malaysia Submission Extended to October 15th Message-ID: <72adfce0656d4c2ca2ddd53515438129@iieom.org> An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Fri Oct 2 20:26:51 2015 From: grlmc at grlmc.com (GRLMC) Date: Fri, 02 Oct 2015 20:26:51 +0200 Subject: [fg-arc] LATA 2016: 3rd call for papers Message-ID: <96c20a2cbd4672e06919822e6107fea1@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: Avrim Blum (CarnegieMellonUniversity), Reconstructing Preferences from Opaque Transactions Martin Grohe (RWTHAachenUniversity), Connectivity Systems, Decompositions, and Tangles Giovanni Pighizzini (University of Milan), Restricted Turing Machines and Language Recognition (tutorial) 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 the journal Information and Computation (Elsevier, 2014 JCR impact factor: 0.830) 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 raoul.strackx at cs.kuleuven.be Tue Oct 6 11:08:40 2015 From: raoul.strackx at cs.kuleuven.be (Raoul Strackx) Date: Tue, 6 Oct 2015 11:08:40 +0200 Subject: [fg-arc] [ESSoS'16] Call for Workshops/Doctoral Symposium Message-ID: <56138F98.4030300@cs.kuleuven.be> International Symposium on Engineering Secure Software and Systems (ESSoS) April 6 - 8, 2016, Royal Holloway, University of London, London, UK In cooperation with: (pending) ACM SIGSAC and SIGSOFT and IEEE CS (TCSP) https://distrinet.cs.kuleuven.be/events/essos/2016/ +----------------------------------------------------------------------+ | Call for Workshops/TutorialsESSoS | +----------------------------------------------------------------------+ Proposals for both tutorials and workshops are welcome and can be sent to essos [at] cs [dot] kuleuven [dot] be by October 23, 2015 (1-2 pages) +----------------------------------------------------------------------+ | Call for Doctoral Symposium ESSoS | +----------------------------------------------------------------------+ == Important dates == Paper submission deadline: February 26, 2016 Notification of acceptance: March 12, 2016 Camera ready version: March 25, 2016 == Description == The ESSoS Doctoral Symposium 2016 will be held in Egham, United Kingdom on Wednesday, April 6, 2016, as a satellite event of the ESSoS 2016 Symposium. Following the aim of the past ESSoS-DS editions, the scope of this year's event will be once more focused on providing PhD students an opportunity to discuss their research in Engineering Secure Software and Systems (ESSoS) in an international forum, and with a panel of well-known experts in the field. Following last year's successful idea the Symposium aims on bringing together a broad range of students: PhD students at the start of their trajectory, students who are about to finish (what are the pitfalls in the final stages?) and students in the middle (aiming for the first top-level publication). Students will have the occasion to discuss, in a welcoming and informal atmosphere, the goals already achieved or planned, the research challenges they are interested in, the projects they are working on, the facilities they are developing, the problems they fight to solve and are solving in their doctoral work. During the Doctoral Symposium students will receive useful feedback from senior researchers, industrial partners and experts. It will also be a good opportunity for meeting and sharing experiences with other PhD students that are addressing similar topics, or are at a similar stage in their doctoral work. This way, the students will obtain guidance both on the academic content of their current work and on potential future research trajectories. == Scope == PhD students carrying out research in Engineering Secure Software and Systems are invited to submit a position paper to the PhD Symposium. Short papers will be peer-reviewed by the Symposium's program committee members. The criteria used for accepting a paper include: - Contribution of the work to the ESSoS field - Originality of the work - Overall quality of the position paper == Topics == PhD proposals fitting into the ESSoS conference topics are especially encouraged. This includes but is not limited to: - Secure software engineering - Security testing - Systematic support for best practices - Security requirements and policies - Designing traditional and cloud-based systems for security and privacy - Threat modeling and analysis of vulnerabilities - Specification and verification of security and privacy - Programming languages for security - Security assurance cases - Assurance, certification, and accreditation - Trust modeling and analysis - Digital forensics - Security economics Accepted position papers will be presented during the ESSoS 2016 Doctoral Symposium and will be published on the ESSoS website (no formal proceedings). Presenters of the Doctoral Symposium will get an opportunity to present their work in poster format during the main program of ESSoS 2016. == Submission Instructions == Position papers should be two to six pages and formatted according to the LNCS guidelines. Position papers should include: - Author names and affiliations (PhD student + contributing team members if applicable) - Abstract (maximum 200 words) - The problem that the research addresses, and the motivation for solving it - Research methodology (to be) used to address the problem - Main (potential) contributions to the state of the art - Description of the work done to date (including results / publications), and a tentative research plan - Late stage students: The synergy and cohesion between the results, and the approach on how to complete the thesis Some PhD students who have delivered a top publication in the midst of their trajectory will be invited to present a testimonial; anybody can volunteer by sending a short email to the DS Chair (referring to their actual top publication). Submission site: https://easychair.org/conferences/?conf=essosdc16 == Doctoral Symposium Chair == Johannes Kinder (Royal Holloway, University of London, UK) Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From raoul.strackx at CS.KULEUVEN.BE Tue Oct 6 11:06:55 2015 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Tue, 6 Oct 2015 11:06:55 +0200 Subject: [fg-arc] [ESSOS] [ESSoS'16] Call for Workshops/Doctoral Symposium Message-ID: <56138F2F.8040701@cs.kuleuven.be> International Symposium on Engineering Secure Software and Systems (ESSoS) April 6 - 8, 2016, Royal Holloway, University of London, London, UK In cooperation with: (pending) ACM SIGSAC and SIGSOFT and IEEE CS (TCSP) https://distrinet.cs.kuleuven.be/events/essos/2016/ +----------------------------------------------------------------------+ | Call for Workshops/TutorialsESSoS | +----------------------------------------------------------------------+ Proposals for both tutorials and workshops are welcome and can be sent to essos [at] cs [dot] kuleuven [dot] be by October 23, 2015 (1-2 pages) +----------------------------------------------------------------------+ | Call for Doctoral Symposium ESSoS | +----------------------------------------------------------------------+ == Important dates == Paper submission deadline: February 26, 2016 Notification of acceptance: March 12, 2016 Camera ready version: March 25, 2016 == Description == The ESSoS Doctoral Symposium 2016 will be held in Egham, United Kingdom on Wednesday, April 6, 2016, as a satellite event of the ESSoS 2016 Symposium. Following the aim of the past ESSoS-DS editions, the scope of this year's event will be once more focused on providing PhD students an opportunity to discuss their research in Engineering Secure Software and Systems (ESSoS) in an international forum, and with a panel of well-known experts in the field. Following last year's successful idea the Symposium aims on bringing together a broad range of students: PhD students at the start of their trajectory, students who are about to finish (what are the pitfalls in the final stages?) and students in the middle (aiming for the first top-level publication). Students will have the occasion to discuss, in a welcoming and informal atmosphere, the goals already achieved or planned, the research challenges they are interested in, the projects they are working on, the facilities they are developing, the problems they fight to solve and are solving in their doctoral work. During the Doctoral Symposium students will receive useful feedback from senior researchers, industrial partners and experts. It will also be a good opportunity for meeting and sharing experiences with other PhD students that are addressing similar topics, or are at a similar stage in their doctoral work. This way, the students will obtain guidance both on the academic content of their current work and on potential future research trajectories. == Scope == PhD students carrying out research in Engineering Secure Software and Systems are invited to submit a position paper to the PhD Symposium. Short papers will be peer-reviewed by the Symposium's program committee members. The criteria used for accepting a paper include: - Contribution of the work to the ESSoS field - Originality of the work - Overall quality of the position paper == Topics == PhD proposals fitting into the ESSoS conference topics are especially encouraged. This includes but is not limited to: - Secure software engineering - Security testing - Systematic support for best practices - Security requirements and policies - Designing traditional and cloud-based systems for security and privacy - Threat modeling and analysis of vulnerabilities - Specification and verification of security and privacy - Programming languages for security - Security assurance cases - Assurance, certification, and accreditation - Trust modeling and analysis - Digital forensics - Security economics Accepted position papers will be presented during the ESSoS 2016 Doctoral Symposium and will be published on the ESSoS website (no formal proceedings). Presenters of the Doctoral Symposium will get an opportunity to present their work in poster format during the main program of ESSoS 2016. == Submission Instructions == Position papers should be two to six pages and formatted according to the LNCS guidelines. Position papers should include: - Author names and affiliations (PhD student + contributing team members if applicable) - Abstract (maximum 200 words) - The problem that the research addresses, and the motivation for solving it - Research methodology (to be) used to address the problem - Main (potential) contributions to the state of the art - Description of the work done to date (including results / publications), and a tentative research plan - Late stage students: The synergy and cohesion between the results, and the approach on how to complete the thesis Some PhD students who have delivered a top publication in the midst of their trajectory will be invited to present a testimonial; anybody can volunteer by sending a short email to the DS Chair (referring to their actual top publication). Submission site: https://easychair.org/conferences/?conf=essosdc16 == Doctoral Symposium Chair == Johannes Kinder (Royal Holloway, University of London, UK) From Frederic.Mallet at inria.fr Fri Oct 9 10:14:19 2015 From: Frederic.Mallet at inria.fr (=?ISO-8859-1?Q?MALLET_Fr=E9d=E9ric?=) Date: Fri, 09 Oct 2015 10:14:19 +0200 Subject: [fg-arc] CfP: TASE 2016 Message-ID: <5617775B.7040708@inria.fr> ***************************************************************************** 10th International Symposium on Theoretical Aspects of Software Engineering Call for Papers TASE 2016 July 17-19, 2016, Shanghai, China http://tase2016.ecnu.edu.cn * Important dates ********************************************************** Abstract research paper 10 January 2016 Submission research paper 17 January 2016 (strict) Author notification 20 March 2016 Camera ready copy 10 April 2016 ********************************************************** * Objectives and scope TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interests in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submissions of research papers on topics covering all theoretical aspects of software engineering, including, but not limited to, the following: + Abstract interpretation + Algebraic and co-algebraic specifications + Aspect oriented software + Component-based systems + Cyber-physical systems + Deductive verification + Distributed and concurrent systems + Embedded and real-time systems + Feature-oriented software + Formal verification and program semantics + Integration of formal methods + Language design + Model checking and theorem proving + Object-oriented systems + Program logics and calculi + Quantum computation + Run-time verification and monitoring + Service-oriented and cloud computing + Software architecture + Software testing and quality assurance + Software security and reliability + Static analysis of programs + Type systems and behavioural typing + Tools exploiting theoretical results * Venue and event TASE 2016 will be held on the campus of the East China Normal University in Shanghai, China, on 17 - 19 July 2016. * Keynote speakers Christel Baier (Technical University of Dresden, DE) Ana Cavalcanti (University of York, UK) Jifeng He (East China Normal University, CN) * General chairs W. Eric Wong (The University of Texas at Dallas, USA) Huibiao Zhu (East China Normal University, China) * PC chairs Marcello Bonsangue (Leiden University, NL) Yuxin Deng (East China Normal University, CN) * Publicity chairs Frederic Mallet (University of Nice Sophia Antipolis, FR) Min Zhang (East China Normal University, CN) * Programme committee Erika Abraham (RWTH Aachen University, DE) Bernhard Aichernig (Graz University of Technology, AT) Elvira Albert (Complutense University of Madrid, ES) Davide Ancona (University of Genova, IT) Farhad Arbab (CWI, NL) Luis Barbosa (University of Minho, PT) Richard Bubel (Techniacl University of Darmastadt, DE) Andrew Butterfield (Trinity College Dublin, IE) Marco Carbone (IT University of Copenhagen, DK) Rocco de Nicola (IMT-Institute for Advanced Studies, IT) Zhenhua Duan (Xidian University, CN) Yuxi Fu (Shanghai Jiao Tong University, CN) Stefania Gnesi (ISTI-CNR, IT) Hai-Feng Guo (University of Nebraska at Omaha, USA) Zhenjiang Hu (National Institute of Informatics, JP) Marieke Huisman (University of Tweente, NL) Dang Van Hung (Vietnam National University, VT) Einar Broch Johnsen (Oslo University, NO) Laura Kovacs (Chalmers University of Technology, SE) Xuandong Li (Nanjing University, CN) Shaoying Liu (Hosei University, JP) Zhiming Liu (Birmingham City University, UK) Antonia Lopes (University of Lisbon, PT) Frederic Mallet (University of Nice Sophia Antipolis, FR) Carroll Morgan (University of New South Wales, AU) Mohammad Reza Mousavi (Halmstad University, SE) Catuscia Palamidessi (INRIA, FR) Jun Pang (University of Luxembourg, LU) Luigia Petre (Abo Akademi University, FI) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, CN) Gerardo Schneider (Chalmers University of Technology, SE) Emil Sekerinski (McMaster University, CA) Georg Struth (University of Sheffield, UK) Jing Sun (University of Auckland, NZ) Jun Sun (Singapore University of Technology and Design, SG) Jean Pierre Talpin (INRIA, FR) Andrzej Tarlecki (Warsaw University, PL) Viktor Vafeiadis (MPI-SWS, DE) Chao Wang (Virginia Tech, US) Yi Wang (Uppsala University, SE) Heike Wehrheim (University of Paderborn, DE) W. Eric Wong (The University of Texas at Dallas, US) Lijun Zhang (Chinese Academy of Sciences, CN) Min Zhang (East China Normal University, CN) Huibiao Zhu (East China Normal University, CN) * Steering Committee: Keijiro Araki (Kyushu University, JP) Jifeng He (East China Normal University, CN) Michael Hinchey (Lero, IE) Shengchao Qin (Teesside University, UK) Huibiao Zhu (East China Normal University, CN) * Submission guidelines We solicit contributions that describe original and unpublished research, and should not be submitted for publication elsewhere. They are limited to 8 pages, must be written in English, and the format should adhere to the A4 double column IEEE style. Please prepare your manuscripts with respect to the IEEE guidelines. Papers should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=tase2016. The proceedings of the TASE 2016 symposium will include all accepted papers and will be published by the IEEE Computer Society Press (approval pending). The authors of selected papers will be invited after the symposium to submit an extended version to a journal special issue. ****************************************************************************** From j.j.chromik at utwente.nl Fri Oct 9 11:17:23 2015 From: j.j.chromik at utwente.nl (j.j.chromik at utwente.nl) Date: Fri, 9 Oct 2015 09:17:23 +0000 Subject: [fg-arc] Deadline extension for MMB&DFT 2016 Message-ID: [Our apologies for multiple copies] =================== DEADLINE EXTENSION FOR 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 26, 2015 (DEADLINE EXTENDED) 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 From grlmc at grlmc.com Fri Oct 9 21:29:14 2015 From: grlmc at grlmc.com (GRLMC) Date: Fri, 09 Oct 2015 21:29:14 +0200 Subject: [fg-arc] BigDat 2016: early registration deadline 19 October Message-ID: <0be58ab9249bd3d857bd050cb2c4f900@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************   2ND INTERNATIONAL WINTER SCHOOL ON BIG DATA   BIGDAT 2016 BILBAO, SPAIN FEBRUARY 8-12, 2016 Organized by: DeustoTech, University of Deusto Rovira i VirgiliUniversity http://grammars.grlmc.com/bigdat2016/ ******************************************************** --- Early registration deadline: October 19, 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 4 keynote lectures, 20 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, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: BigDat 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 University of Deusto Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Nektarios Benekos (European Organization for Nuclear Research), Role of Computing and Software in Particle Physics Chih-Jen Lin (NationalTaiwanUniversity), When and When Not to Use Distributed Machine Learning Jeffrey Ullman (StanfordUniversity), Theory of MapReduce Algorithms Alexandre Vaniachine (Argonne National Laboratory), Big Data Technologies and Data Science Methods in the Higgs Boson Discovery PROFESSORS AND COURSES: 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), [introductory/intermediate] Architectures, Models and Tools for Big-Data-as-a-Service 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), [intermediate/advanced] Big Data Extensions of Some Methods of Classification and Clustering Wladek Minor (University of Virginia), [introductory/intermediate] Big Data and Structural Biology and Chemistry Raymond Ng (University of British Columbia), [introductory/intermediate] Mining and Summarizing Text Conversations Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Granular Mining: Relevance to Big Data Erhard Rahm (University of Leipzig), [introductory/intermediate] Scalable and Privacy-preserving Data Integration Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services Jaideep Srivastava (Qatar Computing Research Institute), [tba] Big Data Enabled Computational Social Science 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 Fuli Yu (Baylor College of Medicine), [introductory/intermediate] Overview of Large-scale Genomics and Variant Analysis 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) Iker Pastor López (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 are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: University of Deusto Rovira i VirgiliUniversity -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sat Oct 17 08:30:44 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 17 Oct 2015 08:30:44 +0200 Subject: [fg-arc] LATA 2016: submission deadline extended Message-ID: <930a34edab490410e9d0ce033648dc0a@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: October 26 ***** ---------------------------------------------------------------------------- **************************************************************************************** 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: Avrim Blum (CarnegieMellonUniversity), Reconstructing Preferences from Opaque Transactions Martin Grohe (RWTHAachenUniversity), Connectivity Systems, Decompositions, and Tangles Giovanni Pighizzini (University of Milan), Restricted Turing Machines and Language Recognition (tutorial) 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 the journal Information and Computation (Elsevier, 2014 JCR impact factor: 0.830) 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 26, 2015 (23:59 CET) - EXTENDED - 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 uwe.zdun at univie.ac.at Mon Oct 19 16:39:35 2015 From: uwe.zdun at univie.ac.at (Uwe Zdun) Date: Mon, 19 Oct 2015 16:39:35 +0200 Subject: [fg-arc] =?utf-8?q?Deadline_verl=C3=A4ngert_bis_26=2E10=2E15=3A_A?= =?utf-8?q?ufruf_zu_Beitr=C3=A4gen_zum_wissenschaftlichen_Programm_der_Sof?= =?utf-8?q?tware_Engineering_Tagung_2016?= Message-ID: <562500A7.9010904@univie.ac.at> ********************************************************************** Die Deadline für die Einreichung von Beiträgen zur Software Engineering Tagung 2016 in Wien wurde bis 26. Oktober 2015 ver ********************************************************************** Die SE 2016 führt das erfolgreiche Format der letzten Jahre für das wissenschaftliche Programm fort. Alle Vorträge stellen hochkarätige Forschungsbeiträge vor, die in den vergangenen zwei Jahren auf internationalen Spitzenkonferenzen oder in führenden Fachzeitschriften der Softwaretechnik veröffentlicht wurden. Das Ziel des wissenschaftlichen Programms ist es, die Stimulation des wissenschaftlichen Diskurses innerhalb der deutschsprachigen Software Engineering Community sowie die Erhöhung des "Impacts" bereits veröffentlichter Ergebnisse. Einreichungen für das wissenschaftliche Programm bestehen aus zwei Teilen: 1. Vortragszusammenfassung von max. 200 Wörtern (Deutsch oder Englisch) Die Zusammenfassung muss auf einen eigenen Beitrag in einer der internationalen Spitzenkonferenzen oder Fachzeitschriften der Softwaretechnik verweisen. Dies sind z.B. Konferenzen, die von der ACM SIGSOFT gefördert werden (http://www.sigsoft.org/conferences/), u.a. ICSE, FSE, ASE, ISSTA, ESEC oder in Zusammenarbeit mit ACM SIGSOFT durchgeführt werden, u.a. MODELS, OOPSLA, ECOOP, EDOC, RE, MODULARITY, PLDI; sowie Fachzeitschriften wie "IEEE Transactions on Software Engineering" (TSE) und "ACM Transactions on Software Engineering and Methodology" (TOSEM). Im ersten Satz der Zusammenfassung (Abstract) ist der genaue Name der Konferenz oder Fachzeitschrift und das Jahr des Erscheinens des Beitrags anzugeben. Vergleichbare hochrangige Konferenzen und Zeitschriften aus dem Bereich des Software-Engineering sind mit kurzer Begründung im Abstract zugelassen. Es werden ausschließlich Vorschläge von begutachteten technischen Beiträgen akzeptiert, die auf der entsprechenden Hauptkonferenz (bzw. in der Fachzeitschrift) in voller Länge angenommen und bei der SE noch nicht eingereicht wurden. Nicht akzeptiert werden: Kurzbeiträge, eingeladene Beiträge, Beiträge zu Doktorandensymposien, "New Idea" Tracks, Werkzeug-Demonstrationen, Nebenveranstaltungen, Workshops oder ähnliches. 2. PDF-Volltext des Beitrags, der unter (1.) genannt wurde. Dieser Beitrag muss nach dem 01.01.2014 veröffentlicht oder zur Veröffentlichung angenommen sein. Der/die Vortragende muss (Mit-) Autor/Autorin der genannten Beiträge sein und kann zusammen mit den Forschungsergebnissen ggf. auch den größeren Projektkontext vorstellen. Auswahl der Einreichungen: Die Einreichungen werden durch das Programm-Komitee ausgewählt. Der Autor/die Autorin verpflichtet sich, sich bei Annahme des Beitrags als Teilnehmer zur Konferenz zu registrieren und vorzutragen. Für jeden akzeptierten Beitrag wird eine Kurzfassung im Umfang von zwei Seiten im LNI-Format in den Tagungsband der SE 2016 aufgenommen. Programm-Komitee: Uwe Zdun, Universität Wien (Vorsitz) Uwe Assmann, Universität Dresden Gregor Engels, Universität Paderborn Michael Goedicke, Universität Duisburg-Essen Wilhelm Hasselbring, Universität Kiel Jens Knoop, Technische Universität Wien Maritta Heisel, Universität Duisburg-Essen Florian Matthes, TU München Klaus Pohl, Universität Duisburg-Essen Ralf Reussner, KIT/FZI, Karlsruhe Dirk Riehle, Friedrich-Alexander-Universität Erlangen-Nürnberg Wichtige Daten: Verlängert: 26. Oktober 2015: Annahmeschluss für Beiträge wissenschaftliches Programm 23. November 2015: Benachrichtigungen Wissenschaftliches Programm 07. Dezember 2015: Einreichung druckfertiger Beiträge Einreichung: Easychair-Konferenzverwaltungssystem zur SE 2016 (wissenschaftliches Programm): https://easychair.org/conferences/?conf=se2016 Konferenz-Web-Seite: http://se2016.conf.tuwien.ac.at/ Veröffentlichung: Für jeden akzeptierten Beitrag wird eine Kurzfassung im Umfang von zwei Seiten im LNI-Format in den Tagungsband der SE 2016 aufgenommen. From sali at ltu.edu Tue Oct 20 12:06:42 2015 From: sali at ltu.edu (Ahad Ali) Date: Tue, 20 Oct 2015 06:06:42 -0400 Subject: [fg-arc] =?iso-8859-1?q?IEOM_2016_KL_-_IEEE_=26_Scopus_Indexing_-?= =?iso-8859-1?q?_Still_time_to_participate?= Message-ID: <6c0733c6c803490ba4464a166d50ae92@ltu.edu> An HTML attachment was scrubbed... URL: From j.j.chromik at utwente.nl Thu Oct 22 09:11:58 2015 From: j.j.chromik at utwente.nl (j.j.chromik at utwente.nl) Date: Thu, 22 Oct 2015 07:11:58 +0000 Subject: [fg-arc] Final call for papers for MMB&DFT 2016 Message-ID: <1259DF27-9584-405C-ADDD-457C08D5EB80@utwente.nl> [Our apologies for multiple copies] ===================== FINAL CALL FOR PAPERS FOR 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 26, 2015 (DEADLINE EXTENDED) 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 From jose.proenca at cs.kuleuven.be Thu Oct 22 16:46:41 2015 From: jose.proenca at cs.kuleuven.be (jose.proenca at cs.kuleuven.be) Date: Thu, 22 Oct 2015 16:46:41 +0200 Subject: [fg-arc] CfP: COORDINATION 2016 Message-ID: COORDINATION 2016 18th IFIP International Conference on Coordination Models and Languages A DisCoTec Member Conference http://coordination2016.discotec.org/ June 6-8, 2016, Heraklion, Greece IMPORTANT DATES Abstract Submission: February 1, 2016 Paper Submission: February 8, 2016 Author Notification: March 21, 2016 Camera ready copy: April 4, 2016 Early registration: May 9, 2016 Conference: June 6-8, 2016 The time of all deadlines is 24:00 AoE (UTC-12). SCOPE COORDINATION 2016 is the premier forum for publishing research results and experience reports on software technologies for collaboration and coordination in concurrent, distributed, and complex systems. The key focus of the conference is the quest for high-level abstractions that can capture interaction patterns and mechanisms occurring at all levels of the software architecture, up to the end-user domain. COORDINATION 2016 seeks high-quality contributions on the usage, study, formal analysis, design, and implementation of languages, models, and techniques for coordination in distributed, concurrent, pervasive, and parallel software-intensive computing systems. COORDINATION 2016 seeks as well to adapt and integrate traditional COORDINATION techniques in the realm of multi-agent systems (MAS), which typically involve more coarse-grained (cognitive, intelligent, goal-oriented) components. Main topics of interest encompass all areas of coordination, including (but not limited to) coordination related aspects of: * Models and paradigms * Programming abstractions and languages * Foundations, types and semantics * Specification and verification * Middlewares and architectures * Distributed, mobile and networked computing * Parallel and high-performance computing * Nature- and bio-inspired approaches * Self-adaptation, self-organisation and autonomic computing * Collective systems, ensembles, federations, and systems-of-systems * Teamwork, distributed problem solving and collective intelligence * Multiagent systems, auction, negotiation, argumentation, and rational agents * Trust, policies, reputation and security * Applications and case studies SUBMISSION AND PUBLICATION We solicit papers describing thorough and complete research results and/or experience reports on applications and cases studies of coordination. The conference proceedings will be published by Springer in the LNCS Series. Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's codes of conduct). The submissions must not exceed 16 pages in length, including figures and references, prepared using Springer's LNCS style. Submissions not adhering to the above specified constraints may be rejected without review. Papers should be submitted as PDF or PS via EasyChair: https://easychair.org/conferences/?conf=coordination2016 POST-PROCEEDINGS PUBLICATION Relevant, high-quality papers will be invited to a special issue of a highly reputed journal. Previous special issues are under preparation within the journal on Logical Methods in Computer Science (http://www.lmcs-online.org/). INVITED SPEAKER Vijay Saraswat (IBM T.J. Watson Research Lab, USA) PC CHAIRS Alberto Lluch Lafuente (Technical University of Denmark, Denmark) José Proença (KU Leuven, Belgium and University of Minho, Portugal) PROGRAMME COMMITTEE Gul Agha (University of Illinois at Urbana Champaign, USA) Luís Barbosa (University of Minho, Portugal) Jacob Beal (Raytheon BBN Technologies, USA) Simon Bliudze (EPFL, Switzerland) Frank de Boer (CW and Leiden University, The Netherlands) Olivier Boissier (Ecole Nationale Supérieure des Mines of Saint-Etienne, France) Einar Broch Johnsen (University of Oslo, Norway) Roberto Bruni (University of Pisa, Italy) Tevfik Bultan (University of California, Santa Barbara, USA) Carlos Canal (University of Málaga, Spain) Dave Clarke (Uppsala University, Sweden) Stephen Cranefield (University of Otago, New Zealand) Ferruccio Damiani (Università di Torino, Italy) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Tom Holvoet (KU Leuven, Belgium) José Luiz Fiadeiro (Royal Holloway University of London, UK) Valérie Issarny (Inria, France) Rania Khalaf (IBM T.J. Watson Research Center, USA) Ramtin Khosravi (University of Tehran, Iran) Natallia Kokash (Leiden University, the Netherlands) Mieke Massink (CNR-ISTI, Italy) Hernán Melgratti (University of Buenos Aires, Argentina) Sun Meng (Peking University, China) Flemming Nielson (Technical University of Denmark, Denmark) Munindar Singh (North Carolina State University, USA) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Emilio Tuosto (University of Leicester, UK) Vasco T. Vasconcelos (University of Lisbon, Portugal) Mirko Viroli (University of Bologna, Italy) Takuo Watanabe (Tokyo Institute of Technology, Japan) Martin Wirsing (Ludwig-Maximilians-Universität München, Germany) STEERING COMMITTEE Gul Agha (University of Illinois at Urbana Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) (Chair) Dave Clarke (Uppsala University, Sweden) Tom Holvoet (KU Leuven, Belgium) Jean-Marie Jacquet (University of Namur, Belgium) Christine Julien (The University of Texas at Austin, USA) Eva Kühn (Vienna University of Technology, Austria) Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Rosario Pugliese (Università di Firenze, Italy) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Vasco T. Vasconcelos (University of Lisbon, Portugal) Gianluigi Zavattaro (University of Bologna, Italy) Mirko Viroli (University of Bologna, Italy) From andreas.steffens at swc.rwth-aachen.de Fri Oct 30 09:55:47 2015 From: andreas.steffens at swc.rwth-aachen.de (Steffens, Andreas) Date: Fri, 30 Oct 2015 08:55:47 +0000 Subject: [fg-arc] CfP - 1st Workshop on Continuous Software Engineering, in conjunction with SE 2016, Vienna, February 23, 2016 Message-ID: <8A7B61E4-1EA9-4F7F-976B-0EA5E9CC5CF4@swc.rwth-aachen.de> CALL FOR PAPERS ----------------------------------------------------------------------------------- 1st Workshop on Continuous Software Engineering (CSE 2016) ----------------------------------------------------------------------------------- http://cse2016.swc-rwth.de/ In conjunction with Software Engineering 2016 Vienna, February 23, 2016 Scope of the workshop: ---------------------- In order to develop and deliver high-quality products to their customers, software companies have to adopt state-of-the-art software development processes. To face this challenge, companies are applying innovative methods, approaches and techniques like agile methods, DevOps, Continuous Delivery, test automation, infrastructure as code or container-based virtualization. These new approaches have a high impact on the specification, design, development, maintenance, operation and the evolution of software systems. Therefore, common software engineering activities, organizational forms and processes have to be questioned, adapted and extended to ensure continuous and unobstructed soft-ware development (Continuous Software Engineering). So far, there is a lack of systematic approaches to face these challenges. The goal of this workshop is to present and discuss innovative solutions, ideas and experiences in the area of Continuous Software Engineering (CSE). Workshop topics: ---------------- The specific topics of the workshop include, but are not limited to: * DevOps & Release Engineering * Approaches to Continuous Integration/Delivery/Deployment * Infrastructure as Code * Test Automation & Optimization * Monitoring & Performance * Security for DevOps * Provisioning of Software & Infrastructure * Application Virtualization with Container * Engineering of Deployment Pipelines * Quality & Metrics for DevOps * Design for Scalability * Organizational issues for CSE * Continuous Delivery for Requirements Engineering/Early Prototyping * Change Management - Handling user feed-back * Teaching CSE approaches * Software Architectures for CSE * Microservices * Software Development Lifecycle for CSE Submission guidelines: ---------------------- We solicit two types of submissions: full papers (up to 8 pages) and short papers (up to 4 pages). Full papers present original and evaluated research whereas short papers describe novel ideas, identified challenges, and especially experience reports related to the workshop's theme. We encourage you to submit a contribution, both from a research and an industry perspective. All submissions will be peer reviewed and judged on the basis of their clarity, relevance, and interest to the workshop participants. Paper submissions must be in English and conform to the LNI format. Papers are to be submitted electronically to the CSE2016 EasyChair paper submission system. The workshop proceedings will be published at CEUR-WS. Authors of accepted papers have to register for the workshop. Important Dates: ---------------- Paper submission: December 13, 2015 Acceptance notification: January 12, 2016 Camera-ready version: January 23, 2016 Workshop: February 23, 2016 Organizers: -------- Bernd Brügge, Lukas Alperowitz, TU München Horst Lichter, Andreas Steffens RWTH Aachen University Dirk Riehle, FAU Nürnberg Contact: -------- E-Mail: steffens at swc.rwth-aachen.de Phone: +49 241 80-21341 From grlmc at grlmc.com Sat Oct 31 18:09:00 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 31 Oct 2015 18:09:00 +0100 Subject: [fg-arc] TPNC 2015: posters deadline 8 November Message-ID: <63940e17e95167f150f30dc57da74269@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: