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: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20151001/d810f28f/attachment.html>
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: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20151002/82f5cbdd/attachment.html>
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: <DDE39BE6-881E-46F2-96C8-AD81A5D8C158@utwente.nl>
[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: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20151009/818cec3f/attachment.html>
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: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20151017/74ab5f23/attachment.html>
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: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20151020/9154b729/attachment.html>
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 <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 <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: <E1ZpH8b-0002vA-7i.1L@mail.uni-paderborn.de>
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: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20151031/4d2106f5/attachment.html>