From uwe.assmann at tu-dresden.de Tue Feb 3 09:10:20 2015 From: uwe.assmann at tu-dresden.de (Uwe Assmann) Date: Tue, 03 Feb 2015 09:10:20 +0100 Subject: [fg-arc] Aufruf zur Teilnahme Software Engineering & Management 17.-20.3.2015 Dresden Message-ID: <54D0826C.9020802@tu-dresden.de> Call for Participation ? Aufruf zur Teilnahme Software Engineering und Management 17.-20.3.2015 http://swm2015.de/ Dorint-Hotel Dresden http://swm2015.de/organisation Anmeldung Die ?Software Engineering? und die ?Software Management?, die j?hrlichen Konferenzen der Fachbereich Softwaretechnik und Wirtschaftsinformatik der GI, finden dieses Jahr gemeinsam in Dresden statt. Sie stehen dieses Jahr unter den Themen ?Sichere cyber-physikalische Systeme? und ?Requirements Engineering und Testmanagement?, zwei Themen, die sich gegenseitig befruchten, denn die Entwicklung von sicherer Software f?r diese neuartigen Systeme stellt an das Software Engineering und Management gro?e Herausforderungen. Neue Methoden, neue Technologien, neue Werkzeuge m?ssen entwickelt werden, um Software f?r das Internet der Dinge einbruchs-, ausfall- und reaktionssicher zu machen. Zur Diskussion dieser Herausforderungen bietet die Multikonferenz SE+SWM 2015 eine besondere Gelegenheit, und in Dresden, der Hauptstadt des Silicon Saxony, lassen sich viele Synergien mit der Welt der Hardware finden, zum Beispiel zu den neuesten Entwicklungen im Mobilfunk. Keynotes - Keynote A.-W. Scheer, Scheer Group: "Tipps f?r Start-ups in der Industrie 4.0" - Keynote G. Fettweis, TU Dresden: "The Tactile Internet Enabled by 5G" - Keynote B. Br?gge, TU M?nchen: "Schnelle Prototypen f?r intelligente Kleidung" - Keynote M. W?rtenberger, BMW Car IT, "Changing automotive industry" - Keynote A. Spillner, Hochschule Bremen: "Pair Requirements Engineering" Tracks http://swm2015.de/program15 - Das wissenschaftliches Programm der SE pr?sentiert mehr als 60 Vortr?ge ?ber die bereits international akzeptierten Arbeiten der Community der letzten zwei Jahre http://swm2015.de/se-2015/tracks/wissenschaftliches-programm - Das Programm der SWM pr?sentiert Original-Beitr?ge aus Wissenschaft und Technologietransfer http://swm2015.de/tagung-swm - Die ?Software Engineering Ideen? pr?sentiert 9 Beitr?ge mit vision?ren Zielen http://swm2015.de/se-2015/tracks/sei-se15 - Software & Systems Engineering Essentials: 4 Beitr?ge http://swm2015.de/se-2015/tracks/se-essentials - Technologietransferprogramm: 6 Beitr?ge http://swm2015.de/se-2015/tracks/transfer-se15 - Doktorandensymposium: 7 Vortr?ge http://swm2015.de/se-2015/tracks/doksym-se15 - Tutorials ?ber Control-Flow Integration, SOA, XText, C#, Test-driven Requirements Management, Language Workbench MPS http://swm2015.de/se-2015/tutorials-se15 - Workshops zu den Themen ?Evolution and Maintenance of Long-Living Systems (EML)?, ?Fail Safety in Medical Cyber-Physical Systems (FS-MCPS)?, ?Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020)?, ?Arbeitstagung Programmiersprachen (ATPS)?, "Eclipse and the Internet of Things" http://swm2015.de/se-2015/se15-workshops http://swm2015.de/tagung-swm/swm15-tutorials - Vergabe des Software-Engineering-Preises der Ernst-Denert-Stiftung - Treffen der DFG-Gro?projekte im Software Engineering - Start-Up-Programm mit Vortr?gen erfahrener Gr?nder zum Innovationsmanagement, der Gesch?ftsfeldentwicklung und dem Crowdfunding, vermittelt Kontakte zu Netzen und Katalysatoren - Im Industrieprogramm werden Firmen wie ABB, iSax und Saxonia Systems ihre innovativen Methoden und Werkzeuge vorstellen - Das Konferenzdinner findet im Stadion von Dynamo Dresden statt, eine fantastische Kulisse. Dresden ist immer eine Reise wert! Es bietet ein reichhaltiges Kulturangebot. Ein touristisches Programm kann zugebucht werden http://swm2015.de/organisation/rahmenprogramm. Die Fr?hbucherfrist mit g?nstigen Preisen endet am 13.2.2015. Anmeldung auf der URL: http://swm2015.de/organisation Herzliche Einladung! Sponsoren Die Tagung wird freundlicherweise unterst?tzt durch die ABB AG, die iSAX GmbH, die Saxonia Systems GmbH, die C1 WPS GmbH, die Salt Solutions GmbH, die msg systems AG, die itemis AG, die BIT.Group GmbH,, die IVU Traffic Technologies AG, die interface:projects GmbH, die MindApproach, und die SQL Systems AG. Organisatoren Technische Universit?t Dresden, Fakult?t f?r Informatik, 01062 Dresden, Prof. Uwe A?mann, Dr. Sebastian G?tz (org. Einzelheiten): Tel.: +49 351 463 38346, sebastian.goetz at acm.org Silicon Saxony, Christina Nehls, christina.nehls at silicon-saxony.org -- ----------------------------------------------------------------------------- Visit SE/SWM 2015: http://swm2015.de/se-2015/program15 http://swm2015.de/organisation/anmeldung Startup-Track (still open): http://swm2015.de/se-2015/tracks/startup-se15 ----------------------------------------------------------------------------- Prof. Dr. Uwe A?mann mailto:uwe.assmann at tu-dresden.de Software Engineering Group tel:+49 351 463 38463 Institut f?r Software- und fax:+49 351 463 38459 Multimediatechnik http://st.inf.tu-dresden.de Fakult?t Informatik building: Noethnitzer Str. 46, 01307 Dresden Technische Universitat Dresden room/Zimmer: 2087, 2. Stock, West D-01062 Dresden ----------------------------------------------------------------------------- -------------- next part -------------- A non-text attachment was scrubbed... Name: cfParticipation.pdf Type: application/pdf Size: 118352 bytes Desc: not available URL: From taentzer at Mathematik.Uni-Marburg.de Wed Feb 4 12:18:21 2015 From: taentzer at Mathematik.Uni-Marburg.de (Gabriele Taentzer) Date: Wed, 04 Feb 2015 12:18:21 +0100 Subject: [fg-arc] Second Call for Papers - ECMFA 2015: 11th European Conference on Modelling Foundations and Applications 2015 Message-ID: <54D1FFFD.2080809@mathematik.uni-marburg.de> Second Call for Papers: ECMFA 2015 - Call for Papers 11th European Conference on Modelling Foundations and Applications 2015 One of the conferences at STAF 2015: Software Technologies: Applications and Foundations L'Aquila (Italy), July 20-24, 2015 http://www.disim.univaq.it/staf2015 Important dates : Abstract submission deadline: Februay 27, 2015 Papers submission deadline: March 6, 2015 Notification to authors: April 17, 2015 General description: Model-Based Engineering (MBE) is an approach to the design, analysis and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality. The ECMFA conference series is dedicated to advancing the state of knowledge and fostering the industrial application of MBE and related approaches. Its focus is on engaging the key figures of research and industry in a dialog which will result in stronger and more effective practical application of MBE, hence producing more reliable software based on state-of-the-art research results. ECMFA 2015 will be co-located with ICMT, TAP, ICGT and TTC as part of the STAF federation of leading conferences on software technologies (http://stafconferences.info). The joint organization of these prominent conferences provides a unique opportunity to gather practitioners and researchers interested in all aspects of software technology, and allow them to interact with each other. Contributions: ECMFA has two distinct Paper Tracks: one for research papers (Track F) dealing with the foundations for MBE, and one for industrial/applications papers (Track A) dealing with the applications of MBE, including experience reports on MBE tools. Research Papers (Track F): In this track, we are soliciting papers presenting original research on all aspects of MBE. Typical topics of interest include, among others: - Foundations of (Meta)modelling - Domain Specific Modelling Languages and Language Workbenches - Model Reasoning, Testing and Validation - Model Transformation, Code Generation and Reverse Engineering - Model Execution and Simulation - Model Management aspects such as (Co-)Evolution, Consistency, Synchronization - Model-Based Engineering Environments and Tool Chains - Foundations of Requirements Modelling, Architecture Modelling, Platform Modelling - Foundations of Quality Aspects and Modelling non-functional System Properties - Scalability of MBE techniques - Collaborative Modeling Industrial Papers (Track A): In this track, we are soliciting papers representing views, innovations and experiences of industrial players in applying or supporting MBE. In particular, we are looking for papers that set requirements on the foundations, methods, and tools for MBE. We are also seeking experience reports or case studies on the application, successes or current shortcomings of MBE. Quantitative results reflecting industrial experience are particularly appreciated. All application areas of MBE are welcomed including but not limited to any of the following: - MBE for Large and Complex Industrial Systems - MBE for Safety-Critical Systems - MBE for Cyber-Physical Systems - MBE for Health Care - MBE for Cloud and Mobile Computing - MBE for Software and Business Process Modelling - Comparative Studies of MBE Methods and Tools - Metrics for MBE Development - MBE Training Submission and selection: Manuscripts for both tracks must be submitted as PDF files through the EasyChair online submission system(https://www.easychair.org/conferences/?conf=ecmfa2015) . Please ensure that you submit to the right track! Research papers should be up to 16 pages long; Industrial papers should be 12 pages long. In both cases, papers must be compliant with the LNCS paper style. Failure to conform to these guidelines may result in disqualification of the paper. In particular, papers longer than the maximum number of pages may be automatically rejected without review. All contributions will be subject to a rigorous selection process by the Program Committee. No simultaneous submission to other publication outlets (either a conference or a journal) is allowed; any concurrent submission will result in the immediate rejection of the paper. As in previous years, the proceedings of the conference with the accepted papers of both Tracks will be published in a dedicated Springer LNCS volume. If accepted, one of the authors must attend the ECMFA 2015 conference and present the work in person. PC chairs: Foundations track: Gabriele Taentzer, Philipps-Universit?t Marburg, Germany Applications track: Francis Bordeleau, Carleton University, Ottawa, Canada Further information: https://www.uni-marburg.de/fb12/swt/ecmfa2015 -- ------------------------------------------ Prof. Dr. Gabriele Taentzer Philipps-Universit?t Marburg Fachbereich Mathematik und Informatik Hans-Meerwein-Str. D-35032 Marburg Phone: +49-6421-2821532 Email: taentzer at mathematik.uni-marburg.de ------------------------------------------ From uwe.assmann at tu-dresden.de Fri Feb 6 13:20:57 2015 From: uwe.assmann at tu-dresden.de (Uwe Assmann) Date: Fri, 06 Feb 2015 13:20:57 +0100 Subject: [fg-arc] Information Rahmenprogramm Software Engineering 2015 und Software Management 2015 In-Reply-To: <20150205093839AA19B5BC59$45B29F1AB8@HPPRO> References: <20150205093839AA19B5BC59$45B29F1AB8@HPPRO> Message-ID: <54D4B1A9.9070102@tu-dresden.de> An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: image/jpeg Size: 84235 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: image/jpeg Size: 153256 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: image/jpeg Size: 100539 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: image/jpeg Size: 32146 bytes Desc: not available URL: From grlmc at urv.cat Sat Feb 7 09:17:04 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 7 Feb 2015 09:17:04 +0100 Subject: [fg-arc] LATA 2015: call for participation Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************************************** 9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2015 Nice, France March 2-6, 2015 Organized by: CNRS, I3S, UMR 7271 Nice Sophia Antipolis University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2015/ ***************************************************************************** PROGRAM Monday, March 2 09:15 - 10:15 Registration 10:15 - 10:25 Opening 10:25 - 11:15 Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid and Andreas Podelski: Automated Program Verification - Invited Lecture 11:15 - 11:45 Coffee Break 11:45 - 13:00 Ala Eddine Ben Salem: Single-pass Testing Automata for LTL Model Checking Conrad Cotton-Barratt, Andrzej S. Murawski and C.-H. Luke Ong: Weak and Nested Class Memory Automata Joey Eremondi, Oscar H. Ibarra and Ian McQuillan: Insertion Operations on Deterministic Reversal-Bounded Counter Machines 13:00 - 14:30 Lunch 14:30 - 16:10 Adrien Boiret, Vincent Hugot, Joachim Niehren and Ralf Treinen: Logics for Unordered Trees with Data Constraints on Siblings Fran?ois Gonze and Rapha?l M. Jungers: On the Synchronizing Probability Function and the Triple Rendezvous Time: New Approaches to Cerny's Conjecture Vesa Halava, Reino Niskanen and Igor Potapov: On Robot Games of Degree Two Shankara Narayanan Krishna, Lakshmi Manasa and Ashutosh Trivedi: Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable 16:10 - 16:25 Break 16:25 - 18:10 Rui Li and Yiguang Hong: On Observability of Automata Networks via Computational Algebra Nicolas Peltier: Reasoning on Schemas of Formulas: An Automata-Based Approach Martin Sulzmann and Peter Thiemann: Derivatives for Regular Shuffle Expressions Eric Allender and Ian Mertz: Complexity of Regular Functions Tuesday, March 3 09:00 - 09:50 Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese and Massimo Tivoli: Automated Synthesis of Application-layer Connectors from Automata-based Specifications - Invited Lecture 09:50 - 10:05 Break 10:05 - 11:20 Peter Thiemann and Martin Sulzmann: From Omega-Regular Expressions to B?chi Automata via Partial Derivatives Guillaume Verdier and Jean-Baptiste Raclet: Quotient of Acceptance Specifications under Reachability Constraints Parvaneh Babari and Manfred Droste: A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logics 11:20 - 11:50 Coffee Break 11:50 - 13:05 Luc Boasson and Olivier Carton: Rational Selecting Relations and Selectors Peter Leupold and Norbert Hundeshagen: A Hierarchy of Transducing Observer Systems Antoine Ndione, Aur?lien Lemay and Joachim Niehren: Sublinear DTD Validity 13:05 - 14:35 Lunch 14:35 - 16:15 Carl Barton, Costas S. Iliopoulos and Solon P. Pissis: Average-case Optimal Approximate Circular String Matching Johanna Bj?rklund, Frank Drewes and Niklas Zechner: An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring Bastien Cazaux, Thierry Lecroq and Eric Rivals: Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree Da-Jung Cho, Yo-Sub Han and Hwee Kim: Frequent Pattern Mining with Non-overlapping Inversions 16:15 - 16:30 Break 16:30 - 17:45 H.K. Dai and Z. Wang: A Parallel Algorithm for Finding All Minimal Maximum Subsequences via Random Walk Hern?n Ponce-De-Le?n and Andrey Mokhov: Building Bridges Between Sets of Partial Orders Vojt?ch Vorel and Adam Roman: Complexity of Road Coloring with Prescribed Reset Words Wednesday, March 4 9:00 - 9:50 Antonio Restivo: The Shuffle Product: New Research Directions - Invited Lecture 9:50 - 10:05 Break 10:05 - 11:20 Marcella Anselmo, Dora Giammarresi and Maria Madonia: Structure and Measure of a Decidable Class of Two-dimensional Codes Thibault Godin, Ines Klimann and Matthieu Picantin: On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata Luis-Miguel Lopez and Philippe Narbel: Coding Non-orientable Laminations 11:20 - 11:50 Group Photo and Coffee Break 11:50 - 13:05 Pavel Panteleev: Preset Distinguishing Sequences and Diameter of Transformation Semigroups Charalampos Zinoviadis: Hierarchy and Expansiveness in 2D Subshifts of Finite Type Stefano Bilotta, Elisa Pergola, Renzo Pinzani and Simone Rinaldi: Recurrence Relations, Succession Rules and the Positivity Problem 13:05 - 14:35 Lunch 14:35 - 16:15 Philip Bille, Inge Li G?rtz and S?ren Vind: Compressed Data Structures for Range Searching Alberto Policriti, Nicola Gigante and Nicola Prezza: Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform Jan Tr?vn??ek, Jan Janou?ek, Bo?ivoj Melichar and Loek Cleophas: Backward Linearised Tree Pattern Matching Vladimir Ulyantsev, Ilya Zakirzyanov and Anatoly Shalyto: BFS-based Symmetry Breaking Predicates for DFA Identification 17:00 - 20:00 Touristic visit Thursday, March 5 09:00 - 09:50 Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca and Claudio Zandron: Complexity Classes for Membrane Systems - Invited Lecture 09:50 - 10:05 Break 10:05 - 11:20 Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala and Guido Sciavicco: On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures Nadia Creignou, Ra?da Ktari, Arne Meier, Julian-Steffen M?ller, Fr?d?ric Olive and Heribert Vollmer: Parameterized Enumeration for Modification Problems Martin L?ck, Arne Meier and Irena Schindler: Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem 11:20 - 11:50 Coffee Break 11:50 - 13:05 Kazuyuki Amano and Atsushi Saito: A Nonuniform Circuit Class with Multilayer of Threshold Gates Having Super Quasi Polynomial Size Lower Bounds against NEXP Georg Bachmeier, Michael Luttenberger and Maximilian Schlund: Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity Olaf Beyersdorff, Leroy Chew and Karteek Sreenivasaiah: A Game Characterisation of Tree-like Q-resolution Size 13:05 - 14:35 Lunch 14:35 - 16:15 Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Antonio E. Porreca: Preimage Problems for Reaction Systems Ryo Yoshinaka: Learning Conjunctive Grammars and Contextual Binary Feature Grammars Rapha?l Bailly, Fran?ois Denis and Guillaume Rabusseau: Recognizable Series on Hypergraphs Yohan Boichut, Jacques Chabin and Pierre R?ty: Towards More Precise Rewriting Approximations 16:15 - 16:30 Break 16:30 - 17:45 Michael Codish, Lu?s Cruz-Filipe and Peter Schneider-Kamp: Sorting Networks: the End Game Konrad Kazimierz Dabrowski, Shenwei Huang and Dani?l Paulusma: Bounding Clique-width via Perfect Graphs Ryszard Janicki, Jetty Kleijn, Maciej Koutny and ?ukasz Mikulski: Order Structures for Subclasses of Generalised Traces Friday, March 6 9:00 - 9:50 Johann A. Makowsky and Nadia Labai: Hankel Matrices: From Words to Graphs - Invited Lecture 9:50 - 10:05 Break 10:05 - 11:20 Golnaz Badkobeh, Gabriele Fici and Zsuzsanna Lipt?k: On the Number of Closed Factors in a Word Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre and ?lise Prieur-Gaston: Online Computation of Abelian Runs Guilhem Gamard and Gwena?l Richomme: Coverability in Two Dimensions 11:20 - 11:50 Coffee Break 11:50 - 13:05 Jana Hadravov? and ?t?p?n Holub: Equation xiyjxk=uivjuk in Words ?ukasz Mikulski, Marcin Pi?tkowski and Wojciech Rytter: Square-free Words over Partially Commutative Alphabets Ananda Chandra Nayak and Kalpesh Kapoor: On the Language of Primitive Partial Words 13:05 - 13:15 Closing --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From hasselbring at email.uni-kiel.de Tue Feb 10 08:52:34 2015 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Tue, 10 Feb 2015 08:52:34 +0100 Subject: [fg-arc] Stellenausschreibung wissenschaftliche/r Mitarbeiter/in, Software Engineering Message-ID: <54D9B8C2.6040803@email.uni-kiel.de> Liebe Kolleginnen und Kollegen, ich w?rde mich freuen, falls Sie die folgende Stellenausschreibung an geeignete Kandidatinnen und Kandidaten weiterleiten k?nnten, vielen Dank! In der Arbeitsgruppe ?Software Engineering? des Instituts f?r Informatik der Christian-Albrechts-Universit?t zu Kiel ist die Stelle einer/eines wissenschaftlichen Mitarbeiterin / wissenschaftlichen Mitarbeiters mit der M?glichkeit der Vorbereitung einer Promotion zu besetzen. Die regelm??ige w?chentliche Arbeitszeit betr?gt die einer/eines Vollbesch?ftigten (zzt. 38,7 Stunden). Die Eingruppierung erfolgt bei Vorliegen der tariflichen Voraussetzungen in die Entgeltgruppe 13 TV-L. Die Stelle beinhaltet eine Lehrverpflichtung von vier Lehrveranstaltungsstunden und ist ab dem 01. April 2015 zun?chst befristet f?r die Dauer von zwei Jahren zu besetzen. Zum Aufgabenbereich geh?rt Forschungsarbeit im Rahmen der Kieker-Software (kieker-monitoring.net). Erwartet werden sehr gute Kenntnisse und Erfahrungen im Umgang mit komplexen Softwaresystemen, insbesondere in den folgenden Themenfeldern: - Performance-Monitoring von Softwaresystemen (idealerweise mit dem Kieker-Framework) - Entwicklung webbasierter Systeme - Modellgetriebene Softwareentwicklung - Softwarearchitektur - Entwicklung paralleler und verteilter Softwaresysteme - Workflow-basierte Systeme Einstellungsvoraussetzung ist ein ?berdurchschnittlich abgeschlossenes wissenschaftliches Hochschulstudium (Diplom oder Master) in Informatik. Eine Promotion soll unbedingt angestrebt werden; die Gelegenheit dazu wird gegeben. Die Christian-Albrechts-Universit?t zu Kiel ist bestrebt, den Anteil von Wissenschaftlerinnen in Forschung und Lehre zu erh?hen und fordert entsprechend qualifizierte Frauen nachdr?cklich auf, sich zu bewerben. Frauen werden bei gleichwertiger Eignung, Bef?higung und fachlicher Leistung vorrangig ber?cksichtigt. Die Hochschule setzt sich f?r die Besch?ftigung schwerbehinderter Menschen ein. Daher werden schwerbehinderte Bewerberinnen und Bewerber bei entsprechender Eignung bevorzugt ber?cksichtigt. Ausdr?cklich begr??en wir es, wenn sich Menschen mit Migrationshintergrund bei uns bewerben. Bewerbungen mit den ?blichen Unterlagen (auf die Vorlage von Lichtbildern/Bewerbungsfotos verzich-ten wir ausdr?cklich und bitten daher, hiervon abzusehen) - gerne elektronisch - sind m?glichst bis zum 28. Februar 2015, zu richten an: Prof. Dr. Wilhelm Hasselbring Institut f?r Informatik Christian-Albrechts-Platz 4 24118 Kiel E-Mail: hasselbring at email.uni-kiel.de Original: http://www.uni-kiel.de/personal/de/stellen/extern/wiss/wissenschaftliche-r-mitarbeiter-in-in-der-ag-software-engineering-im-institut-fuer-informatik-vollzeit-befristet-zwei-jahre -- Prof. Dr. W. Hasselbring, Software Engineering Group Dept. Computer Science, Kiel University, D-24118 Kiel, Germany Tel: +49 (0)431 880-4664, -3734 (secretary), Fax: -7617 Email: hasselbring at email.uni-kiel.de http://se.informatik.uni-kiel.de/ From lucia.happe at kit.edu Mon Feb 9 09:15:44 2015 From: lucia.happe at kit.edu (Happe, Lucia (IPD)) Date: Mon, 9 Feb 2015 09:15:44 +0100 Subject: [fg-arc] MB4CP@DSN 2015: CfP for 1th International Workshop on Model-Based Design for Cyber-Physical Systems, June 22th, 2015, Rio de Janeiro, Brasil Message-ID: *** Please accept our apologies should you receive multiple copies of this call from different lists. *** INVITATION: Please, consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to MB4CP 2015. ===================================================================== Call for Papers - MB4CP 2015 - 1th International Workshop on Model-Based Design for Cyber-Physical Systems Satellite event of DSN June 22th, 2015, Rio de Janeiro, Brasil http://mb4cp.ipd.kit.edu/mb4cp_2015/ ===================================================================== * Submission deadline: Mar 8th, 2015 * Notification of acceptance: April 15th, 2015 ===================================================================== WORKSHOP AIM Emerging cyber-physical systems (CPSs) incorporate intelligence into power distribution networks. These CPSs provide the capabilities required for handling the challenges of increasing complexity in the bulk power grid, responding to growing demand, supporting renewable energy sources, and satisfying the requirements for enhanced, adaptive service quality. Achieving these goals requires a framework for cohesively integrating communication and information technologies using complex, real-time control networks for both energy and information. This framework must support the principal properties of smart grids, including self-healing, availability, and responsiveness to variability in demand and supply. CPSs pose new challenges for security and privacy because of the increased exchange of information. This workshop will focus on understanding and identifying the unique challenges posed by and opportunities associated with modeling and analysis of CPSs, especially as related to the design of large, complex, networked systems. In CPSs, the geographical scale, requirements on real-time performance and reliability, and diversity of application functionality all combine to produce a unique, highly demanding problem domain. The objective of this workshop is to bring together members from the systems, software, power, and other engineering communities to discuss challenges with modeling and model-based design of CPSs and to share experiences, solutions, tools, and techniques. TOPICS The MB4CP workshop is interested in submissions on all topics related to identifying and developing appropriate methods, tools, and techniques for modeling and model-based design of cyber-physical systems. Specifically, we will focus on: * Applications that support power engineering operations. Such applications include, but are not limited to, complex event processing systems for managing and manipulating large amounts of real-time sensor data and systems that provide infrastructure for metering, analysis, decision support, and control applications. * Software and enterprise architectures tailored to CPSs, given the challenges of CPSs as ultra-large-scale systems. * Designing applications with advanced computing capabilities. This requires understanding the implications of, for example, exploiting cloud computing and high performance, multi-core computing platforms for computationally intensive cyber-physical functions. * Designing quantitative modeling and simulation frameworks targeting CPSs. These frameworks can model designs and quantify system properties, such as responsiveness and availability, based on predictive (numerical, simulated) and historical data. * Methodologies that apply advanced software engineering approaches to analyze and improve the properties of cyber-physical applications. These include model-driven development, self-managing and adaptive software systems, and sound reasoning and evaluation frameworks. * Employing best practices for requirements engineering, verification, and validation in CPSs. This includes considering the synergy between requirements and architectures in critical, ultra-large-scale systems. * Standards-based distributed architecture solutions and reference architectures that enable open interfaces with plug-and-play hardware and software components. * Designing and analyzing robust, scalable security and privacy frameworks for CPSs. * Approaches to modeling and monitoring system-wide performance, scalability, and other quality properties of the cyber-physical software framework. * Software engineering approaches for the business and information technology elements of CPSs. * Integrating cyber-physical system modeling and analysis topics into curricula at academic institutions. * Novel architectures for software systems supporting energy trading and business decisions in CPSs. * Lessons learned and experiences from successful applications of cyber-physical industry standards in software systems. SUBMISSIONS All papers (i.e. research papers, experience reports, or vision papers) should be submitted through easychair:https://easychair.org/conferences/?conf=mb4cp * Research papers will be thoroughly reviewed for novelty, technical quality, scientific soundness, and relevance. Research papers should not exceed 8 double-column pages, including figures and tables. * Experience reports cover innovative implementations or novel applications of CPS-related technologies, as well as interesting results and experiences from applying recent research advances to industrial situations in any of the topics of interest. Experience reports should be 6 double-column pages, including figures and tables. * Vision papers present emerging research challenges and long-term research directions on topics of interest in the CPS domain. Submissions should be 4 double-column pages, including figures and tables. Submissions must adhere to the IEEE Computer Society camera-ready 8.5?x11? two-column camera-ready format. The templates are reproduced below for your convenience, and further details can be found here . IMPORTANT DATES * Submission deadline: Mar 8th, 2015 * Notification of acceptance: April 15th, 2015 * Workshop date: June 22, 2015 PROGRAMME COMMITTEE * Catia Trubiani, Gran Sasso Science Institute, Italy * Barbora Buhnova, Masaryk University, Czech Republic * Tomas Bures, Charles University, Czech Republic * Erik Burger, Karlsruhe Institute of Technology, Germany * Anne Remke, University of Twente, Netherlands * Martin Naedele, ABB Corporate Research, Switzerland * Boudewijn Haverkort, University of Twente, Netherlands * Laura Carnevali, University of Florence, Italy * Enrico Vicario, University of Florence, Italy * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Ina Schieferdecker, FU Berlin/Fraunhofer FOKUS, Germany PC CO-CHAIRS * Alberto Avritzer, Siemens Corporate Research, USA * Lucia Happe, Karlsruhe Institute of Technology, Germany * Kishor S. Trivedi, Duke University, USA * Daniel Sadoc Menasche, Federal University of Rio de Janeiro, Brazil * Sahra Sedigh Sarvestani, Missouri University of Science and Technology, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From alexander.perucci at graduate.univaq.it Thu Feb 19 16:26:05 2015 From: alexander.perucci at graduate.univaq.it (Alexander Perucci) Date: Thu, 19 Feb 2015 16:26:05 +0100 (CET) Subject: [fg-arc] FOCLASA 2015 - 1st Call For Papers Message-ID: <1738040292.6351001.1424359565002.JavaMail.zimbra@graduate.univaq.it> [Apologies for multiple postings] -- First Call for Papers -- FOCLASA 2015: 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems http://foclasa.lcc.uma.es/ 5 September 2014, Madrid (Spain) In conjunction with CONCUR 2015 ============================================================== FOCLASA 2015 is a workshop colocated with the 25th International Conference on Concurrency Theory (CONCUR 2015 - http://mafalda.fdi.ucm.es/concur2015 ). The goal of the FOCLASA workshop is to put together researchers and practitioners to share and identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems. == IMPORTANT DATES == 3 June 2014: Deadline for abstract submission 7 June 2014: Deadline for paper submission 12 July 2014: Notifications 22 July 2014: Final versions 5 September 2015: Workshop in Madrid == TOPICS OF INTEREST == * Theoretical models and frameworks for component and service coordination, service composition, service adaptation and concurrent system modeling. * Applications and usability studies for the aforementioned theoretical models, interaction and coordination challenges in decentralized self-adaptive systems and various application domains. * Languages and specification protocols for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * "Software as a Service" models (e.g., cloud computing) and dynamic software architectures, such as self-adaptive and self-organizing systems. * Service composition and coordination for Future Internet applications, service orchestration and choreographies, related theories and methods, and possible model-driven development approaches. * Tools and environments for the development of concurrent and customizable self-monitoring, self-adaptive and self-organizing applications. * Algorithms, mathematical models and realization frameworks for quality-of-service observation, storage, history-based analysis in self-adaptive systems (queuing models, load balancing, fault-tolerance analysis, machine learning systems). * Formal methods for self-adaptive systems, stochastic modeling and analysis, reasoning under uncertainty, run-time synthesis. In particular, practice, experience and methodologies from the following areas are solicited as well: * Cloud computing * Service-oriented computing * Component-based systems * Grid computing * Large-scale distributed systems * Multi-agent systems * Peer-to-peer systems * Networked embedded systems * Business process modeling Survey works analysing and comparing literature on the topics of FOCLASA are also welcome. == PAPER SUBMISSION == Submissions must describe authors' original research work and their results. Description of work-in-progress with concrete results is also encouraged. The contributions should not exceed 15 pages in the EPTCS style ( http://style.eptcs.org/ ) and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: http://www.easychair.org/conferences/?conf=foclasa2015 Submitting an abstract does not put any obligation on the authors to submit a full paper. Abstracts without an accompanying full paper by the paper submission deadline are automatically considered withdrawn. The authors are, however, encouraged to explicitly withdraw their abstract, if they decide not to submit a full paper. All submissions will be reviewed by an international program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Concurrent submission to other venues (conferences, workshops or journal) and submission of papers under consideration elsewhere are not allowed. A printed version of the proceedings will be distributed among participants during the workshop. The proceedings of the workshop will be published as a separate volume. Participants will give a presentation of their papers in twenty minutes, followed by a ten-minute round of questions and discussion on participants' work. Following the tradition of the past editions, we plan to have a special issue of an international scientific journal devoted to FOCLASA 2015. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. In the last few editions of FOCLASA, a special issue of Science of Computer Programming has been dedicated to this workshop. == PROGRAM COMMITTEE CHAIRS == * Jose Proenca iMinds-Distrinet, KU Leuven, Belgium and HASLab/INESC TEC, University of Minho, Portugal jose.proenca at cs.kuleuven.be * Massimo Tivoli University of L'Aquila, L'Aquila, Italy massimo.tivoli at univaq.it == PUBLICITY CHAIR == * Alexander Perucci, University of L'Aquila, Italy == PROGRAM COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Marco Autili, Univ. of L'Aquila, Italy * Luis Barbosa, Universidade do Minho, Portugal * Steffen Becker, University of Paderborn, Germany * Javier Camara, Carnegie Mellon University, USA * Carlos Canal, University of Mal?ga, Spain * Carlos Cuesta, Rey Juan Carlos University, Spain * David Garlan, Carnegie Mellon University, USA * Alfredo Goldmann, University of S?o Paulo, Brazil * Keijo Heljanko, Aalto University, Finland * Jean-Marie Jacquet, University of Namur, Belgium * Christian Krause, SAP Innovation Center, Germany * Sun Meng, Peking University, China * Liliana Pasquale, University of Limerick, Ireland * Jose Proenca, iMinds-Distrinet and HASLab/INESC TEC, KU Leuven, Belgium * Marjan Sirjani, Reykjavik University, Iceland * Carolyn Talcott, SRI International, USA * Massimo Tivoli, University of L'Aquila, Italy * Mirko Viroli, University of Bologna, Italy == STEERING COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Antonio Brogi, University of Pisa, Italy * Carlos Canal, University of Mal?ga, Spain * Jean-Marie Jacquet, University of Namur, Belgium * Ernesto Pimentel, University of Mal?ga, Spain * Gwen Salaun, Grenoble INP - INRIA Grenoble - LIG, France -------------- next part -------------- An HTML attachment was scrubbed... URL: From moreno.falaschi at unisi.it Thu Feb 19 15:28:17 2015 From: moreno.falaschi at unisi.it (FALASCHI MORENO) Date: Thu, 19 Feb 2015 15:28:17 +0100 Subject: [fg-arc] LOPSTR 2015: 2nd Call for Papers Message-ID: <0a2ba023519cbde344c65d07852fe909@unisi.it> ============================================================ 25th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2015 Special Issue of Formal Aspects of Computing http://alpha.diism.unisi.it/lopstr15/ University of Siena, Siena, IT, July 13-15, 2015 (co-located with PPDP 2015) DEADLINES Abstract submission: April 6, 2015 Paper/Extended abstract submission: April 13, 2015 ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015) will be held at the University of Siena, Siena, Italy; previous symposia were held in Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2015 will be co-located with PPDP 2015 (International Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: April 6, 2015 Paper/Extended abstract submission: April 13, 2015 Notification: May 25, 2015 Camera-ready (for electronic pre-proceedings): June 15, 2015 Symposium: July 13-15, 2015 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2015, which can be accessed through the website of LOPSTR 2015. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Special journal issue After the symposium, a selection of the best papers will be invited to a special issue of the 'Formal Aspects of Computing' journal. The submissions to the special issue must be substantial extensions of the proceedings versions and will undergo the usual journal reviewing process. Invited speakers Patrick Cousot, New York University, USA (Jointly with PPDP) Gilles Barthe, IMDEA Software Institute, Spain Dale Miller, INRIA and LIX/Ecole Polytechnique, France Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Demis Ballis, University of Udine, Italy Olaf Chitil, University of Kent, UK Michael Codish, Ben-Gurion University, Israel Moreno Falaschi, University of Siena, Italy (Program Chair) Jerome Feret, INRIA and ENS, France Maurizio Gabbrielli, University of Bologna, Italy Jurgen Giesl, RWTH Aachen University, Germany Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Arnaud Gotlieb, SIMULA Research Laboratory, Norway Gopal Gupta, University of Texas at Dallas, USA Manuel Hermenegildo, IMDEA, Spain Viktor Kuncak, EPFL Lausanne, Switzerland Luigi Liquori, INRIA Sophia-Antipolis Mediterranee, France Alexei Lisitsa, University of Liverpool, UK Narciso Marti-Oliet, Universidad Complutense de Madrid, Spain Jorge Navas, NASA, USA Kazuhiro Ogata, JAIST, Japan Carlos Olarte, ECT, Univ. Federal do Rio Grande do Norte, Brasil Catuscia Palamidessi, INRIA and Ecole Polytechnique, France Maurizio Proietti, IASI-CNR, Italy Albert Rubio, Universitat Politecnica de Catalunya, Barcelona, Spain Wim Vanhoof, University of Namur, Belgium Program and Symposium Chair: Moreno Falaschi, Dept. of Information Engineering and Mathematics, Univ. of Siena, Italy (moreno.falaschi at unisi.it) Organizing Committee Monica Bianchini, DIISM, Univ. of Siena, Italy Sara Brunetti, DIISM, Univ. of Siena, Italy Andrea Machetti, DIISM, Univ. of Siena, Italy Simonetta Palmas, DIISM, Univ. of Siena, Italy Maurizio Proietti, IASI-CNR, Italy Simone Rinaldi, DIISM, Univ. of Siena, Italy Elisa Tiezzi, DIISM, Univ. of Siena, Italy Sara Ugolini, Dip. Informatica, Univ. of Pisa From klaus.havelund at jpl.nasa.gov Thu Feb 19 16:01:34 2015 From: klaus.havelund at jpl.nasa.gov (Klaus Havelund) Date: Thu, 19 Feb 2015 07:01:34 -0800 Subject: [fg-arc] [fm-announcements] NFM 2015 - CALL FOR PARTICIPATION Message-ID: <4F03349B-45FC-4A97-88CC-DAEA082838F1@jpl.nasa.gov> NFM 2015 CALL FOR PARTICIPATION The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 ? 29 April 2015 Pasadena, California, USA THEME The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. The focus of the symposium is on formal methods, and aims to foster collaboration between NASA researchers and engineers and the wider aerospace and academic formal methods communities. TOPICS Topics of interest include, but are not limited to: Model checking Theorem proving SAT and SMT solving Symbolic execution Static analysis Runtime verification Systematic testing Program refinement Compositional verification Modeling and specification formalisms Model-based development Model-based testing Requirement engineering Formal approaches to fault tolerance Security and intrusion detection Applications of formal methods INVITED SPEAKERS Dino Distefano Software Engineer at Facebook, California, USA and Professor at Queen Mary University of London, UK. Viktor Kuncak Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland. Rob Manning Chief Engineer at NASA/JPL. LOCATION, COST, REGISTRATION AND HOTEL ROOM BOOKING The symposium will take place at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015. There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to attend; however, all attendees must register (but please only register if you intend to attend). Registration form and hotel booking websites are reachable from the main website. A block of rooms at a low price are reserved with booking deadline of March 26. PC CHAIRS Klaus Havelund, NASA Jet Propulsion Laboratory, USA Gerard Holzmann, NASA Jet Propulsion Laboratory, USA Rajeev Joshi, NASA Jet Propulsion Laboratory, USA PUBLICITY SUPPORT Ylies Falcone, Universit? Joseph Fourier, France PROGRAMME COMMITTEE Erika Abraham, RWTH Aachen University, Germany Julia Badger, NASA Johnson Space Center, USA Christel Baier, Technische Universit?t Dresden, Germany Saddek Bensalem, VERIMAG/UJF, France Dirk Beyer, University of Passau, Germany Armin Biere, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Borzoo Bonakdarpour, McMaster University, Canada Alessandro Cimatti, Fondazione Bruno Kessler, Italy Leonardo de Moura, Microsoft Research, USA Ewen Denney, NASA Ames Research Center, USA Ben Di Vito, NASA Langley Research Center, USA Dawson Engler, Stanford University, USA Jean-Christophe Filliatre, Universit? Paris-Sud, France Dimitra Giannakopoulou, NASA Ames Research Center, USA Alwyn Goodloe, NASA Langley Research Center, USA Susanne Graf, VERIMAG, France Alex Groce, Oregon State University, USA Radu Grosu, Vienna University of Technology, Austria John Harrison, Intel Corporation, USA Mike Hinchey, University of Limerick/Lero, Ireland Bart Jacobs, University of Leuven, Belgium Sarfraz Khurshid, The University of Texas at Austin, USA Gerwin Klein, NICTA, Australia Daniel Kroening, Oxford University, UK Orna Kupferman, Hebrew University Jerusalem, Israel Kim Larsen, Aalborg University, Denmark Rustan Leino, Microsoft Research, USA Martin Leucker, University of Lubeck, Germany Rupak Majumdar, Max Planck Institute, Germany Pete Manolios, Northeastern University, USA Peter Mueller, ETH Zurich, Switzerland Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA Corina Pasareanu, NASA Ames Research Center, USA Doron Peled, Bar Ilan University, Israel Suzette Person, NASA Langley Research Center, USA Andreas Podelski, University of Freiburg, Germany Grigore Rosu, University of Illinois, USA Kristin Yvonne Rozier, NASA Ames Research Center, USA Natarajan Shankar, SRI International, USA Natasha Sharygina, University of Lugano, Switzerland Scott Smolka, Stony Brook University, USA Willem Visser, University of Stellenbosch, South Africa Mahesh Viswanathan, University of Illinois, USA Mike Whalen, University of Minnesota, USA Jim Woodcock, University of York, UK STEERING COMMITTEE Julia Badger, NASA Johnson Space Center Ewen Denney, NASA Ames Research Center Ben Di Vito, NASA Langley Research Center Klaus Havelund, NASA Jet Propulsion Laboratory Gerard Holzmann, NASA Jet Propulsion Laboratory Cesar Munoz, NASA Langley Research Center Corina Pasareanu, NASA Ames Research Center Suzette Person, NASA Langley Research Center Kristin Yvonne Rozier, NASA Ames Research Center -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From moreno.falaschi at unisi.it Thu Feb 19 15:32:40 2015 From: moreno.falaschi at unisi.it (FALASCHI MORENO) Date: Thu, 19 Feb 2015 15:32:40 +0100 Subject: [fg-arc] PPDP 2015: 2nd call for papers Message-ID: <1d67d8e2dc3f3344de9be5278a34ab03@unisi.it> ====================================================================== Call for papers 17th International Symposium on Principles and Practice of Declarative Programming PPDP 2015 Special Issue of Science of Computer Programming (SCP) Siena, Italy, July 14-16, 2015 (co-located with LOPSTR 2015) http://costa.ls.fi.upm.es/ppdp15 ====================================================================== SUBMISSION DEADLINE: 20 MARCH, 2015 PPDP 2015 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modeling in a declarative language and modeling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015). The conference will be held in Siena, Italy. Previous symposia were held at Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a special issue of SCP with a target publication date by Elsevier of 2016. Important Dates Abstract Submission: 14 March, 2015 Paper submission: 20 March, 2015 Notification: 14 May, 2015 Camera-ready: To be announced Symposium: 14-16 July, 2015 Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted to the submission website for PPDP 2015. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist the program committee in selecting appropriate reviewers for the paper. Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. ----------------------------------------------------------------------- INVITED SPEAKERS Patrick Cousot, New York University, USA (Jointly with LOPSTR) Martin Hofmann, LMU Munich, Germany ----------------------------------------------------------------------- Program Committee Michael Adams, University of Utah, USA Puri Arenas, Complutense University of Madrid, Spain Amir Ben-Amram, Tel-Aviv Academic College, Israel Ines Castro, Universidade do Porto, Portugal Patrick Cousot, New York University, USA Gregory Duck, National University of Singapore, Singapore Fabio Fioravanti, University of Chieti-Pescara, Italy Thom Fr?hwirth, University of Ulm, Germany Roberto Giacobazzi, University of Verona, Italy Michael Hanus, CAU Kiel, Germany Andy King, University of Kent, UK F. L?pez-Fraguas, Complutense University of Madrid, Spain Ian Mackie, University of Sussex, UK Dale Miller, INRIA and LIX/Ecole Polytechnique, France Torsten Schaub, University of Potsdam, Germany Tom Schrijvers KU Leuven, Belgium Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France German Vidal, Universitat Politecnica de Valencia, Spain Marina Vos, University of Bath, UK Nobuko Yoshida, Imperial College London, UK Program Chair Elvira Albert Complutense University of Madrid C/ Profesor Garcia Santesmases E-28040 Madrid, Spain Email: elvira at sip.ucm.es Symposium Chair Moreno Falaschi Department of information engineering and mathematics University of Siena, Italy Email: moreno.falaschi at unisi.it From steffen.becker at informatik.tu-chemnitz.de Mon Feb 23 08:59:42 2015 From: steffen.becker at informatik.tu-chemnitz.de (Steffen Becker) Date: Mon, 23 Feb 2015 08:59:42 +0100 Subject: [fg-arc] Stellenausschreibung wiss. Mitarbeiter TVL 13 Message-ID: <54EADDEE.8040908@informatik.tu-chemnitz.de> Liebe Kollegen, mit der Bitte um Weiterleitung an geeignete Kandidaten. Entschuldigung falls Sie diese Mail mehrfach erhalten. Viele Gr??e aus Chemnitz, Steffen Becker ------ An der Fakult?t f?r Informatik, Professur Softwaretechnik, ist zum n?chstm?glichen Zeitpunkt eine Stelle als *Wissenschaftliche/r Mitarbeiter/in (100%, Entgeltgruppe 13 TV-L)* zun?chst befristet bis zum 31.03.2016 mit M?glichkeit zur Verl?ngerung zu besetzen. Die befristete Einstellung erfolgt gem?? den Regelungen des Wissenschaftszeitvertragsgesetz (WissZeitVG) und des S?chsischen Hochschulfreiheitsgesetzes (S?chsHSFG) in der jeweils geltenden Fassung. *Wer sind wir?* An der Professur f?r Softwaretechnik erforschen wir innovative Verfahren, um die Qualit?t von Software bereits w?hrend des Softwareentwurfs zu analysieren und vorherzusagen. Hierzu forschen wir unter anderem in modernen Anwendungsgebieten wie Cloud Computing und Cyber Physical Systems. *Was bieten wir?* Wir sind ein ?berschaubares, wachsendes, motiviertes, schlagkr?ftiges Team mit kurzen Wegen und offenen T?ren, das an praxisrelevanten Problemen mit fundiertem theoretischem R?ckhalt arbeitet. Ihre Forschungsergebnisse nutzen Sie f?r wissenschaftliche Ver?ffentlichungen und die eigene Qualifizierung. Es handelt sich um eine Stelle zur wissenschaftlichen Weiterqualifikation (Promotion). *Welche Aufgaben erwarten Sie?* In unserem Team haben Sie neben Ihren Aufgaben in der Forschung und der Lehre an der Professur die M?glichkeit, sich eigenst?ndig in ein Thema einzuarbeiten, Forschungstrends zu setzen und beim Aufbau einer international vernetzten Professur mitzuwirken. *Was erwarten wir?* Von potentiellen Bewerberinnen / Bewerbern erwarten wir neben der Bereitschaft, selbst?ndig an den Zielen der Professur mitzuwirken auch Erfahrungen mit Softwaretechnik in Praxis oder Lehre. Vorteilhaft sind Kenntnisse im Entwurf und der Modellierung von Software, vorzugsweise mit UML2 oder Eclipse EMF-basierten Sprachen, sowie Interesse an Softwarequalit?tsbewertung (Performance, Skalierbarkeit, Wartbarkeit, etc.) oder Erfahrungen mit verteilten Infrastrukturen. Daneben wird erwartet, die Professur auf internationalen Konferenzen und in der Lehre in Deutsch und Englisch vertreten zu k?nnen. Voraussetzung ist der Abschluss eines wissenschaftlichen Hochschulstudiums mit ?berdurchschnittlichem Ergebnis im Bereich Informatik (Master oder Diplom) oder eines vergleichbaren Studiengangs. *Welche formalen Voraussetzungen werden erwartet?* Einstellungsvoraussetzung ist ein abgeschlossenes wissenschaftliches Hochschulstudium, welches zur Zulassung zum h?heren Dienst berechtigt. Weiterhin sind die Einstellungsvoraussetzungen gem?? ? 71 S?chsisches Hochschulfreiheitsgesetz zu erf?llen. Die TU Chemnitz strebt einen hohen Anteil von Frauen in Lehre und Forschung an. Qualifizierte Frauen werden deshalb ausdr?cklich aufgefordert, sich zu bewerben. Bewerbungen schwerbehinderter Menschen werden bei gleicher Eignung bevorzugt ber?cksichtigt. Bewerbungen mit den ?blichen Unterlagen werden - gern in elektronischer Form als einzelne PDF Datei - bis zum 5. M?rz 2015 erbeten an: Technische Universit?t Chemnitz Fakult?t f?r Informatik Professur f?r Softwaretechnik Herrn Prof. Dr.-Ing. Steffen Becker 09107 Chemnitz Weitere Informationen unter: Tel.: 0371 531 36144 E-Mail: steffen.becker at informatik.tu-chemnitz.de -- Prof. Steffen Becker Professur Softwaretechnik Angewandte Informatik Technische Universit?t Chemnitz Stra?e der Nationen 62 | R. B216B 09111 Chemnitz Germany Tel: +49 371 531-36144 Fax: +49 371 531-836144 steffen.becker at informatik.tu-chemnitz.de www.tu-chemnitz.de -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5443 bytes Desc: S/MIME Cryptographic Signature URL: From grlmc at urv.cat Sun Feb 22 08:54:33 2015 From: grlmc at urv.cat (GRLMC) Date: Sun, 22 Feb 2015 08:54:33 +0100 Subject: [fg-arc] InfoSec 2015: registration deadline 3 March Message-ID: <303EBF6B76A04D73A6827A6ED55333FA@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************** INTERNATIONAL SUMMER SCHOOL ON INFORMATION SECURITY InfoSec 2015 Bilbao, Spain (please notice the change of location) July 6-10, 2015 Organized by Deusto University Rovira i Virgili University http://grammars.grlmc.com/InfoSec2015/ ********************************************************************** --- 3rd registration deadline: March 3, 2015 --- ********************************************************************** AIM: InfoSec 2015 will be a major 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 information security, which covers a large spectrum of current exciting academic research and industrial innovation. It refers to procedures to defend information from unauthorized access, use, modification, recording or destruction, with a critical role to play in order to avoid or minimize risks in the digital world. Renowned academics and industry pioneers will lecture and share their views with the audience. Most information security subareas will be displayed, namely: computer security, cryptography, privacy, cyber security, mobile security, network security, world wide web security, fraud prevention, data protection, etc. Main challenges of information security will be identified through 4 keynote lectures, 32 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ADDRESSED TO: 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 background knowledge may be required for some of them. InfoSec 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 4 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: InfoSec 2015 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be: DeustoTech, School of Engineering Deusto University Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Jan Camenisch (IBM Research, Zurich), Privacy in a Digital World: a Lost Cause? Hao Chen (University of California, Davis), (In)security of Mobile Apps in Untrusted Networks Jennifer Seberry (University of Wollongong), The Global Village: the Beginning of the Need for Computer Security [via videoconference] Gene Tsudik (University of California, Irvine), Off-line Proximity-based Social Networking PROFESSORS AND COURSES: N. Asokan (Aalto University), [intermediate] Mobile Security: Overview of Hardware Platform Security and Considerations of Usability Jan Camenisch (IBM Research, Zurich), [introductory/intermediate] Technologies to Protect Online Privacy Hao Chen (University of California, Davis), [intermediate/advanced] Security of the Mobile App Ecosystem Nicolas T. Courtois (University College London), [introductory/intermediate] Security of ECDSA in Bitcoin and Crypto Currency Claude Cr?peau (McGill University, Montr?al), [introductory/intermediate] Quantum Computation, Cryptography and Cryptanalysis Joan Daemen (ST Microelectronics Belgium, Diegem), [introductory/intermediate] Sponge Functions, Keccak and SHA-3 Sajal K. Das (Missouri University of Science and Technology, Rolla), [intermediate/advanced] Securing Cyber-Physical Systems: Challenges and Opportunities Sabrina De Capitani di Vimercati (University of Milan), [introductory/intermediate] Security and Privacy in the Cloud Herv? Debar (T?l?com SudParis), [introductory/intermediate] Detection and Reaction to Attacks: from Intrusion Detection to Cyber-Defense David Evans (University of Virginia, Charlottesville), [introductory/intermediate] Secure Multiparty Computation: Techniques, Theory, and Tools for Building Privacy-Preserving Applications Rosario Gennaro (City University of New York), [intermediate/advanced] A Survey of Verifiable Delegation of Computation Trent Jaeger (Pennsylvania State University, University Park), [intermediate/advanced] How to Add Security Enforcement to Legacy Programs Somesh Jha (University of Wisconsin, Madison), [intermediate/advanced] Analysis Techniques in Information Security Antoine Joux (Pierre et Marie Curie University, Paris), [introductory/intermediate] Discrete Logarithms in Finite Fields Marc Joye (Technicolor R&I, Los Altos), [introductory/intermediate] Secure Public-Key Cryptosystems Lars R. Knudsen (Technical University of Denmark, Lyngby), [introductory/intermediate] Block Ciphers: the Workhorses in Cryptography Songwu Lu (University of California, Los Angeles), [introductory/intermediate] Cellular Network Security: Issues and Defenses Catherine Meadows (Naval Research Laboratory, Washington DC), [introductory/intermediate] Formal Analysis of Cryptographic Protocols Nasir Memon (New York University), [introductory/intermediate] User Authentication Ethan L. Miller (University of California, Santa Cruz), [intermediate/advanced] Securing Stored Data in a Connected World Stefano Paraboschi (University of Bergamo), [introductory/intermediate] Data Protection in Network-enabled Systems Bart Preneel (KU Leuven), [introductory/intermediate] Cryptology: State of the Art and Research Challenges Jean-Jacques Quisquater (Catholic University of Louvain), [introductory/intermediate] The History of RSA: from Babylon to Smart Cards Shantanu Rane (Palo Alto Research Center), [introductory/intermediate] Privacy-preserving Data Analytics: Problems, Solutions and Challenges Mark Ryan (University of Birmingham), [introductory/intermediate] Designing Security Protocols: Electronic Voting, and Electronic Mail Rei Safavi-Naini (University of Calgary), [introductory/intermediate] Information-theoretically Secure Communication Stefan Saroiu (Microsoft Research, Redmond), [advanced] Protecting Data on Smartphones and Tablets Using Trusted Computing Milind Tambe (University of Southern California, Los Angeles), [introductory/intermediate] Introduction to the Emerging Science of Security Games Gene Tsudik (University of California, Irvine), [intermediate/advanced] Security and Privacy in Candidate Future Internet Architectures Yang Xiao (University of Alabama, Tuscaloosa), [introductory/advanced] Security in Smart Grids Wenyuan Xu (University of South Carolina, Columbia), [intermediate] Security and Privacy Analysis of Embedded Systems Yuliang Zheng (University of North Carolina, Charlotte), [introductory] Cryptography and the Future of Money ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Mart?n-Vide (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/InfoSec2015/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: Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be provided in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat ACKNOWLEDGEMENTS: Deusto University Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From grlmc at urv.cat Sat Feb 28 17:59:55 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 28 Feb 2015 17:59:55 +0100 Subject: [fg-arc] AlCoB 2015: extended submission deadline 9 March Message-ID: <3EF077458F964BB49AEF126AAF765F3F@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: March 9 ***** ---------------------------------------------------------------------------- **************************************************************************** ****** 2nd INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2015 Mexico City, Mexico August 4-6, 2015 Organized by: Centre for Complexity Sciences (C3) School of Sciences Institute for Research in Applied Mathematics and Systems (IIMAS) Graduate Program in Computing Science and Engineering National Autonomous University of Mexico Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2015/ **************************************************************************** ****** AIMS: AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction. The conference will address several of the current challenges in computational biology by investigating algorithms aimed at: 1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species. Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career. VENUE: AlCoB 2015 will take place in Mexico City, the oldest capital city in the Americas and the largest Spanish-speaking city in the world. The venue will be the main campus of the National Autonomous University of Mexico. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks ... Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics ... Microbiome analysis Systems biology STRUCTURE: AlCoB 2015 will consist of: invited lectures peer-reviewed contributions INVITED SPEAKERS: Julio Collado-Vides (National Autonomous University of Mexico, Cuernavaca), >From Curation of Information to Knowledge Encoding Gaston Gonnet (Swiss Federal Institute of Technology, Zurich), Human-Dog-Mouse, Probably and Provable Non-trivial Evolution Close to the Root of the Mammalian Clade Peter D. Karp (SRI International, Menlo Park), Algorithms for Metabolic Route Search and Determination of Reaction Atom Mappings PROGRAMME COMMITTEE: Stephen Altschul (National Center for Biotechnology Information, Bethesda, USA) Yurii Aulchenko (Russian Academy of Sciences, Novosibirsk, Russia) Pierre Baldi (University of California, Irvine, USA) Daniel G. Brown (University of Waterloo, Canada) Yuehui Chen (University of Jinan, China) Keith A. Crandall (George Washington University, Washington, USA) Joseph Felsenstein (University of Washington, Seattle, USA) Michael Galperin (National Center for Biotechnology Information, Bethesda, USA) Susumu Goto (Kyoto University, Japan) Igor Grigoriev (DOE Joint Genome Institute, Walnut Creek, USA) Martien Groenen (Wageningen University, The Netherlands) Yike Guo (Imperial College, London, UK) Javier Herrero (University College London, UK) Karsten Hokamp (Trinity College Dublin, Ireland) Hsuan-Cheng Huang (National Yang-Ming University, Taipei, Taiwan) Ian Korf (University of California, Davis, USA) Nikos Kyrpides (DOE Joint Genome Institute, Walnut Creek, USA) Mingyao Li (University of Pennsylvania, Philadelphia, USA) Yun Li (University of North Carolina, Chapel Hill, USA) Jun Liu (Harvard University, Cambridge, USA) Rodrigo L?pez (European Bioinformatics Institute, Hinxton, UK) Andrei N. Lupas (Max Planck Institute for Developmental Biology, T?bingen, Germany) B.S. Manjunath (University of California, Santa Barbara, USA) Carlos Mart?n-Vide (chair, Rovira i Virgili University, Tarragona, Spain) Tarjei Mikkelsen (Broad Institute, Cambridge, USA) Henrik Nielsen (Technical University of Denmark, Lyngby, Denmark) Zemin Ning (Wellcome Trust Sanger Institute, Hinxton, UK) Christine Orengo (University College London, UK) Modesto Orozco (Institute for Research in Biomedicine, Barcelona, Spain) Christos A. Ouzounis (Centre for Research & Technology Hellas, Thessaloniki, Greece) Manuel Peitsch (Philip Morris International R&D, Neuch?tel, Switzerland) David A. Rosenblueth (National Autonomous University of Mexico, Mexico City, Mexico) Julio Rozas (University of Barcelona, Spain) Alessandro Sette (La Jolla Institute for Allergy and Immunology, USA) Peter F. Stadler (University of Leipzig, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Alfonso Valencia (Spanish National Cancer Research Centre, Madrid, Spain) Kai Wang (University of Southern California, Los Angeles, USA) Lusheng Wang (City University of Hong Kong, Hong Kong) Zidong Wang (Brunel University, Uxbridge, UK) Harel Weinstein (Cornell University, New York, USA) Jennifer Wortman (Broad Institute, Cambridge, USA) Jun Yu (Chinese Academy of Sciences, Beijing, China) Mohammed J. Zaki (Rensselaer Polytechnic Institute, Troy, USA) Louxin Zhang (National University of Singapore, Singapore) Hongyu Zhao (Yale University, New Haven, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Francisco Hern?ndez-Quiroz (Mexico City) Carlos Mart?n-Vide (Tarragona, co-chair) David A. Rosenblueth (Mexico City, co-chair) 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). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=alcob2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference. A special issue of the Journal of Computational Biology (Thomson Reuters 2013 impact factor: 1.670) 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 registration form can be found at: http://grammars.grlmc.com/alcob2015/Registration.php DEADLINES: Paper submission: March 9, 2015 (23:59 CET) ? EXTENDED ? Notification of paper acceptance or rejection: April 10, 2015 Final version of the paper for the LNCS/LNBI proceedings: April 19, 2015 Early registration: April 19, 2015 Late registration: July 21, 2015 Submission to the journal special issue: November 6, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: AlCoB 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: National Autonomous University of Mexico Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com