From bogom.s at gmail.com Tue May 2 08:28:36 2017 From: bogom.s at gmail.com (Sergiy Bogomolov) Date: Tue, 2 May 2017 16:28:36 +1000 Subject: [fg-arc] SNR'17 @ ETAPS -- Call for participation Message-ID: <023801d2c30d$83061210$89123630$@gmail.com> CALL FOR PARTICIPATION SNR 2017 ======== 3nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis April 22, 2017, Uppsala, Sweden Affiliated with ETAPS 2017 http://snr2017.pages.ist.ac.at/ Topics ===== The scope of the workshop includes, but is not restricted to, the following topics: * Reachability analysis * Flow-pipe construction; symbolic state set representations * Logical frameworks for reasoning * Bounded model checking * Automated deduction * Invariant generation * Symbolic execution * Trajectory generation; counterexample computation * Abstraction techniques * Reliable integration * Simulation * Reachability analysis for planning and synthesis * Domain-specific approaches in biology, robotics, etc. * Stochastic/probabilistic hybrid systems Registration ========== http://www.etaps.org/index.php/2017/registration Invited talks ============ Christoph Grimm (Technische Universität Kaiserslautern, Germany) Towards Verification of Uncertain Cyber-Physical Systems Edward A. Lee (University of California at Berkeley, USA) Fundamental Limits of Cyber-Physical and Hybrid System Modeling Program ======== 9:00-10:00 Session 1: Uncertainty (chair: Sergiy Bogomolov) 9:00-10:00 Invited talk Christoph Grimm. Towards Verification of Uncertain Cyber-Physical Systems 10:00-10:30 Coffee break 10:30-12:30 Session 2: Synthesis and Analysis (chair: Walid Taha) 10:30-11:00 Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin and Laurent Fribourg. Guaranteed Control Synthesis of Nonlinear Switched Systems using Euler Method 11:00-11:30 Anna Lukina, Josef Widder and Radu Grosu. Synthesis of Optimal Plans for Process Synchronization in the Presence of Faults 11:30-12:00 Benoît Desrochers and Luc Jaulin. Minkowski Operation of Sets with Application to Robot Localization 12:00-12:30 Ievgen Ivanov. On the Underapproximation of Reach Sets of Abstract Continuous-time Systems 12:30-14:00 Lunch break 14:00-15:30 Session 3: Modelling (chair: Erika Abraham) 14:00-15:00 Invited talk Edward A. Lee. Fundamental Limits of Cyber-Physical and Hybrid System Modeling 15:00-15:30 Yingfu Zeng, Ferenc Agoston Bartha and Walid Taha. Compile-Time Extensions to Hybrid ODEs 15:30-16:00 Coffee break 16:00-17:30 Session 4: Tools (chair: Eugenio Moggi) 16:00-16:30 Nathan Fulton. Reachability Analysis in the KeYmaera X Theorem Prover 16:30-17:00 Stefan Schupp. HyPro: A C++ Library for State Set Representations for Hybrid Systems Reachability Analysis -------------- next part -------------- An HTML attachment was scrubbed... URL: From griggio at fbk.eu Tue May 2 09:20:05 2017 From: griggio at fbk.eu (Alberto Griggio) Date: Tue, 02 May 2017 09:20:05 +0200 Subject: [fg-arc] Call for Papers: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis Message-ID: <20170502072005.BD3A5161349@kyrene.fbk.eu> (apologies for multiple copies) Call for Papers 4th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with CADE 2017 August 7, 2017 - Gothenburg, Sweden http://software.imdea.org/Conferences/hcvs17 Invited speakers: - Christoph Weidenbach, Max-Planck-Institut fuer Informatik - Arie Gurfinkel, University of Waterloo Submission deadlines: - Paper submission: June 11, 2017 - Paper notification: July 3, 2017 - Workshop: August 7, 2017 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows three previous meetings: HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: - Nikolaj Bjorner (Microsoft Research) - Mats Carlsson (SICS) - Grigory Fedyukovich (University of Washington) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University) - Pierre Ganty (IMDEA Software Institute) - Alberto Griggio (Fondazione Bruno Kessler - chair) - Gopal Gupta (U.T. Dallas) - Manuel V. Hermenegildo (T.U. Madrid and IMDEA Software Institute - chair) - Michael Leuschel (University of D�sseldorf) - Pedro Lopez-Garcia (CSIC) - David Monniaux (University of Grenoble) - Jorge A. Navas (SRI International) - Maurizio Proietti (IASI-CNR) - Philipp Ruemmer (Uppsala University) - Andrey Rybalchenko (Microsoft Research) - Valerio Senni (ALES - UTRC) Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2017. From sauer at uni-paderborn.de Tue May 2 10:02:32 2017 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Tue, 2 May 2017 10:02:32 +0200 Subject: [fg-arc] Call for Participation / Aufruf zur Teilnahme WSRE + DFF 2017 08.-10.05.2017 Message-ID: <7b22d309-dcba-1fe8-3fc7-0f06dfeee7af@uni-paderborn.de> Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Teilnahme mehrfach erhalten! Aufruf zur Teilnahme / Call for Participation ------------------------------------------------------------------------------------------------------- *8. Workshop „Design for Future – Langlebige Softwaresysteme“ (DFF 2017)* des Arbeitskreises „Langlebige Software-Systeme“ (AK L2S2) der GI-Fachgruppen „Architekturen“ und „Software-Reengineering“ http://akl2s2.ipd.kit.edu/veranstaltungen/dff2017/ gemeinsam mit dem 19. Workshop Software-Reengineering & Evolution (WSRE 2017) der GI-Fachgruppe „Software-Reengineering“ https://fg-sre.gi.de/wsre2017.html 08.–10. Mai 2017 in Bad Honnef Nutzen Sie die Gelegenheit und melden Sie sich bis zum 3. Mai 2017 verbindlich für den Workshop über die Registrierungsseite des WSRE 2017 an: https://fg-sre.gi.de/wsre2017.html >> Anmeldung. Das *Programm* für den Workshop WSRE + DFF 2017 kann unter https://fg-sre.gi.de/fileadmin/gliederungen/fg-sre/wsre2017/WSRE2017_Tagungsprogramm.pdf eingesehen werden. Weitere *Informationen* zu den Workshops DFF 2017 und WSRE 2017 finden Sie auf den o.g. Webseiten. Wir freuen uns auf einen interessanten Workshop WSRE + DFF 2017 und angenehme Tage in Bad Honnef! Wenn Sie Fragen haben, kontaktieren Sie uns bitte! Mit freundlichen Grüßen der Organisatoren des DFF 2017-Workshops Stefan Sauer Robert Heinrich Marco Konersmann From foclasa2017 at gmail.com Wed May 3 15:40:39 2017 From: foclasa2017 at gmail.com (foclasa2017 at gmail.com) Date: Wed, 3 May 2017 15:40:39 +0200 Subject: [fg-arc] FOCLASA 2017 - Second Call for Papers Message-ID: <201705031340.v43DedU6011336@localhost.localdomain> [Apologies in case of multiple posting] ------ FOCLASA 2017: Second Call for Papers ------ 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems http://foclasa.lcc.uma.es September 5, 2017, Trento (Italy) Colocated with SEFM 2017 - http://sefm17.fbk.eu Follow us on Twitter: @foclasa2017 ------------------------------------------------------ FOCLASA 2017 is a workshop colocated with the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017). The goal of FOCLASA 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 ------ June 2, 2017: Deadline for abstract submission June 9, 2017: Deadline for paper submission July 7, 2017: Notifications July, 2017: Final versions (precise date TBA) September 5, 2017: Workshop in Trento ------ TOPICS OF INTEREST ------ * Theoretical models and frameworks for component and/or service coordination, service composition, 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 (Cloud Computing, Internet of Things, Smart cities, Big Data, etc.). * Languages and specification protocols for component and/or service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Models and architectures for Software-as-a-Service (SaaS) cloud systems; 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. * Formal methods for self-adaptive systems, stochastic modeling and analysis, reasoning under uncertainty, run-time synthesis. * 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, etc.) In particular, practice, experience and methodologies from the following areas are solicited as well: * Business process modeling * Component-based systems * Service-oriented computing * Cloud computing * Internet of Things * Large-scale distributed systems * Grid computing * Multi-agent systems * Networked embedded systems * Peer-to-peer systems 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 LNCS style and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: http://www.easychair.org/conferences/?conf=foclasa2017 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 is not allowed. All accepted papers will be included in the LNCS Workshop Proceedings of SEFM 2017, to be published by Springer after the workshop. Additionally, and following the tradition of past editions, a special issue of Science in Computer Programming (SCP, Elsevier) will be devoted to the best papers accepted at FOCLASA 2017. 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. ------ PROGRAM COMMITTEE CHAIRS ------ * Carlos Canal, University of Malaga, Spain * Gwen Salaun, University of Grenoble Alpes, France ------ PROGRAM COMMITTEE ------ * Pedro Alvarez, Universidad de Zaragoza, Spain * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, EPFL, Switzerland * Radu Calinescu, University of York, UK * Javier Camara, Carnegie Mellon University, USA * Flavio De Paoli, University of Milano, Italy * Schahram Dustdar, TU Wien, Austria * Jean-Marie Jacquet, University of Namur, Belgium * Nima Kaviani, IBM, USA * Alberto Lluch Lafuente, Technical University of Denmark * Sun Meng, Peking University, China * Hernan C. Melgratti, University of Buenos Aires, Argentina * Mohammad Mousavi, Halmstad University, Sweden * Marc Oriol, Universitat Politecnica de Catalunya, Spain * Pascal Poizat, Universite Paris Ouest, France * Jose Proenca, INESC TEC & Universidade do Minho, Portugal * Michael Sheng, University of Adelaide, Australia * Marjan Sirjani, Reykjavik University, Iceland * Carolyn Talcott, SRI International, USA * Massimo Tivoli, University of L'Aquila, Italy * Lina Ye, CentraleSupelec, France * Gianluigi Zavattaro, University of Bologna, Italy ------ PUBLICITY CHAIR ------ * Gianluca Barbon, University of Grenoble Alpes, France ------ WEB CHAIR ------ * Alejandro Perez Vereda, University of Malaga, Spain ------ STEERING COMMITTEE ------ * Farhad Arbab, CWI, The Netherlands * Antonio Brogi, University of Pisa, Italy * Carlos Canal, University of Malaga, Spain * Jean-Marie Jacquet, University of Namur, Belgium * Ernesto Pimentel, University of Malaga, Spain * Gwen Salaun, University of Grenoble Alpes, France From sauer at s-lab.upb.de Tue May 9 10:44:12 2017 From: sauer at s-lab.upb.de (Jennifer Lankford) Date: Tue, 9 May 2017 03:44:12 -0500 (CDT) Subject: [fg-arc] =?utf-8?q?=28no_subject=29?= Message-ID: <20170509084412.67757187346@wolfram.dreadnoughtpc.com> Hi , Get your low interest loans today. with interest rate as low as 8% per annum we're hard to beat bad credit score? no problem! we have a solution for everyone. just send us an email to: jennylan388 at gmail.com for more information. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Thu May 11 10:38:10 2017 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Thu, 11 May 2017 10:38:10 +0200 Subject: [fg-arc] AK-Treffen L2S2 bei der Architekturen 2017, 20.06. in Leipzig Message-ID: <2e2a81dc-3746-3551-6378-95febf25bacc@uni-paderborn.de> **** Aufruf zur Einreichung von Vortragsvorschlägen / Call for Presentations bis zum 20.05.2017 **** *** Einladung zur Teilnahme / Call for Participation *** *** Einladung zur AK-Sitzung *** Liebe Mitglieder, Vertraute und Interessierte des *GI-Arbeitskreises "Langlebige Softwaresysteme"* (AK L2S2), liebe Mitglieder der GI-Fachgruppen Architekturen und Software-Reengineering, das nächste *Treffen des AK L2S2* [1] findet im Rahmen der Jahrestagung *"Architekturen 2017"* [2] der gleichnamigen GI-Fachgruppe am Dienstag, den 20. Juni 2017 in Leipzig statt. Beginn: 13:00 Uhr, Ende: 16:00 Uhr. Wir sind im Gespräch mit dem AK Modellgetriebene Software-Architektur (MDA) [3], ob wir auch in diesem Jahr - einer bewährten Tradition folgend - wieder ein gemeinsames Programm aufsetzen, nicht zuletzt um Themen im Schnittbereich der AKs - beispielsweise zu modellgetriebener Migration oder Evolution - konkurrenzfrei adressieren zu können und den Austausch zu pflegen. Es ist uns gelungen, bereits einen sehr interessanten *Referenten *zu gewinnen: */Guido Vollbeding/* (Independent JPEG Group (IJG) und Institut für Angewandte Informatik e.V. (InfAI) Leipzig) wird über /*"25 Jahre JPEG Referenz-Software"*/ sprechen. *Vorträge*: Wir laden Sie herzlich ein, einen Vortrag zum Programm des AK-Treffens beizusteuern; noch sind nicht alle Plätze belegt. Insbesondere Vorträge mit Praxisbezug (z.B. Erfahrungsberichte, industrielle Fallstudien, Ergebnisberichte aus Projekten) oder aus der anwendungsorientierten Forschung sind herzlich willkommen! Falls Sie Interesse haben, einen Vortrag zu halten, schicken Sie bitte bis zum _20. Mai 2017_ eine kurze E-Mail mit den Namen der Autoren/-innen und der/des Vortragenden, dem Titel des Vortrags und einem kurzen Abstract an sauer at uni-paderborn.de. Weitere Details werden wir dann direkt mit Ihnen abstimmen. Bei Interesse können wir auch eine Veröffentlichung von Kurzbeiträgen in der Zeitschrift Softwaretechnik-Trends anstoßen. *AK-Sitzung*: Im Programm des AK-Treffens findet auch eine kompakte AK-Sitzung statt, in der kurz über die Aktivitäten des AKs berichtet und ein Ausblick auf die kommenden Aktivitäten gegeben wird. Hier sind Sie herzlich eingeladen,Ihre Vorstellungen und Wünsche einzubringen. Tagesordnung der AK-Sitzung: 1. Begrüßung 2. Bericht der AK-Leitung 3. Ausblick 4. Verschiedenes *Teilnahme*: Im Namen der AK-Leitung möchten wir Sie herzlich zur Teilnahme einladen! Die *Anmeldung *erfolgt über die Webseite der "Architekturen 2017" [2]. Das konkrete *Programm *werden wir noch rechtzeitig vorher bekannt geben. Wir würden uns freuen, Sie in Leipzig begrüßen zu können und freuen uns auf spannende Vorträge, lebhafte Diskussionen und einen regen Austausch! Im Namen der AK-Leitung Robert Heinrich - Marco Konersmann - Stefan Sauer --------------------------------------------------------------- [1] Der AK L2S2 ist ein gemeinsamer Arbeitskreis der Fachgruppen Architekturen (http://fg-arc.gi.de/) und Software-Reengineering (http://fg-re.gi.de/). Er kooperiert mit dem DFG-Schwerpunktprogramm SPP 1593: "Design for Future - Managed Software Evolution" (http://dfg-spp1593.de/). Weitere Informationen zum AK L2S2 finden Sie auf unserer Webseite: http://akl2s2.ipd.kit.edu/ [2] Die Jahrestagung der GI-Fachgruppe "Architekturen 2017" findet am 19. und 20. Juni 2017 in Leipzig statt. Sie steht in diesem Jahr unter dem Motto "Software-Architekturen für große, vernetzte Informationssysteme". Diskutieren Sie mit einem interessierten Publikum aus Wirtschaft und Wissenschaft, welche Entwicklungen sich abzeichnen und was diese für den praktizierenden Softwarearchitekten bedeuten. Das Organisationsteam rund um Prof. Dr. Steffen Becker hat ein abwechslungsreiches und spannendes Vortragsprogramm zusammengestellt. Zusätzlich treffen sich an beiden Tagen Arbeitskreise, die der Fachgruppe angegliedert sind, unter anderem auch der AK L2S2. Für den Abend des 19. Juni erwartet Sie außerdem ein attraktives Rahmenprogramm. Weitere Informationen und Anmeldung unter http://fg-arc.gi.de/veranstaltungen/naechste-veranstaltungen/architekturen-2017.html [3] Der AK MDA ist ein Arbeitskreis der Fachgruppe Architekturen (http://fg-arc.gi.de/). Weitere Informationen finden Sie auf der Webseite des Arbeitskreises: http://akmda.ipd.kit.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at s-lab.upb.de Thu May 11 14:17:07 2017 From: sauer at s-lab.upb.de (Stefan Sauer) Date: Thu, 11 May 2017 14:17:07 +0200 Subject: [fg-arc] AK-Treffen L2S2 bei der Architekturen 2017, 20.06. in Leipzig Message-ID: <3cb09acd-9932-e543-4840-b5dd822aa2d0@s-lab.upb.de> **** Aufruf zur Einreichung von Vortragsvorschlägen / Call for Presentations bis zum 20.05.2017 **** *** Einladung zur Teilnahme / Call for Participation *** *** Einladung zur AK-Sitzung *** Liebe Mitglieder, Vertraute und Interessierte des *GI-Arbeitskreises "Langlebige Softwaresysteme"* (AK L2S2), liebe Mitglieder der GI-Fachgruppen Architekturen und Software-Reengineering, das nächste *Treffen des AK L2S2* [1] findet im Rahmen der Jahrestagung *"Architekturen 2017"* [2] der gleichnamigen GI-Fachgruppe am Dienstag, den 20. Juni 2017 in Leipzig statt. Beginn: 13:00 Uhr, Ende: 16:00 Uhr. Wir sind im Gespräch mit dem AK Modellgetriebene Software-Architektur (MDA) [3], ob wir auch in diesem Jahr - einer bewährten Tradition folgend - wieder ein gemeinsames Programm aufsetzen, nicht zuletzt um Themen im Schnittbereich der AKs - beispielsweise zu modellgetriebener Migration oder Evolution - konkurrenzfrei adressieren zu können und den Austausch zu pflegen. Es ist uns gelungen, bereits einen sehr interessanten *Referenten *zu gewinnen: */Guido Vollbeding/* (Independent JPEG Group (IJG) und Institut für Angewandte Informatik e.V. (InfAI) Leipzig) wird über /*"25 Jahre JPEG Referenz-Software"*/ sprechen. *Vorträge*: Wir laden Sie herzlich ein, einen Vortrag zum Programm des AK-Treffens beizusteuern; noch sind nicht alle Plätze belegt. Insbesondere Vorträge mit Praxisbezug (z.B. Erfahrungsberichte, industrielle Fallstudien, Ergebnisberichte aus Projekten) oder aus der anwendungsorientierten Forschung sind herzlich willkommen! Falls Sie Interesse haben, einen Vortrag zu halten, schicken Sie bitte bis zum _20. Mai 2017_ eine kurze E-Mail mit den Namen der Autoren/-innen und der/des Vortragenden, dem Titel des Vortrags und einem kurzen Abstract an sauer at uni-paderborn.de. Weitere Details werden wir dann direkt mit Ihnen abstimmen. Bei Interesse können wir auch eine Veröffentlichung von Kurzbeiträgen in der Zeitschrift Softwaretechnik-Trends anstoßen. *AK-Sitzung*: Im Programm des AK-Treffens findet auch eine kompakte AK-Sitzung statt, in der kurz über die Aktivitäten des AKs berichtet und ein Ausblick auf die kommenden Aktivitäten gegeben wird. Hier sind Sie herzlich eingeladen,Ihre Vorstellungen und Wünsche einzubringen. Tagesordnung der AK-Sitzung: 1. Begrüßung 2. Bericht der AK-Leitung 3. Ausblick 4. Verschiedenes *Teilnahme*: Im Namen der AK-Leitung möchten wir Sie herzlich zur Teilnahme einladen! Die *Anmeldung *erfolgt über die Webseite der "Architekturen 2017" [2]. Das konkrete *Programm *werden wir noch rechtzeitig vorher bekannt geben. Wir würden uns freuen, Sie in Leipzig begrüßen zu können und freuen uns auf spannende Vorträge, lebhafte Diskussionen und einen regen Austausch! Im Namen der AK-Leitung Robert Heinrich - Marco Konersmann - Stefan Sauer --------------------------------------------------------------- [1] Der AK L2S2 ist ein gemeinsamer Arbeitskreis der Fachgruppen Architekturen (http://fg-arc.gi.de/) und Software-Reengineering (http://fg-re.gi.de/). Er kooperiert mit dem DFG-Schwerpunktprogramm SPP 1593: "Design for Future - Managed Software Evolution" (http://dfg-spp1593.de/). Weitere Informationen zum AK L2S2 finden Sie auf unserer Webseite: http://akl2s2.ipd.kit.edu/ [2] Die Jahrestagung der GI-Fachgruppe "Architekturen 2017" findet am 19. und 20. Juni 2017 in Leipzig statt. Sie steht in diesem Jahr unter dem Motto "Software-Architekturen für große, vernetzte Informationssysteme". Diskutieren Sie mit einem interessierten Publikum aus Wirtschaft und Wissenschaft, welche Entwicklungen sich abzeichnen und was diese für den praktizierenden Softwarearchitekten bedeuten. Das Organisationsteam rund um Prof. Dr. Steffen Becker hat ein abwechslungsreiches und spannendes Vortragsprogramm zusammengestellt. Zusätzlich treffen sich an beiden Tagen Arbeitskreise, die der Fachgruppe angegliedert sind, unter anderem auch der AK L2S2. Für den Abend des 19. Juni erwartet Sie außerdem ein attraktives Rahmenprogramm. Weitere Informationen und Anmeldung unter http://fg-arc.gi.de/veranstaltungen/naechste-veranstaltungen/architekturen-2017.html [3] Der AK MDA ist ein Arbeitskreis der Fachgruppe Architekturen (http://fg-arc.gi.de/). Weitere Informationen finden Sie auf der Webseite des Arbeitskreises: http://akmda.ipd.kit.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri May 5 11:48:43 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 5 May 2017 12:48:43 +0300 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Fifth Call for Doctoral Consortium Message-ID: *** Fifth Call for Doctoral Consortium *** 21st European Conference on Advances in Databases and Information Systems ADBIS 2017 Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlmdGggQ2FsbCBmb3IgRG9jdG9yYWwgQ29uc29ydGl1bQk5MAlMaXN0cwkxODMJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2Fconsortium.html The internationally recognized ADBIS conference already for 21 years is gathering researchers and practitioners around topics related to databases, data processing, and information systems, in general. The conference is run in Europe but attracts researchers from all over the world. The 21st ADBIS conference will be held in Nicosia, Cyprus. The conference is accompanied by satellite events, including doctoral consortia and workshops. DOCTORAL CONSORTIUM The Doctoral Consortium (DC) is a forum where PhD students can present their research ideas, confront them with the scientific community, receive feedback from mentors, and tie cooperation bounds. Students will receive inspiration from their peers and will have a chance to discuss their research objectives with senior members of the community in the context of an established international conference. The DC session will take place on September 24, in parallel with the workshop sessions. Each participant will present her/his work, followed by a discussion with senior researchers. ELIGIBILITY We seek PhD students who have either determined the direction of their thesis research (probably with some preliminary results already published), but who still have substantial work to complete, or PhD student participants who are in the early stages of their dissertation year. It is not required to have a paper accepted for the main conference in order to participate in the DC. SUBMISSIONS To apply to the DC, please submit a single-authored paper (which will appear in the proceedings of DC), accompanied by a short email from the thesis advisor stating support for your participation in the DC, describing the current status of the thesis research, and giving your expected date of graduation. The papers for DC should be at most 12 pages in Springer format (formatting instructions can be obtained via http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlmdGggQ2FsbCBmb3IgRG9jdG9yYWwgQ29uc29ydGl1bQk5MAlMaXN0cwkxODMJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-2-793332-0%29 and describe the state of the whole PhD project, rather than a specific completed result. The paper should outline the objectives, the problem, state of the art, results obtained so far, and what is still to be done in the frame of the PhD project. If an author prefers to present a completed research result, the paper should be submitted to the main conference or one of accompanying workshops. A paper submitted to the DC may not be under review for any other conference or journal during the time it is being considered for the DC. Submissions should be made electronically in PDF format at CMT: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlmdGggQ2FsbCBmb3IgRG9jdG9yYWwgQ29uc29ydGl1bQk5MAlMaXN0cwkxODMJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fcmt3.research.microsoft.com%2FADBISDC2017. In case of multiple files, please submit a single compressed file (zip or rar). After logging into CMT, please choose the "ADBIS 2017 Doctoral Consortium" track. REVIEW PROCESS Each paper submitted to the DC will be reviewed by at least two members of the DC program committee and will be judged based on originality, technical merit, presentation quality, and relevance. The authors of successful submissions must take into account the reviewers' comments during the preparation of the final version and describe the changes in a separate document to be submitted together with the final camera-ready version. The program committee reserves the right to reject a paper if the final version does not meet the requirements above. Applications not adhering to the provided guidelines (including page limits) will not be considered. The authors of accepted papers must register to the conference, attend the DC and present their work. PROCEEDINGS The DC papers will be published by Springer, together with the ADBIS workshops proceedings, in the Advances in Intelligent Systems and Computing series. IMPORTANT DATES · Submission: May 19, 2017 · Acceptance/Rejection Notification: June 30, 2017 · Camera-ready Submission: July 14, 2017 · Doctoral Consortium: September 24, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sun May 7 18:18:05 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 07 May 2017 18:18:05 +0200 Subject: [fg-arc] AlCoB 2017: call for participation Message-ID: <545102060a010b000254520707005a035b0406580307055701010e090f070605545303550a0c0857055e5300070656@grlmc_ip-zone_com-6> AlCoB 2017: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 4th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2017 Aveiro, Portugal June 5-6, 2017 Organized by: Center for Research & Development in Mathematics and Applications (CIDMA) Institute of Electronics and Informatics Engineering of Aveiro (IEETA) University of Aveiro Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/AlCoB2017/ ********************************************************************************** PROGRAM Monday, June 5 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Michael Biehl: Biomedical Applications of Prototype Based Classifiers and Relevance Learning - Invited lecture 10:30 - 11:00    Coffee break 11:00 - 11:50 Stefano Beretta, Paola Bonizzoni, Luca Denti, Marco Previtali and Raffaella Rizzi: Mapping RNA-seq Data to a Transcript Graph via Approximate Pattern Matching to a Hypertext Alessio Conte, Roberto Grossi, Andrea Marino, Lorenzo Tattini and Luca Versari: A Fast Algorithm for Large Common Connected Induced Subgraphs 11:50 - 12:05    Break 12:05 - 12:55 Javlon E. Isomurodov, Alexander A. Loboda and Alexey A. Sergushichev: Ranking Vertices for Active Module Recovery Problem John L. Pfaltz: Computational Processes that Appear to Model Human Memory 12:55 - 14:25    Lunch 14:25 - 15:15 Philip J. Gerrish and Nick Hengartner: Inferring the Distribution of Fitness Effects (DFE) of Newly-arising Mutations Using Samples Taken from Evolving Populations in Real Time Jesper Jansson, Ramesh Rajaby and Wing-Kin Sung: An Efficient Algorithm for the Rooted Triplet Distance between Galled Trees 15:15 - 15:30    Break and Group photo 15:30 - 16:20    Benedict Paten: Describing the Local Structure of Sequence Graphs - Invited lecture 16:20 - 16:35    Break 16:35 -    18:05    Poster presentations Martin Ayling and Richard Leggett. MetaCortex: Assembling Variation in Metagenomics Gregory Farrant, Hoebeke Mark, Frédéric Partensky, Gwendoline Andrès, Erwan Corre and Laurence Garczarek. WiseScaffolder: An Algorithm for the Semi-automatic Scaffolding of Next Generation Sequencing Data Daniel Figueiredo and Eugénio Rocha. sDL: A Prover for Hybrid Systems César González, Mariano Pérez-Martínez, Juan M. Orduña, Javier Chaves-Martinez and Ana Barbara Garcia-Garcia. On the Use of Bit Arrays in the Detection of DNA Regions with Methylated Cytosines Morteza Hosseini, Diogo Pratas and Armando J. Pinho. Quantifying Inverted Repeats in DNA Sequences Haneen Najjar, Nagam Khoury and Alexander Bolshoy. Quasi-omnipresent N-grams in M Prokaryotic Genomes John Santerre, James Davis, Fangfang Xia and Rick Stevens. Machine Learning for the Phenotype to Genotype Problem Antonio J. Tallón-Ballesteros and María Rodríguez-Romero. Multilayer Perceptron Based on Hyperbolic Tangent Hidden Nodes. An Experimental Study Antonio J. Tallón-Ballesteros, Luis Rus-Pegalajar, María Rodríguez-Romero and Jonathan E. Benavides-Vallejo. Ranking-based Feature Selection in Microarray Problems 18:15 - 19:15    Touristic visit --- Tuesday, June 6 09:00 - 09:50    Marie-France Sagot: Algorithmically Exploring and Exploiting Interspecific Interactions - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:10 Alex Ozdemir, Michael Sheely, Daniel Bork, Ricson Cheng, Reyna Hulett, Jean Sung, Jincheng Wang and Ran Libeskind-Hadas: Clustering the Space of Maximum Parsimony Reconciliations in the Duplication-Transfer-Loss Model T.M. Rezwanul Islam and Ian McQuillan: CSA-X: Modularized Constrained Multiple Sequence Alignment 11:10 - 11:25    Break 11:25 - 12:15 Ozan Kahramanogullari: Quantifying Information Flow in Chemical Reaction Networks Gabriel H.G. Silva, Edans F.O. Sandes, George Teodoro and Alba C.M A. Melo: Parallel Biological Sequence Comparison in Linear Space with Multiple Adjustable Bands 12:15 - 12:25    Closing 12:25 -        Lunch -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri May 12 14:31:11 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 12 May 2017 15:31:11 +0300 Subject: [fg-arc] 5th European Conference on the Engineering of Computer Based Systems (ECBS 2017): Last Call for Papers Message-ID: *** Last Call for Papers *** 5th European Conference on the Engineering of Computer Based Systems ECBS 2017 Lordos Hotel, Larnaca, Cyprus 31 August - 1 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogTGFzdCBDYWxsIGZvciBQYXBlcnMJOTIJTGlzdHMJMTgzCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fecbs2017%2F In Cooperation with ACM SIGAPP, SIGOPS and SIGSOFT *** Final Extension Deadline: 1 June, 2017 *** ECBS 2017 is a formal meeting dedicated to formulating and advancing methods, techniques, and tools for engineering of computer-based systems. The conference is devoted to the design, development, deployment, and analysis of the complex systems whose behavior is largely determined or controlled by computers. Such systems are characterized by functional, performance, and reliability requirements that mandate the tight integration of information processing and physical processes. ECBS integrates software, hardware, and communication perspective of system engineering through its many facets that include system modeling, requirements specification, simulation, architectures, safety, security, reliability, human-computer interaction, system integration, verification and validation, high performance/parallel computing, cloud-based technologies, and project management. The conference provides a bridge between industry and academia, blending academic research and industrial development. The proceedings will be published in the International Conference Proceedings Series of ACM and after the conference they will be accessible in the ACM Digital Library. A Best Paper Award will be presented to the best paper presented at the conference, and a Best Student Paper Award will be presented to the best paper written solely or mostly by students. Scope Papers are sought which reflect this intent in fundamental ECBS technologies and application domains including, but not limited to the following topics: · Agile and Lean Approaches and Human Aspects of Software Development · Architectures · Advanced Modularity · Cloud-based Applications · Co-Design · Component-Based System Design · Cyber-Physical Systems · Parallel & Distributed Systems · Parallel Programming Methodologies and Languages · FPGA Systems Design · ECBS Infrastructure (Tools and Environments) · Education and Training · Embedded Real-Time Software Systems · Integration Engineering · Lifecycle Processes and Process Evolution · Model-Based System Development · Modeling and Analysis of Complex Systems · Networked Control Systems · Reengineering & Reuse · Reliability, Safety, Dependability, and Security · Software Engineering · System Assessment, Testing, and Metrics · Verification and Validation Industrial reports of practical solutions, trends, and new system characteristics for ECBS, taking an integrated systems approach, are particularly welcome. They may target application domains such as: Aerospace Systems, Command and Control, Continuous and Discrete Manufacturing, Environmental Systems, Instrumentation and Control Applications, Internet Technology and Applications, Intelligent Highway- Vehicle Systems (IHVS), Medical Systems, High Performance Computing Development Environments and Applications, and Telecommunications. Submission of Papers The conference solicits regular (no more than 10 pages) and short papers (no more than 4 pages). The Program Committee may require an accepted paper to be adapted into a short paper or extended abstract (no more than 2 pages and poster presentation only). All papers must be prepared according to the ACM SIG Proceedings Template format (see the conference web site for further information). The papers must be original contributions not submitted or accepted for publication elsewhere. A submitted contribution should clearly indicate the conference topics it targets. For an accepted contribution to be included in the proceedings, at least one author must register and present the paper at the conference. For further information, see the submission guidelines on the conference web site. The conference proceedings will be published by ACM ICPS and archived in the ACM Digital Library. Important Dates · Submission of Papers: 1 June, 2017 (firm) · Notification of Acceptance: 1 July, 2017 · Camera-ready Submission: 17 July, 2017 · Registration and Payment for Authors: 17 July, 2017 · Early Registration for Non-Authors: 9 August, 2017 Organization General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chair · Ondrej Rysavy, Brno University of Technology , Czech Republic Program Co-Chair · Valentino Vranic, Slovak University of Technology in Bratislava, Slovakia Steering Committee · Hassan Charaf, ECBS-EERC 2013 General Chair · George Angelos Papadopoulos, General Chair · Miroslav Popovic, ECBS-EERC 2009 General Chair · Ondrej Rysavy, ECBS-EERC 2015 General Chair · Valentino Vranic, ECBS-EERC 2011 General Chair Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogTGFzdCBDYWxsIGZvciBQYXBlcnMJOTIJTGlzdHMJMTgzCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fecbs2017%2Forganizers.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun May 14 10:12:49 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 14 May 2017 11:12:49 +0300 Subject: [fg-arc] 16th World Conference on Mobile and Contextual Learning (mLearn 2017): Fourth Call for Papers Message-ID: <0ARY4MA-5GBX-4JOY-H83U-UMVDBGMO14TU@cs.ucy.ac.cy> *** Fourth Call for Papers *** 16th World Conference on Mobile and Contextual Learning mLearn 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 30 October - 1 November, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IEZvdXJ0aCBDYWxsIGZvciBQYXBlcnMJOTQJTGlzdHMJMTgyCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F In Cooperation with ACM SIGAPP (proceedings in ACM ICPS) The International Association for Mobile Learning (IAmLearn) (www.iamlearn.org) is the custodian of the mLearn conference series. mLearn is the leading annual international conference for researchers, policy makers, educators, developers and solutions providers in the fields of mobile, ubiquitous and contextual learning, as well as learning with emerging ambient and wearable technologies. mLearn attracts a large number of participants from more than 60 countries representing all continents, and is, therefore, the world's largest international conference on mLearning and emerging ambient technologies. Conference Themes The overarching conference theme is 'mLearning and Design for Social Change and Innovation'. Higher education institutions are called upon to provide for the competencies and skills that foster design for social change and innovation. In addition, knowledge and skills alliances are encouraged by funding bodies to cultivate, share and disseminate competencies that foster social entrepreneurship and innovation. However, little is known on how mlearning can facilitate this process, how it can contribute towards social change, innovation and entrepreneurship. The topics of interest can go beyond the conference theme, and can include any of the following: · The development, deployment and implementation of mlearning in the context of social entrepreneurship, innovation and social change · mLearning as a tool that fosters social change and social entrepreneurship · Innovations in mlearning theory and pedagogy · From pilot projects to mainstream implementation: strategies for the deployment of mLearning · Mobile technology to support open and distance learning · Mobile technology for teaching and learning support · Assessment techniques and practices in mLearning · Design and development of learning material for mLearning · Learning objects and metadata for mLearning · Informal and lifelong learning with the aid of mobile technologies · Challenges for mLearning in developing countries · Building and implementing mLearning strategies in educational institutions, companies and public sector organisations · mLearning management systems (mLMSs) · Computer tablets · Creating interactive and collaborative mLearning environments · Future trends in mLearning technology, including the impact of emerging technologies · Emerging hardware and software for mLearning including wearable technologies · Location-aware technologies · Contextual and situated learning · Augmented reality · Serious gaming and simulations · Ambient intelligence and ubiquitous learning Submission Information The conference solicits regular papers (no more than 8 pages), short papers (no more than 4 pages), as well as posters (no more than 2 pages). The Program Committee may require an accepted paper to be adapted into a short paper or poster. All papers must be prepared according to the ACM SIG Proceedings Template format (see the conference web site for further information). The papers must be original contributions not submitted or accepted for publication elsewhere. A submitted contribution should clearly indicate the conference topics it targets. For an accepted contribution to be included in the proceedings, at least one author must register and present the paper at the conference. For further information, see the submission guidelines on the conference web site. The conference proceedings will be published by ACM ICPS and archived in the ACM Digital Library. Important Dates · Submission Deadline for Conference Papers: 15 June 2017 · Accept/Reject Notification for Conference Papers: 15 July 2017 · Camera-Ready Submission of all Papers: 1 September 2017 Information on registration categories and registration fees for the mLearn 2017 is available online at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IEZvdXJ0aCBDYWxsIGZvciBQYXBlcnMJOTQJTGlzdHMJMTgyCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F. Organization General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Fernando Loizides, University of Wolverhampton, United Kingdom · Nicos Souleles, Cyprus University of Technology, Cyprus Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IEZvdXJ0aCBDYWxsIGZvciBQYXBlcnMJOTQJTGlzdHMJMTgyCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2Fcommittees.php -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sun May 14 18:52:51 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 14 May 2017 18:52:51 +0200 Subject: [fg-arc] SLSP 2017: 3rd call for papers Message-ID: <545102060a010b00025e510a03005a530002500307530354045109545254520401510003020d520203025950055405@grlmc_ip-zone_com-6> SLSP 2017: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   5th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2017   Le Mans, France   October 23-25, 2017   Organized by:   Computer Science Lab (LIUM) University of Le Mans   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2017/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2017, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2017 will take place in Le Mans, in the region Pays de la Loire, a city with well-preserved Gallo-Roman remnants. The venue will be:   Claude Chappe Informatics Institute University of Le Mans Avenue Laënnec 72085 Le Mans Cedex 9   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2017 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS: (to be completed)   Bhiksha Raj (Carnegie Mellon University), An Introduction to Neural Networks   Paolo Rosso (Technical University of Valencia), Author Profiling in Social Media: The Impact of Emotions in Discourse Analysis   PROGRAMME COMMITTEE:   Jon Barker (University of Sheffield, UK) Laurent Besacier (Grenoble Informatics Laboratory, FR) Paul Buitelaar (National University of Ireland, Galway, IE) Felix Burkhardt (Telekom Innovation Laboratories, DE) Xavier Carreras (Xerox Research Centre Europe, FR) Francisco Casacuberta (Technical University of Valencia, ES) Ciprian Chelba (Google, US) Eng Siong Chng (Nanyang Technological University, SG) Jennifer Chu-Carroll (Elemental Cognition, US) Doug Downey (Northwestern University, US) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National University of Distance Education, ES) Keikichi Hirose (University of Tokyo, JP) Gerhard Jäger (University of Tübingen, DE) Gareth Jones (Dublin City University, IE) Joseph Keshet (Bar-Ilan University, IL) Tomi Kinnunen (University of Eastern Finland, FI) Lun-Wei Ku (Academia Sinica, TW) Kong Aik Lee (Institute for Infocomm Research, SG) Elizabeth D. Liddy (Syracuse University, US) Xunying Liu (Chinese University of Hong Kong, HK) Suresh Manandhar (University of York, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Ruslan Mitkov (University of Wolverhampton, UK) Marie-Francine Moens (KU Leuven, BE) Seiichi Nakagawa (Toyohashi University of Technology, JP) Preslav Nakov (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Cécile Paris (CSIRO, AU) Fuchun Peng (AISense Inc., US) Pascal Perrier (Grenoble Institute of Technology, FR) Leon Rothkrantz (Delft University of Technology, NL) Horacio Saggion (Pompeu Fabra University, ES) Murat Saraçlar (Boğaziçi University, TR) Holger Schwenk (Facebook, FR) Brad Story (University of Arizona, US) Karin Verspoor (University of Melbourne, AU) Xiaojun Wan (Peking University, CN) Phil Woodland (University of Cambridge, UK) Chuck Wooters (Semantic Machines, US) François Yvon (LIMSI-CNRS, FR)   ORGANIZING COMMITTEE:   Walid Aransa (Le Mans) Adrien Bardet (Le Mans) Abdessalam Bouchekif (Le Mans) Fethi Bougares (Le Mans) Nathalie Camelin (Le Mans) Yannick Estève (Le Mans, co-chair) Mercedes García Martínez (Le Mans) Sahar Ghannay (Le Mans) Anthony Larcher (Le Mans) Antoine Laurent (Le Mans) Carlos Martín-Vide (Tarragona, co-chair) Salima Mdhaffar (Le Mans) Manuel J. Parra Royón (Granada) Simon Petitrenaud (Le Mans) David Silva (London) Natalia Tomashenko (Le Mans) Kévin Vythelingum (Le Mans)   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, graphics, 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://easychair.org/conferences/?conf=slsp2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of Computer Speech and Language (Elsevier, JCR 2015 impact factor: 1.324) 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/SLSP2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 11, 2017 Notification of paper acceptance or rejection: July 11, 2017 Final version of the paper for the LNCS/LNAI proceedings: July 21, 2017 Early registration: July 21, 2017 Late registration: October 9, 2017 Submission to the journal special issue: January 25, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 at yahoo.com   POSTAL ADDRESS:   SLSP 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   Université du Maine Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From cie2017 at abo.fi Mon May 15 09:00:02 2017 From: cie2017 at abo.fi (CIE2017) Date: Mon, 15 May 2017 10:00:02 +0300 Subject: [fg-arc] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday Message-ID: <8aa699bc-7140-a153-a803-98eb45bb766b@abo.fi> *Magic in Science*, June 17, 2017, Turku, Finland http://combio.abo.fi/rozenberg75/ This symposium will be co-located with “Computability in Europe (CiE) 2017“. It takes place on June 17, 2017, immediately after CiE. The symposium celebrates the 75th birthday of Prof. Grzegorz Rozenberg, University of Leiden, the Netherlands and University of Colorado at Boulder, USA (the actual birthday date is March 14). Grzegorz Rozenberg is one of the world leaders in research on Theoretical Computer Science and Natural Computing. As a matter of fact, he is often called the guru of Natural Computing, having started promoting it as a coherent scientific discipline already from the 1970s – he gave this area its name and defined its scope. He played a central role in the development of theoretical computer science in Europe. His research is very broad in scope and it is a prime example of interdisciplinary research. He has authored exceptionally many research papers opening new vistas as well as well-known books about theoretical computer science and natural computing. He supervised numerous Ph.D. students, many of whom have become known scientists. He serves or has served the international computer science community in numerous roles, including: president of the European Association for Theoretical Computer Science (EATCS); cofounder and president of the International Society for Nanoscale Science, Computation, and Engineering (ISNSCE); chair of the steering committee of the DNA Computing Conference; cofounder and chair of the steering committee of the International Conference on Application and Theory of Petri Nets; chair of the steering committee of the European Educational Forum; cofounder and chair of the steering committee of the International Conference on Developments in Language Theory; co-chair of the steering committee of the International Conference on Unconventional Computation and Natural Computation; and director of European Molecular Computing Consortium. He also served on the editorial boards of many international journals and book series. He is the editor-in-chief and either the founder or a cofounder of some very well-known journals and book series: the journal Natural Computing, the journal Theoretical Computer Science C (Theory of Natural Computing), the book series Monographs and Texts in Theoretical Computer Science, the book series Natural Computing, and the book series Advances in Petri Nets. For over 20 years, he was the editor of the Bulletin of the European Association for Theoretical Computer Science. He edited four handbooks: on formal languages, on graph grammars and computing by graph transformations, on membrane computing, and on natural computing. G. Rozenberg is a Foreign Member of the Finnish Academy of Sciences and Letters, a member of Academia Europaea, and the holder of Honorary Doctorates of the University of Turku, Finland, the Technical University of Berlin, Germany, the University of Bologna, Italy, the Åbo Akademi University in Turku, Finland, the Warsaw University of Technology, Poland, and the University of Bucharest, Romania. He has received the Distinguished Achievements Award of the European Association for Theoretical Computer Science “in recognition of his outstanding scientific contributions to theoretical computer science”. He is an ISI highly cited researcher. He has also a very active and creative life outside science. For example, he is a performing magician, which is also reflected in his research. His very impressive numerous scientific results are somehow sprinkled with a touch of magic: this explains the title of the symposium. Also, he is an expert in paintings of Dutch painter Hieronymus Bosch. The talks given at the symposium will have an overview character and together they will cover a broad range of topics reflecting Grzegorz Rozenberg’s broad research interests. Among the topics covered are: P vs NP, stochastic search, natural computing, biologically-inspired models of computation, reaction systems, chemical reaction networks, membrane computing, graph isomorphism, graph polynomials, matroids, synthesis of concurrent systems, Petri nets, formal language theory and combinatorics on words, DNA rearrangements in ciliates, patterns in genomes, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction. Speakers: • David Harel, Weizmann Institute of Science in Israel – “On odor reproduction and how to test for it“ • Hendrik Jan Hoogeboom, University of Leiden, the Netherlands – “From DNA rearrangements in ciliates to elegant graph problems“ • Juraj Hromkovic, Swiss Federal Institute of Technology Zurich, Switzerland – “Why P vs. NP is so hard that even magicians failed to solve it“ • Natasha Jonoska, University of South Florida, USA – “Patterns emerging from a scrambled ciliate genome“ • Juhani Karhumäki, University of Turku, Finland – “Combinatorics on words and k-abelian equivalence“ • Jetty Kleijn, Leiden University, the Netherlands – “The spellbinding simplicity of complex reaction systems“ • Maciej Koutny, Newcastle University, UK – “Regions: the magic ingredient in synthesis of concurrent systems“ • Hermann Maurer, Academia Europaea and Graz University of Technology, Austria – “Some unusual applications of computer science“ • Giancarlo Mauri, University of Milano-Bicocca, Italy – “Modelling and simulation of biochemical reaction systems“ • George Paun, Institute of Mathematics of the Academy of Romania – “Borderlines or limits? (in Natural Computing)“ • Azaria Paz, Technion, Israel – “Linked magic squares on a cube. Theme and variations“ • Moshe Vardi, Rice University, USA – “The Automated-Reasoning Revolution: From Theory to Practice and Back“ • Erik Winfree, Caltech, USA – “Chemical reaction networks and stochastic local search“ Important dates: • Registration deadline: June 5, 2017 • Symposium: June 17, 2017 Registration and fees: • The registration can be done at http://combio.abo.fi/rozenberg75/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From hasselbring at email.uni-kiel.de Mon May 15 12:46:18 2017 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Mon, 15 May 2017 12:46:18 +0200 Subject: [fg-arc] =?utf-8?q?Programm_und_Einladung_zum_Gr=C3=BCndungstref?= =?utf-8?q?fen_f=C3=BCr_den_AK_Microservices=3A_31=2E_Mai_2017_in_Hamburg?= In-Reply-To: <48535ffc-cb49-a063-d37c-f3723b27499b@email.uni-kiel.de> References: <48535ffc-cb49-a063-d37c-f3723b27499b@email.uni-kiel.de> Message-ID: <54d40c54-3ea3-4149-0e92-06733198e5d9@email.uni-kiel.de> PS: > Unser Gastgeber ist die Adesso AG, Niederlassung Hamburg. Hier noch die Daten zum Veranstaltungsort am Hamburger Fischmarkt Altona: adesso Hamburg Große Elbstraße 36 22767 Hamburg https://www.adesso.de/de/unternehmen/standorte/standorte-mit-wegbeschreibun.jsp From announce at cs.ucy.ac.cy Mon May 15 15:28:36 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 15 May 2017 16:28:36 +0300 Subject: [fg-arc] 8th International Conference on Information, Intelligence, Systems and Applications (IISA 2017): Seventh Call for Papers Message-ID: *** Seventh Call for Papers *** 8th International Conference on Information, Intelligence, Systems and Applications IISA 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 28 - 30 August, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uLCBJbnRlbGxpZ2VuY2UsIFN5c3RlbXMgYW5kIEFwcGxpY2F0aW9ucyAoSUlTQSAyMDE3KTogU2V2ZW50aCBDYWxsIGZvciBQYXBlcnMJOTcJTGlzdHMJMTgyCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiisa2017.unipi.gr *** Deadline: 22nd May 2017 *** The International Conference on Information, Intelligence, Systems and Applications (IISA) series offers a forum for the constructive interaction and prolific exchange of ideas among scientists and practitioners from different research fields such as computers, mathematics, physics, biology, medicine, chemistry, experimental psychology, social sciences, linguistics, and engineering having the goal of developing methodologies and tools for the solution of complex problems in artificial intelligence, biology, neuroscience, security, monitoring, surveillance, healthcare, sustainability in energy sources, governance, education, commerce, automation, robotics, optimization, image, speech and natural languages, and their integration. IISA 2017 is the eighth conference in the IISA series, technically co-sponsored by IEEE, BAIF, the University of Piraeus and the University of Cyprus. The IISA 2017 proceedings will be published by IEEE and be included in the IEEE DL. The conference is intended as an international forum for researchers and professionals in all areas of Information, Intelligence, Systems, and Applications. We invite submissions of papers presenting high-quality original research and developments for the conference tracks listed below. The conference venue is the Golden Bay Beach Hotel (http://www.goldenbay.com.cy) perfectly situated at the edge of the tourist part of Larnaca, right on a long and wide stretch of fine and clear sandy beach, 10 km from the town center, just 15 km from Larnaca International Airport and 30 minutes from the capital city of Nicosia. This prestigious 5* hotel is renowned for its excellent facilities, combined with impeccable service and finest cuisine in luxurious surroundings The conference will last for three days and will feature tutorials, technical paper presentations, workshops, and distinguished keynote speeches. Instructions to Authors Papers must be submitted in IEEE Conference Style format, which can be downloaded from http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uLCBJbnRlbGxpZ2VuY2UsIFN5c3RlbXMgYW5kIEFwcGxpY2F0aW9ucyAoSUlTQSAyMDE3KTogU2V2ZW50aCBDYWxsIGZvciBQYXBlcnMJOTcJTGlzdHMJMTgyCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Papers must be limited to 6 pages in length. Topics of Interest We welcome all submissions in the subjects of IISA related (but not limited) to the following tracks and topics: Track I: Information Processing and Intelligence · Advances in databases · Information systems · Information and data management · Data mining, warehousing and knowledge extraction · Recommender systems · Digital rights management · Processing of Social and Emotional Interactions · Biological and artificial neural networks · Biological and artificial immune systems · Cognitive science · Neuroscience · Computational biology · DNA computing · Evolutionary computing and genetic algorithms · Bayesian networks · Expert systems & intelligent agents · Swarm intelligence · Fuzzy logic systems · Kernel methods - support vector machines · Ensemble classifiers · Emerging machine learning paradigms · Decision making techniques · Knowledge-based systems · Ambient-ubiquitous intelligence · Robotics and automation · Affective computing Track II: Multimedia Systems and Networks · Advances in audio/video and multimedia processing · Signal mining · Signal visualization · Human-machine interaction · Multimodal systems · Multimedia systems · Autonomous Computing · Distributed computing · Quantum computing · Mobile computing · Green computing · Trusted computing · Proactive computing · Cloud computing · Ubiquitous computing · Networking · Sensing, sensory systems and sensor networks · Design and implementation · Real time systems Track III: Educational Informatics · Adaptive and personalized learning · Student modeling · Intelligent tutoring systems · E-learning and mobile learning · Social media and learning · Educational games · Computer-supported collaborative learning · Big data in education and learning analytics · Affective computing in learning systems · Smart learning environments · Virtual and augmented reality in education · Risk management in education · Learning management systems · Content management systems · Learning technologies for students with special needs Track IV: Cyber Security · Watermarking, cryptography, cryptanalysis, steganography, and stegananalysis · Privacy and authentication · Malicious software analysis · Information, computer and network security · Infrastructure security · Forensics · Biometrics Track V: Smart Energy and Smart Cities · Methodologies and tools for assessing the energy status in smart cities · Intelligent sensors and data analytics for energy optimization · Monitoring and control of energy resources · Smart grid · Fault detection · Decision support systems in energy planning and scheduling · Middleware for urban computing · Intelligent transportation systems · Public displays for modern cities · Impact of urban computing in modern cities · Case studies and best practices · Big city data · Culture for smart cities Track VI: Healthcare · E-health, mobile health and smart health · Infrastucture for smart health · Advanced devices and robotics for smart health · Ambient intelligence in assisted living · Health information systems · Healthcare management · Case studies Track VII: Applications · E-government and m-government · E-commerce and m-commerce · E-entertainment and m-entertainment · E-legal and m-legal services · Personalized systems and services · Enabling technologies, frameworks and standards · Empirical evaluations · Simulation and evaluation via simulation · Case studies · Applications in culture and heritage · Applications in tourism · Applications in natural resource management · Applications in disabilities and to people at need Important Dates · Submission of Papers: May 22, 2017 · Notification of Acceptance: June 05, 2017 · Camera-ready Submission: June 12, 2017 · Registration and Payment for Authors: June 12, 2017 · Conference Dates: August 28-30, 2017 Organization Program Chairs · N. Bourbakis, Wright State University, USA · G. A. Papadopoulos, University of Cyprus, Cyprus · G. A. Tsihrintzis, University of Piraeus, Greece · N. Virvou, University of Piraeus, Greece Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uLCBJbnRlbGxpZ2VuY2UsIFN5c3RlbXMgYW5kIEFwcGxpY2F0aW9ucyAoSUlTQSAyMDE3KTogU2V2ZW50aCBDYWxsIGZvciBQYXBlcnMJOTcJTGlzdHMJMTgyCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiisa2017.unipi.gr/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From cie2017 at abo.fi Mon May 15 09:09:17 2017 From: cie2017 at abo.fi (CIE2017) Date: Mon, 15 May 2017 10:09:17 +0300 Subject: [fg-arc] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday Message-ID: <340aabe1-8908-adb2-0bcb-05f62f20a366@abo.fi> *Magic in Science*, June 17, 2017, Turku, Finland http://combio.abo.fi/rozenberg75/ This symposium will be co-located with “Computability in Europe (CiE) 2017“. It takes place on June 17, 2017, immediately after CiE. The symposium celebrates the 75th birthday of Prof. Grzegorz Rozenberg, University of Leiden, the Netherlands and University of Colorado at Boulder, USA (the actual birthday date is March 14). Grzegorz Rozenberg is one of the world leaders in research on Theoretical Computer Science and Natural Computing. As a matter of fact, he is often called the guru of Natural Computing, having started promoting it as a coherent scientific discipline already from the 1970s – he gave this area its name and defined its scope. He played a central role in the development of theoretical computer science in Europe. His research is very broad in scope and it is a prime example of interdisciplinary research. He has authored exceptionally many research papers opening new vistas as well as well-known books about theoretical computer science and natural computing. He supervised numerous Ph.D. students, many of whom have become known scientists. He serves or has served the international computer science community in numerous roles, including: president of the European Association for Theoretical Computer Science (EATCS); cofounder and president of the International Society for Nanoscale Science, Computation, and Engineering (ISNSCE); chair of the steering committee of the DNA Computing Conference; cofounder and chair of the steering committee of the International Conference on Application and Theory of Petri Nets; chair of the steering committee of the European Educational Forum; cofounder and chair of the steering committee of the International Conference on Developments in Language Theory; co-chair of the steering committee of the International Conference on Unconventional Computation and Natural Computation; and director of European Molecular Computing Consortium. He also served on the editorial boards of many international journals and book series. He is the editor-in-chief and either the founder or a cofounder of some very well-known journals and book series: the journal Natural Computing, the journal Theoretical Computer Science C (Theory of Natural Computing), the book series Monographs and Texts in Theoretical Computer Science, the book series Natural Computing, and the book series Advances in Petri Nets. For over 20 years, he was the editor of the Bulletin of the European Association for Theoretical Computer Science. He edited four handbooks: on formal languages, on graph grammars and computing by graph transformations, on membrane computing, and on natural computing. G. Rozenberg is a Foreign Member of the Finnish Academy of Sciences and Letters, a member of Academia Europaea, and the holder of Honorary Doctorates of the University of Turku, Finland, the Technical University of Berlin, Germany, the University of Bologna, Italy, the Åbo Akademi University in Turku, Finland, the Warsaw University of Technology, Poland, and the University of Bucharest, Romania. He has received the Distinguished Achievements Award of the European Association for Theoretical Computer Science “in recognition of his outstanding scientific contributions to theoretical computer science”. He is an ISI highly cited researcher. He has also a very active and creative life outside science. For example, he is a performing magician, which is also reflected in his research. His very impressive numerous scientific results are somehow sprinkled with a touch of magic: this explains the title of the symposium. Also, he is an expert in paintings of Dutch painter Hieronymus Bosch. The talks given at the symposium will have an overview character and together they will cover a broad range of topics reflecting Grzegorz Rozenberg’s broad research interests. Among the topics covered are: P vs NP, stochastic search, natural computing, biologically-inspired models of computation, reaction systems, chemical reaction networks, membrane computing, graph isomorphism, graph polynomials, matroids, synthesis of concurrent systems, Petri nets, formal language theory and combinatorics on words, DNA rearrangements in ciliates, patterns in genomes, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction. Speakers: • David Harel, Weizmann Institute of Science in Israel – “On odor reproduction and how to test for it“ • Hendrik Jan Hoogeboom, University of Leiden, the Netherlands – “From DNA rearrangements in ciliates to elegant graph problems“ • Juraj Hromkovic, Swiss Federal Institute of Technology Zurich, Switzerland – “Why P vs. NP is so hard that even magicians failed to solve it“ • Natasha Jonoska, University of South Florida, USA – “Patterns emerging from a scrambled ciliate genome“ • Juhani Karhumäki, University of Turku, Finland – “Combinatorics on words and k-abelian equivalence“ • Jetty Kleijn, Leiden University, the Netherlands – “The spellbinding simplicity of complex reaction systems“ • Maciej Koutny, Newcastle University, UK – “Regions: the magic ingredient in synthesis of concurrent systems“ • Hermann Maurer, Academia Europaea and Graz University of Technology, Austria – “Some unusual applications of computer science“ • Giancarlo Mauri, University of Milano-Bicocca, Italy – “Modelling and simulation of biochemical reaction systems“ • George Paun, Institute of Mathematics of the Academy of Romania – “Borderlines or limits? (in Natural Computing)“ • Azaria Paz, Technion, Israel – “Linked magic squares on a cube. Theme and variations“ • Moshe Vardi, Rice University, USA – “The Automated-Reasoning Revolution: From Theory to Practice and Back“ • Erik Winfree, Caltech, USA – “Chemical reaction networks and stochastic local search“ Important dates: • Registration deadline: June 5, 2017 • Symposium: June 17, 2017 Registration and fees: • The registration can be done at http://combio.abo.fi/rozenberg75/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From hasselbring at email.uni-kiel.de Mon May 15 12:25:59 2017 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Mon, 15 May 2017 12:25:59 +0200 Subject: [fg-arc] =?utf-8?q?Programm_und_Einladung_zum_Gr=C3=BCndungstreff?= =?utf-8?q?en_f=C3=BCr_den_AK_Microservices=3A_31=2E_Mai_2017_in_Hamburg?= Message-ID: <48535ffc-cb49-a063-d37c-f3723b27499b@email.uni-kiel.de> Liebe Interessenten am AK Microservices, lieber Mitglieder der Fachgruppe Architekturen, Das Gründungstreffen zum Arbeitskreis Microservices in der GI-Fachgruppe Architekturen findet am Mittwoch 31. Mai 2017 von 10:00 Uhr bis ca. 16 Uhr in Hamburg statt. Unser Gastgeber ist die Adesso AG, Niederlassung Hamburg. Wer Interesse an einer Teilnahme hat, sollte mir bis Mittwoch 24. Mai 2017 (gern früher) eine kurze Nachricht per email senden. Die Teilnahme ist kostenfrei, es ist jedoch eine solche *Anmeldung* erforderlich. Das geplante Programm: ----------------------------------- 31.05.2017, 10:00-12:00 Roland Majchszak (adesso) Von der Kommunikationsstruktur zur Microservice-Aufteilung In einem Portal zur Erstellung von qualifizierten Digitalen Signaturen nach eIDAS Richtlinie, werden zahlreiche externe Services zu einer Anwendung integriert. Sicherheit und Abschottung der einzelnen Systemen haben bei diesem Projekt eine zentrale Bedeutung. Durch eine Aufteilung in Mikroservices konnten wir eine Systemaufteilung finden, die klar abgegrenzte und gut abzusichernde Kommunikationspfade hat. Hannes Dohrn (FAU): The Microservice Architecture of Sweble Hub Sweble Hub is a wiki-like knowledge management system and uses a collaboration model similar to that of GitHub. Instead of contributing to other people's projects (a.k.a. wikis) directly, an author forks a project to make it her own, then performs the desired changes and finally sends a pull request to the original project. It will be possible to fork the entire English Wikipedia and contribute back to the original project. While we will offer the software as a service and on-premise we will also host public projects for free. To support the feature set of Sweble Hub we have chosen a microservice based architecture that is not tied to a particular cloud solution. Our technology stack relies on Java and Javascript as main programming languages, HTTP APIs for inter-service communication and the docker infrastructure as a means to deploy microservices into a cloud. A role and permission based security model is used to authorize requests to individual services. Persistent storage is provided by SQL databases and distributed database systems like Cassandra. In this talk I will present the design decisions and the current architecture of the Sweble Hub project including the measures we took to allow for easy testability during development. Andreas Steffens (RWTH): Microservice-basiertes Continuous Delivery System Holger Knoche (b+m Informatik AG & CAU): Treiber und Hindernisse für die Adoption von Microservices in der deutschen Sofwareindustrie 12-13 Lunch 13-15:30 Uhr Wilhelm Hasselbring (CAU): - Ziele des Arbeitskreises - Wahl Leitungsgremium etc - Weitere Aktivitäten (beispielsweise eine Sammlung und Veröffentlichung von Microservice-basierten Architekturbeschreibungen) - Nächstes Treffen 15:30 Uhr: Kaffee und Ausklang ----------------------------------- Hier noch einmal die Hintergrund-Idee des AK: Modularisierung ist ein grundlegendes Prinzip im Softwareentwurf (http://dl.acm.org/citation.cfm?id=361623). Microservices dienen zur Modularisierung von Softwaresystemen. Eine wesentliche Eigenschaft von Microservices -- im Gegensatz zu vielen anderen Modularisierungsansätzen wie z.B. Modulen und Komponenten -- ist das unabhängige Deployment. Dazu erhalten die einzelnen Microservices insbesondere auch eigene Datenhaltungssysteme. Neben den Vorteilen, wie der unabhängigen Entwicklung einzelner Microservices und der Unterstützung von Continuous Deployment, gibt es auch viele Herausforderungen, wie der Konsistenzsicherung verteilter Datenbestände und der benötigten Kenntnisse zur polyglotten Programmierung verteilter Systeme. In diesem Arbeitskreis wollen wir uns zu diesen Chancen und Risiken austauschen. Schöne Grüße, Wilhelm (Willi) Hasselbring -- 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 koziolek at kit.edu Wed May 17 15:50:43 2017 From: koziolek at kit.edu (Anne Koziolek (IPD)) Date: Wed, 17 May 2017 15:50:43 +0200 Subject: [fg-arc] Summer School: Communication Technology and Data Analytics for Future Energy Systems Message-ID: Liebe Mitglieder der GI-Fachgruppen Architekturen, There will be a summer school "Communication Technology and Data Analytics for Future Energy Systems" from September 11 to September 15, 2017 at the University of Passau, Germany. If you or members of your team want to learn more about the design and architecture of future energy systems, this may be just right for you. Registration is now open until June 2, 2017 on www.future-energy-systems.org. The summer school features topics on: * Energy Informatics * Data analytics and management of energy related data * Communication technologies for energy systems The program includes: * Talks by leading researchers in the field * Workshops, tutorials and discussions with researchers and practitioners * Social events For more information, visit our website at www.future-energy-systems.org. Viele Grüße, Anne Koziolek -- Karlsruhe Institute of Technology (KIT) Institute for Program Structures and Data Organization Jun.-Prof. Dr.-Ing. Anne Koziolek (Martens) Am Fasanengarten 5, Building 50.34, Room 326 76131 Karlsruhe, Germany Phone: +49 721 608-4-3473 Fax: +49 721 608-4-5990 Web: http://are.ipd.kit.edu/people/anne_koziolek/ KIT -- The Research University in the Helmholtz Association -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5393 bytes Desc: S/MIME Cryptographic Signature URL: From announce at cs.ucy.ac.cy Wed May 17 15:20:03 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 17 May 2017 16:20:03 +0300 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Last Call for Doctoral Consortium Message-ID: *** Last Call for Doctoral Consortium *** 21st European Conference on Advances in Databases and Information Systems ADBIS 2017 Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogTGFzdCBDYWxsIGZvciBEb2N0b3JhbCBDb25zb3J0aXVtCTk5CUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2Fconsortium.html *** Deadline Extension: June 2, 2017 *** The internationally recognized ADBIS conference already for 21 years is gathering researchers and practitioners around topics related to databases, data processing, and information systems, in general. The conference is run in Europe but attracts researchers from all over the world. The 21st ADBIS conference will be held in Nicosia, Cyprus. The conference is accompanied by satellite events, including doctoral consortia and workshops. DOCTORAL CONSORTIUM The Doctoral Consortium (DC) is a forum where PhD students can present their research ideas, confront them with the scientific community, receive feedback from mentors, and tie cooperation bounds. Students will receive inspiration from their peers and will have a chance to discuss their research objectives with senior members of the community in the context of an established international conference. The DC session will take place on September 24, in parallel with the workshop sessions. Each participant will present her/his work, followed by a discussion with senior researchers. ELIGIBILITY We seek PhD students who have either determined the direction of their thesis research (probably with some preliminary results already published), but who still have substantial work to complete, or PhD student participants who are in the early stages of their dissertation year. It is not required to have a paper accepted for the main conference in order to participate in the DC. SUBMISSIONS To apply to the DC, please submit a single-authored paper (which will appear in the proceedings of DC), accompanied by a short email from the thesis advisor stating support for your participation in the DC, describing the current status of the thesis research, and giving your expected date of graduation. The papers for DC should be at most 12 pages in Springer format (formatting instructions can be obtained via http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogTGFzdCBDYWxsIGZvciBEb2N0b3JhbCBDb25zb3J0aXVtCTk5CUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-2-793332-0%29 and describe the state of the whole PhD project, rather than a specific completed result. The paper should outline the objectives, the problem, state of the art, results obtained so far, and what is still to be done in the frame of the PhD project. If an author prefers to present a completed research result, the paper should be submitted to the main conference or one of accompanying workshops. A paper submitted to the DC may not be under review for any other conference or journal during the time it is being considered for the DC. Submissions should be made electronically in PDF format at CMT: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogTGFzdCBDYWxsIGZvciBEb2N0b3JhbCBDb25zb3J0aXVtCTk5CUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fcmt3.research.microsoft.com%2FADBISDC2017. In case of multiple files, please submit a single compressed file (zip or rar). After logging into CMT, please choose the "ADBIS 2017 Doctoral Consortium" track. REVIEW PROCESS Each paper submitted to the DC will be reviewed by at least two members of the DC program committee and will be judged based on originality, technical merit, presentation quality, and relevance. The authors of successful submissions must take into account the reviewers' comments during the preparation of the final version and describe the changes in a separate document to be submitted together with the final camera-ready version. The program committee reserves the right to reject a paper if the final version does not meet the requirements above. Applications not adhering to the provided guidelines (including page limits) will not be considered. The authors of accepted papers must register to the conference, attend the DC and present their work. PROCEEDINGS The DC papers will be published by Springer, together with the ADBIS workshops proceedings, in the Advances in Intelligent Systems and Computing series. IMPORTANT DATES · Submission: June 2, 2017 (extended) · Acceptance/Rejection Notification: June 30, 2017 · Camera-ready Submission: July 14, 2017 · Doctoral Consortium: September 24, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogTGFzdCBDYWxsIGZvciBEb2N0b3JhbCBDb25zb3J0aXVtCTk5CUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2Fcommittees.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From mayerhofer at big.tuwien.ac.at Wed May 24 18:04:29 2017 From: mayerhofer at big.tuwien.ac.at (Mayerhofer Tanja) Date: Wed, 24 May 2017 16:04:29 +0000 Subject: [fg-arc] Call for Papers: 3rd International Workshop on Executable Modeling (EXE 2017) Message-ID: <35bb08ec2373439fb2e661818a60540c@mbx13b.intern.tuwien.ac.at> ------------------------------------------------------------------------ Call for Papers: 3nd International Workshop on Executable Modeling (EXE 2017) co-located with MODELS 2017 September 17-19, 2017 Austin, Texas http://www.modelexecution.org/exe2017 ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the Third International Workshop on Executable Modeling (EXE 2017), held in conjunction with the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Austin, Texas, on September 17-19, 2017. --------------------------- Scope and Topics --------------------------- The complexity of modern software-intensive systems, time-to-market pressures, and the need for high quality systems are current challenges faced by the software and systems engineering industry. To address these challenges, model-driven engineering (MDE) advocates the elevation of models into the center of the development process. Models provide abstractions over the system to be developed, while also providing enough detail to automate the development of implementation artifacts and perform early system analysis. In this context, executable models become more and more important. Executable models provide abstractions of complex system behaviors and constitute the basis for performing early analyses of that behavior. The ability to analyze a system's behavior early in its development has the potential to turn executable models into important assets of a model-driven development process. Despite the potential benefits of executable models, there are still many challenges to solve, such as the lack of maturity in the definition of and tooling for executable modeling languages, and the limited experience with executable modeling in much of the software and systems development industry. EXE 2017 will provide a forum for researchers and practitioners to discuss these challenges and propose potential solutions, as well as to assess and advance the state-of-the-art in this area. Topics of interest for the workshop include but are not limited to the following: * Methodologies, languages, techniques, and methods for designing and implementing executable modeling languages * Case studies and experience reports on the successful or failed adoption of executable modeling in different application domains and application contexts * Model execution tools for the (dynamic) validation, verification, and testing of systems (e.g., model animation, debugging, simulation, trace exploration, model checking, symbolic execution) * Tracing model executions and analyzing model execution traces * Automation techniques for the development of model execution tools * Evolution in the context of executable modeling (e.g., evolution of executable modeling languages, execution semantics, executable models, model execution tools) * Verification of semantic conformance (e.g., among executable modeling languages, executable models, model execution tools) * Customization of executable modeling languages and model execution tools (e.g., semantic variation points, profiles) * Composition, extension, and reuse of executable modeling languages and model execution tools * Integration of executable modeling languages and programming languages * Semantics-aware model transformations and code generation * Scalability of model execution and execution-based model analysis * Execution of partial and underspecified models * Model execution in the presence of non-determinism and concurrency * Surveys and benchmarks of different approaches for the development of executable modeling languages, model execution, and execution-based model analysis --------------------------- Submissions --------------------------- The following types of submissions are solicited (please indicate the type of your submission as a footnote to the title of your paper): * Research papers (up to 6 pages) presenting novel and innovative approaches in one of the topics of the workshop. We also strongly encourage the submission of comparative studies and benchmarks of existing approaches in one of the topics. * Experience reports (up to 6 pages) presenting experiences and lessons learned in one of the topics of the workshop. Experience reports should discuss knowledge gained from an executable modeling project experience and identify key challenges encountered. * Position papers (up to 2 pages) presenting new ideas or early research results in one of the topics of the workshop. * Tool demonstration papers (up to 3 pages) presenting novel tools or novel features of state-of-the-art tools related to executable modeling. Submissions of tool demonstration papers should consist of two parts. The first part (up to 3 pages) will be included in the proceedings and should describe the tool presented (a URL where the tool can be downloaded should be included). The second part (up to 2 pages) should explain how the tool demonstration will be carried out at the workshop, including examples and screenshots. All submissions should follow the IEEE formatting instructions available at http://www.ieee.org/conferences_events/conferences/publishing/templates.html. Submissions created with LaTeX are preferred, but using Word is allowed. For LaTeX, use the document class "\documentclass[conference]{IEEEtran}". Submit your paper electronically as PDF via EasyChair at https://easychair.org/conferences/?conf=exe2017. All submissions will be evaluated by at least three members of the program committee. Research papers, experience reports, and tool demonstration papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the workshop call. Position papers will be evaluated primarily concerning validity and ability to generate discussion (even controversy), as well as alignment with the workshop call. Furthermore, all submissions must be original work and must not have been previously published or being under review elsewhere. For each accepted paper, at least one of the authors must register for the workshop, participate fully in the workshop, and present the paper at the workshop. A pre-workshop version of the accepted papers will be available on the workshop website and a post-workshop version will be published as part of the workshop's post-proceedings at CEUR workshop proceedings (http://ceur-ws.org). --------------------------- Workshop Format --------------------------- EXE 2017 is a full-day workshop held as part of MODELS 2017. We plan to have one keynote talk in the morning, followed by two sessions of presentations of the accepted papers. The last session of the day will be a discussion session, where challenges, questions, experiences, opinions, and requirements related to executable modeling will be discussed. The detailed program will be announced in August, shortly after the author notifications have been sent. --------------------------- Important Dates --------------------------- Submission deadline: July 7, 2017 Author notification: July 28, 2017 Workshop: September 17, 18 or 19, 2017 (the exact date will be fixed soon and announced on the workshop Website) --------------------------- Organizers --------------------------- * Tanja Mayerhofer, TU Wien, Austria * Philip Langer, EclipseSource, Austria * Ed Seidewitz, nMeta, USA * Jeff Gray, University of Alabama, USA * Erwan Bousse, TU Wien, Austria --------------------------- Program Committee --------------------------- (to be completed) * Francis Bordeleau, CMind, Canada * Tony Clark, Sheffield Hallam University, United Kingdom * Peter Clarke, Florida International University, United States * Benoit Combemale, IRISA and University of Rennes, France * Jonathan Corley, University West Georgia, USA * Juan de Lara, University of Madrid, Spain * Julien Deantoni, University Nice Sophia Antipolis, CNRS, I3S, Inria, France * Thomas Degueule, CWI, The Netherlands * Juergen Dingel, Queen's University, Canada * Dimitris Kolovos, University of York, United Kingdom * Nicholas Matragkas, University of Hull, United Kingdom * Marjan Mernik, University of Maribor, Slovenia * Zoltan Micskei, Budapest University of Technology and Economics, Hungary * Richard Paige, University of York, United Kingdom * Alessandro Romero, Brazilian National Institute for Space Research, Brazil * Jesús Sánchez Cuadrado, Universidad de Murcia, Spain * Markus Scheidgen, Humboldt University Berlin, Germany * Bran Selic, Malina Software Corporation, Canada * Cortland Starrett, One Fact Inc, United States * Eugene Syriani, University of Montreal, Canada * Jérémie Tatibouët, CEA, France * Massimo Tisi, Ecole des Mines de Nantes, France * Simon Van Mierlo, University of Antwerp, Belgium * Andreas Wortmann, RWTH Aachen University, Germany From a.garcia-dominguez at aston.ac.uk Fri May 19 20:26:39 2017 From: a.garcia-dominguez at aston.ac.uk (Garcia-Dominguez, Antonio) Date: Fri, 19 May 2017 18:26:39 +0000 Subject: [fg-arc] STAF 2017: Call for Participation Message-ID: <239CD6FCD9FF564AA3DBE2D0CB18566BC221F128@exch-mb-l4-01.campus.aston.ac.uk> STAF 2017 - Software Technologies: Applications and Foundations =============================================================== July 17-21, 2017 | Philipps-Universität Marburg, Germany | http://www.informatik.uni-marburg.de/staf2017/ STAF is the umbrella event of: * ECMFA ’17 - 13th European Conference on Modelling Foundations and Applications, * ICGT ’17 - 10th International Conference on Graph Transformation, * ICMT ’17 - 10th International Conference on Model Transformation, * TAP ’17 - 11th International Conference on Tests and Proofs, * TTC ’17 - 10th Transformation Tool Contest, and * Satellite Events related to these conferences: * BigMDE ’17 - Scalable Model Driven Engineering, * STAF 2017 Doctoral Symposium, * GCM ’17 - Graph Computation Models, * GRAND ’17 - Grand Challenges in Modeling, * MORSE ’17 - Model-Driven Robot Software Engineering, * OCL ’17 - OCL and Textual Modeling, * Projects Showcase ’17 - 3rd event dedicated to international and national project dissemination and cooperation, and * VOLT ’17 - Verification of Model Transformations. ***** Registration grants for students are available ***** Also note that submissions for the Doctoral Symposium are accepted until May 22nd. About STAF ========== Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012. The participating conferences focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools. In 2017, STAF will be hosted at Philipps-Universität Marburg. Marburg is located in the heart of Germany, one train-hour to the north of Frankfurt. Its population of 72,000 is made up of 25,000 students and 7,500 university employees, rendering it a typical “university town”. As one of Germany’s oldest universities, founded in 1527, Uni Marburg looks back on a long and rich history. Traditionally focused on the humanities, Uni Marburg has recently gained momentum in science and technology, notably in the medical, nano, and material sciences. Touristic hot spots such as the castle and the beautiful old town Oberstadt with its numerous bars and restaurants make Marburg highly attractive for a visit. Registration ============ You can register online to all events of STAF at: http://www.informatik.uni-marburg.de/staf2017/index.php/registration/ For students, we offer registration grants. All details about the application procedure are provided at: http://www.informatik.uni-marburg.de/staf2017/index.php/student-registration-grants/ Keynotes ======= This year, STAF is proud to feature the following outstanding keynote speakers: * Ramon Schiffelers (ASML, NL): Empowering high tech systems engineering using MDSE ecosystems * Georg Gottlob (University of Oxford, UK): General and Fractional Hypertree Decompositions: Hard and Easy Cases * Lionel C. Briand (University of Luxembourg, LU): Model-driven verification and testing of cyber-physical systems: Tackling Scalability and Practicality Challenges * Reiner Hähnle (Technical University of Darmstadt, DE): Abstraction Refinement for the Analysis of Software Product Lines * More information on the keynotes may be found at http://www.informatik.uni-marburg.de/staf2017/index.php/keynotes/. Program ======= The tentative program of all events is available at http://www.informatik.uni-marburg.de/staf2017/index.php/program/. Contact and Committees ====================== For further inquiries, do not hesitate to contact the STAF chairs via staf2017 at uni-marburg.de. -- Antonio Garcia-Dominguez Lecturer in Computer Science School of Engineering & Applied Science, Aston University Aston Triangle, Birmingham, B4 7ET Room: MB211Q From grlmc at grlmc.com Mon May 22 02:05:57 2017 From: grlmc at grlmc.com (GRLMC) Date: Mon, 22 May 2017 02:05:57 +0200 Subject: [fg-arc] TPNC 2017: 1st call for papers Message-ID: <545102060a010b000355590002025a51070254515106040207525a095057560506570103510e55015653070b035655@grlmc_ip-zone_com-6> TPNC 2017: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 6th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2017   Prague, Czech Republic   December 18-20, 2017   Organized by:   Institute of Computer Science Czech Academy of Sciences   Faculty of Mathematics and Physics Charles University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2017/ ***************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2017 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2017 will take place in Prague, whose historic centre is UNESCO World Heritage Site and which is home to famous attractions like the Prague Castle, the Charles Bridge, etc. The venue will be:   Faculty of Mathematics and Physics Charles University Ke Karlovu 3 121 16 Praha 2   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   amorphous computing ant colonies artificial chemistry artificial immune systems artificial life bacterial foraging cellular automata chaos computing collision-based computing complex adaptive systems computing with DNA computing with words and perceptions developmental systems evolutionary computing fractal geometry fuzzy logic gene assembly in ciliates granular computing intelligent systems in-vivo computing membrane computing nanocomputing neural computing optical computing physarum machines quantum computing quantum information reaction-diffusion systems rough sets self-organizing systems swarm intelligence synthetic biology   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2017 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Ajith Abraham (Machine Intelligence Research Labs, US) Gilles Brassard (University of Montréal, CA) Carlos Coello Coello (CINVESTAV-IPN, MX) Kalyanmoy Deb (Michigan State University, US) Marco Dorigo (Université Libre de Bruxelles, BE) Michel Gendreau (Polytechnique Montréal, CA) Enrique Herrera-Viedma (University of Granada, ES) Licheng Jiao (Xidian University, CN) Andrew Kusiak (University of Iowa, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Henri Prade (Paul Sabatier University, FR) Thomas Stützle (Université Libre de Bruxelles, BE) Ponnuthurai N. Suganthan (Nanyang Technological University, SG) Johan Suykens (KU Leuven, BE) Xin‐She Yang (Middlesex University, UK) Yiyu Yao (University of Regina, CA) Lotfi A. Zadeh (University of California, Berkeley, US) Anton Zeilinger (University of Vienna, AT)   ORGANIZING COMMITTEE:   Carlos Martín-Vide (Tarragona, co-chair) Roman Neruda (Prague, co-chair) Manuel Jesús Parra Royón (Granada) David Silva (London) Miguel A. Vega-Rodríguez (Cáceres)   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, graphics, 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://easychair.org/conferences/?conf=tpnc2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/TPNC2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: August 6, 2017 Notification of paper acceptance or rejection: September 6, 2017 Final version of the paper for the LNCS proceedings: September 16, 2017 Early registration: September 16, 2017 Late registration: December 4, 2017 Submission to the post-conference journal special issue: March 20, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   TPNC 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   Akademie věd České republiky Univerzita Karlova v Praze Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue May 23 09:16:38 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 23 May 2017 10:16:38 +0300 Subject: [fg-arc] 8th International Conference on Information, Intelligence, Systems and Applications (IISA 2017): Last Call for Papers Message-ID: <4IGKLTNO-4R7H-TO1O-UQLM-2LE3BO7ZOTVS@cs.ucy.ac.cy> *** Last Call for Papers *** 8th International Conference on Information, Intelligence, Systems and Applications IISA 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 28 - 30 August, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uLCBJbnRlbGxpZ2VuY2UsIFN5c3RlbXMgYW5kIEFwcGxpY2F0aW9ucyAoSUlTQSAyMDE3KTogTGFzdCBDYWxsIGZvciBQYXBlcnMJMTAxCUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiisa2017.unipi.gr *** Deadline: 29th May 2017 (final and firm) *** The International Conference on Information, Intelligence, Systems and Applications (IISA) series offers a forum for the constructive interaction and prolific exchange of ideas among scientists and practitioners from different research fields such as computers, mathematics, physics, biology, medicine, chemistry, experimental psychology, social sciences, linguistics, and engineering having the goal of developing methodologies and tools for the solution of complex problems in artificial intelligence, biology, neuroscience, security, monitoring, surveillance, healthcare, sustainability in energy sources, governance, education, commerce, automation, robotics, optimization, image, speech and natural languages, and their integration. IISA 2017 is the eighth conference in the IISA series, technically co-sponsored by IEEE, BAIF, the University of Piraeus and the University of Cyprus. The IISA 2017 proceedings will be published by IEEE and be included in the IEEE DL. The conference is intended as an international forum for researchers and professionals in all areas of Information, Intelligence, Systems, and Applications. We invite submissions of papers presenting high-quality original research and developments for the conference tracks listed below. The conference venue is the Golden Bay Beach Hotel (http://www.goldenbay.com.cy) perfectly situated at the edge of the tourist part of Larnaca, right on a long and wide stretch of fine and clear sandy beach, 10 km from the town center, just 15 km from Larnaca International Airport and 30 minutes from the capital city of Nicosia. This prestigious 5* hotel is renowned for its excellent facilities, combined with impeccable service and finest cuisine in luxurious surroundings The conference will last for three days and will feature tutorials, technical paper presentations, workshops, and distinguished keynote speeches. Instructions to Authors Papers must be submitted in IEEE Conference Style format, which can be downloaded from http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uLCBJbnRlbGxpZ2VuY2UsIFN5c3RlbXMgYW5kIEFwcGxpY2F0aW9ucyAoSUlTQSAyMDE3KTogTGFzdCBDYWxsIGZvciBQYXBlcnMJMTAxCUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Papers must be limited to 6 pages in length. Topics of Interest We welcome all submissions in the subjects of IISA related (but not limited) to the following tracks and topics: Track I: Information Processing and Intelligence · Advances in databases · Information systems · Information and data management · Data mining, warehousing and knowledge extraction · Recommender systems · Digital rights management · Processing of Social and Emotional Interactions · Biological and artificial neural networks · Biological and artificial immune systems · Cognitive science · Neuroscience · Computational biology · DNA computing · Evolutionary computing and genetic algorithms · Bayesian networks · Expert systems & intelligent agents · Swarm intelligence · Fuzzy logic systems · Kernel methods - support vector machines · Ensemble classifiers · Emerging machine learning paradigms · Decision making techniques · Knowledge-based systems · Ambient-ubiquitous intelligence · Robotics and automation · Affective computing Track II: Multimedia Systems and Networks · Advances in audio/video and multimedia processing · Signal mining · Signal visualization · Human-machine interaction · Multimodal systems · Multimedia systems · Autonomous Computing · Distributed computing · Quantum computing · Mobile computing · Green computing · Trusted computing · Proactive computing · Cloud computing · Ubiquitous computing · Networking · Sensing, sensory systems and sensor networks · Design and implementation · Real time systems Track III: Educational Informatics · Adaptive and personalized learning · Student modeling · Intelligent tutoring systems · E-learning and mobile learning · Social media and learning · Educational games · Computer-supported collaborative learning · Big data in education and learning analytics · Affective computing in learning systems · Smart learning environments · Virtual and augmented reality in education · Risk management in education · Learning management systems · Content management systems · Learning technologies for students with special needs Track IV: Cyber Security · Watermarking, cryptography, cryptanalysis, steganography, and stegananalysis · Privacy and authentication · Malicious software analysis · Information, computer and network security · Infrastructure security · Forensics · Biometrics Track V: Smart Energy and Smart Cities · Methodologies and tools for assessing the energy status in smart cities · Intelligent sensors and data analytics for energy optimization · Monitoring and control of energy resources · Smart grid · Fault detection · Decision support systems in energy planning and scheduling · Middleware for urban computing · Intelligent transportation systems · Public displays for modern cities · Impact of urban computing in modern cities · Case studies and best practices · Big city data · Culture for smart cities Track VI: Healthcare · E-health, mobile health and smart health · Infrastucture for smart health · Advanced devices and robotics for smart health · Ambient intelligence in assisted living · Health information systems · Healthcare management · Case studies Track VII: Applications · E-government and m-government · E-commerce and m-commerce · E-entertainment and m-entertainment · E-legal and m-legal services · Personalized systems and services · Enabling technologies, frameworks and standards · Empirical evaluations · Simulation and evaluation via simulation · Case studies · Applications in culture and heritage · Applications in tourism · Applications in natural resource management · Applications in disabilities and to people at need Important Dates · Submission of Papers: May 29, 2017 (final) · Notification of Acceptance: June 05, 2017 · Camera-ready Submission: June 12, 2017 · Registration and Payment for Authors: June 12, 2017 · Conference Dates: August 28-30, 2017 Organization Program Chairs · N. Bourbakis, Wright State University, USA · G. A. Papadopoulos, University of Cyprus, Cyprus · G. A. Tsihrintzis, University of Piraeus, Greece · M. Virvou, University of Piraeus, Greece Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uLCBJbnRlbGxpZ2VuY2UsIFN5c3RlbXMgYW5kIEFwcGxpY2F0aW9ucyAoSUlTQSAyMDE3KTogTGFzdCBDYWxsIGZvciBQYXBlcnMJMTAxCUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiisa2017.unipi.gr/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From dalila.tamzalit at univ-nantes.fr Wed May 24 10:10:01 2017 From: dalila.tamzalit at univ-nantes.fr (Tamzalit Dalila) Date: Wed, 24 May 2017 10:10:01 +0200 Subject: [fg-arc] CfP ME workshop @ MODELS2017 Message-ID: [Apologies for multiple postings] CALL FOR PAPERS: 11th International Workshop on "Models and Evolution" Co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages & Systems (MODELS 2017), Austin, Texas, Sept 17-22, 2017 http://www.models-and-evolution.com/ We cordially invite submissions to the 11th International Workshop on Models and Evolution (ME) held in conjunction with the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Austin, Texas in September, 2017. Scope Software artefacts constantly increase in complexity, variety and novelty. Environment and business constraints, user requirements and new insights put additional pressure on their adaptability, availability, reliability and quality: they continuously need to be up to date. But evolution issues are critical, complex and costly to manage. They concern requirements, architecture, design, source code, documentation, integration or deployment. They also typically affect various kinds of models (data, behavioral, domain, source code or goal models). Addressing and managing these varieties of changes is essential. Models and metamodels, the cornerstone of complex software systems’ abstractions, represent a powerful mean for facing software evolution challenges by ensuring a more abstract and expressive modeling of software evolution. They can help and guide software evolution and can enforce and reduce critical risks and important involved resources. The workshop puts the focus on Models and Evolution by considering two main sides: (1) Managing software evolution needs by relying on the high-​level abstraction power of models and metamodels. (2) Managing model and metamodel evolution needs and the co-evolution of all related software artefacts by putting attention to their increasing evolution issues as they become primary artefacts. ME 2017 will bring together researchers and practitioners to share experiences in dealing with the various forms of models and evolution. It combines a strong practical focus with theoretical approaches as required in any discipline to support engineering practices. ME 2017 targets researchers and practitioners on model-driven engineering to meet, disseminate and exchange ideas, identify the key issues related to the problem of models and evolution and explore possible solutions and future work. Topics Contributions are solicited on all aspects of models and evolution, its foundations, practices and technologies. In particular, we encourage submissions from both academia and industry about the following (non-exhaustive) list of topics: Formalisms, theories, formal approaches, methods and languages for expressing and understanding model-driven software evolution Supporting processes and tools for managing model-driven software evolution (Co-)evolution and (co-)adaptation of models, metamodels and modeling languages; classification of (co-)evolution scenarios Conformance checking, inconsistency management, synchronization, differencing, comparison, impact analysis of evolving models Transformation techniques for evolving models: restructuring, refactoring, migration, translation, composition, versioning, etc. Maintenance and evolution of domain-specific languages Maintenance and evolution of model transformations Traceability maintenance, verification, and validation of evolving models, evolving model transformations, and evolving modeling languages; runtime models Analysis of model maintainability Variability management using models Model-driven software architecture recovery, reverse architecting, reconstruction, migration and software release engineering Model-based and model-related techniques for legacy systems evolution and systems integration Reusable evolution solutions and patterns Evolution issues in new and emerging systems and paradigms (e.g., cyber-security, cyber-physical systems, systems of systems, systems engineering, Internet of Things, cloud computing and its Software, Platform, Infrastructure (SPI) model, data analytics, big data, social media, devices and services, mobile applications, open source software, sustainability and modeling for social good, open architectures, product-line architectures, software ecosystems, Service-Oriented Architecture (SOA), micro-services, enterprise architectures) Model-driven software evolution regarding energy-awareness and sustainability Training, education, and certification around software evolution State-of-the-art and state-of-practice in software evolution Empirical studies, industrial needs, experience reports and experiments in software evolution Tools and methods supporting all of the above topics Submission We solicit papers of the following types: Research papers (max. 10 pages) providing novel contributions on topics of the workshop presenting novel ideas, addressing challenging problems, or making practical contributions. Position papers (max. 6 pages): Work in progress papers presenting early work and preliminary research results of young researchers in topics related to the workshop. Visionary papers proposing visionary and strategic ideas and/or looking for collaborations around international projects. Industrial experience papers reporting about experiences in the area of models and evolution, novel industrial tools, and positions from industry about experience and/or case studies about managing or putting into practice model-driven software evolution solutions are highly appreciated. Tool presentations (max. 6 pages) presenting (experience with) tools (which may be either research prototypes or commercial tools) that are fully/partially dedicated to supporting the model-based software evolution and evolution issues encountered in model-based development. Contributions must be written in English, adhere to the ACM SIGS format, and be submitted through EasyChair (https://easychair.org/conferences/?conf=me2017). All submissions must be original work and must not have been previously published or being under review elsewhere. For each accepted paper, at least one of the authors must register for the workshop, participate fully in the workshop, and present the paper at the workshop. Accepted workshop papers will be published on CEUR-WS. Important Dates Abstract submission deadline: June 30, 2017 Paper submission deadline: July 7, 2017 Notification to authors: July 28, 2017 Workshop date: September 17, 18 or 19, 2017 Organizers Tanja Mayerhofer, TU Wien (Austria) Alfonso Pierantonio, University of L'Aquila (Italy) Bernhard Schätz, fortiss GmbH (Germany) Dalila Tamzalit, University of Nantes (France) Program Committee Vasilios Andrikopoulos, University of Stuttgart, Germany Alessandra Bagnato, Softeam, France Mireille Blay-Fornarino, Université Nice Sophia Antipolis, I3S, France Francis Bordeleau, Canada Antonio Cicchetti, Mälardalen University, Sweden Davide Di Ruscio, Università degli Studi dell'Aquila, Italy Anne Etien, University of Lille 1, France Jesus Garcia-Molina, Universidad de Murcia, Spain Sebastien Gerard, CEA, France Holger Giese, Hasso-Plattner-Institut für Softwaresystemtechnik GmbH, Germany Jeff Gray, University of Alabama, USA Rich Hilliard, IEEE Computer Society, USA Ludovico Iovino, Gran Sasso Science Institute, Italy Udo Kelter, University of Siegen, Germany Philip Langer, Eclipse Source, Austria Olivier Le Goaer, LIUPPA, Université de Pau et des Pays de l'Adour, France Shahar Maoz, Tel Aviv University, Israel Salvador Martínez, INRIA, France Tom Mens, University of Mons, Belgium Richard Paige, University of York, UK Bernhard Rumpe, RWTH Aachen University, Germany Jesús Sánchez Cuadrado, Universidad de Murcia, Spain Martina Seidl, Johannes Kepler University Linz, Austria Massimo Tisi, Ecole des Mines de Nantes, France Juha-Pekka Tolvanen, MetaCase, Finland Antonio Vallecillo, Universidad de Málaga, Spain Konrad Wieland, Sparx Systems, Austria Manuel Wimmer, TU Wien, Austria -- Dalila Tamzalit ===== LINA(*) / IUT de Nantes (**) (*) Équipe AeLoS (Architectures et Logiciels Sûrs) Laboratoire des Sciences du Numérique de Nantes (LS2N) - CNRS UMR 6004, 2 Chemin de la Houssinière 44300 Nantes Tel : (33) 2-51-12-57-80 Fax : (33) 2-51-12-58-12 (**) IUT de Nantes - Département Informatique 3, rue du Maréchal Joffre BP 34103 - 44 041 Nantes cedex 1 - FRANCE tél : (33) 2 40 30 60 57 fax : (33) 2 40 30 60 47 From announce at cs.ucy.ac.cy Thu May 25 09:59:39 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 25 May 2017 10:59:39 +0300 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Last Mile for DC Papers Message-ID: <7AX785XQ-MAT-P1A8-SKC-KOKT3UH8TH8E@cs.ucy.ac.cy> *** Last Mile for DC Papers *** 21st European Conference on Advances in Databases and Information Systems ADBIS 2017 Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogTGFzdCBNaWxlIGZvciBEQyBQYXBlcnMJMTAzCUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2Fconsortium.html *** Deadline : June 2, 2017 (firm) *** The internationally recognized ADBIS conference already for 21 years is gathering researchers and practitioners around topics related to databases, data processing, and information systems, in general. The conference is run in Europe but attracts researchers from all over the world. The 21st ADBIS conference will be held in Nicosia, Cyprus. The conference is accompanied by satellite events, including doctoral consortia and workshops. DOCTORAL CONSORTIUM The Doctoral Consortium (DC) is a forum where PhD students can present their research ideas, confront them with the scientific community, receive feedback from mentors, and tie cooperation bounds. Students will receive inspiration from their peers and will have a chance to discuss their research objectives with senior members of the community in the context of an established international conference. The DC session will take place on September 24, in parallel with the workshop sessions. Each participant will present her/his work, followed by a discussion with senior researchers. ELIGIBILITY We seek PhD students who have either determined the direction of their thesis research (probably with some preliminary results already published), but who still have substantial work to complete, or PhD student participants who are in the early stages of their dissertation year. It is not required to have a paper accepted for the main conference in order to participate in the DC. SUBMISSIONS To apply to the DC, please submit a single-authored paper (which will appear in the proceedings of DC), accompanied by a short email from the thesis advisor stating support for your participation in the DC, describing the current status of the thesis research, and giving your expected date of graduation. The papers for DC should be at most 12 pages in Springer format (formatting instructions can be obtained via http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogTGFzdCBNaWxlIGZvciBEQyBQYXBlcnMJMTAzCUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-2-793332-0%29 and describe the state of the whole PhD project, rather than a specific completed result. The paper should outline the objectives, the problem, state of the art, results obtained so far, and what is still to be done in the frame of the PhD project. If an author prefers to present a completed research result, the paper should be submitted to the main conference or one of accompanying workshops. A paper submitted to the DC may not be under review for any other conference or journal during the time it is being considered for the DC. Submissions should be made electronically in PDF format at CMT: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogTGFzdCBNaWxlIGZvciBEQyBQYXBlcnMJMTAzCUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fcmt3.research.microsoft.com%2FADBISDC2017. In case of multiple files, please submit a single compressed file (zip or rar). After logging into CMT, please choose the "ADBIS 2017 Doctoral Consortium" track. REVIEW PROCESS Each paper submitted to the DC will be reviewed by at least two members of the DC program committee and will be judged based on originality, technical merit, presentation quality, and relevance. The authors of successful submissions must take into account the reviewers' comments during the preparation of the final version and describe the changes in a separate document to be submitted together with the final camera-ready version. The program committee reserves the right to reject a paper if the final version does not meet the requirements above. Applications not adhering to the provided guidelines (including page limits) will not be considered. The authors of accepted papers must register to the conference, attend the DC and present their work. PROCEEDINGS The DC papers will be published by Springer, together with the ADBIS workshops proceedings, in the Advances in Intelligent Systems and Computing series. IMPORTANT DATES · Submission: June 2, 2017 (firm) · Acceptance/Rejection Notification: June 30, 2017 · Camera-ready Submission: July 14, 2017 · Doctoral Consortium: September 24, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogTGFzdCBNaWxlIGZvciBEQyBQYXBlcnMJMTAzCUxpc3RzCTE4MgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2Fcommittees.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri May 26 15:06:15 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 26 May 2017 16:06:15 +0300 Subject: [fg-arc] 5th European Conference on the Engineering of Computer Based Systems (ECBS 2017): Last Mile Message-ID: *** Last Mile *** 5th European Conference on the Engineering of Computer Based Systems ECBS 2017 Lordos Hotel, Larnaca, Cyprus 31 August - 1 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogTGFzdCBNaWxlCTEwNQlMaXN0cwkxODIJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fecbs2017%2F In Cooperation with ACM SIGAPP, SIGOPS and SIGSOFT Proceedings will be published by ACM ICPS *** Final Extension Deadline: 1 June, 2017 *** ECBS 2017 is a formal meeting dedicated to formulating and advancing methods, techniques, and tools for engineering of computer-based systems. The conference is devoted to the design, development, deployment, and analysis of the complex systems whose behavior is largely determined or controlled by computers. Such systems are characterized by functional, performance, and reliability requirements that mandate the tight integration of information processing and physical processes. ECBS integrates software, hardware, and communication perspective of system engineering through its many facets that include system modeling, requirements specification, simulation, architectures, safety, security, reliability, human-computer interaction, system integration, verification and validation, high performance/parallel computing, cloud-based technologies, and project management. The conference provides a bridge between industry and academia, blending academic research and industrial development. The proceedings will be published in the International Conference Proceedings Series of ACM and after the conference they will be accessible in the ACM Digital Library. A Best Paper Award will be presented to the best paper presented at the conference, and a Best Student Paper Award will be presented to the best paper written solely or mostly by students. Scope Papers are sought which reflect this intent in fundamental ECBS technologies and application domains including, but not limited to the following topics: · Agile and Lean Approaches and Human Aspects of Software Development · Architectures · Advanced Modularity · Cloud-based Applications · Co-Design · Component-Based System Design · Cyber-Physical Systems · Parallel & Distributed Systems · Parallel Programming Methodologies and Languages · FPGA Systems Design · ECBS Infrastructure (Tools and Environments) · Education and Training · Embedded Real-Time Software Systems · Integration Engineering · Lifecycle Processes and Process Evolution · Model-Based System Development · Modeling and Analysis of Complex Systems · Networked Control Systems · Reengineering & Reuse · Reliability, Safety, Dependability, and Security · Software Engineering · System Assessment, Testing, and Metrics · Verification and Validation Industrial reports of practical solutions, trends, and new system characteristics for ECBS, taking an integrated systems approach, are particularly welcome. They may target application domains such as: Aerospace Systems, Command and Control, Continuous and Discrete Manufacturing, Environmental Systems, Instrumentation and Control Applications, Internet Technology and Applications, Intelligent Highway- Vehicle Systems (IHVS), Medical Systems, High Performance Computing Development Environments and Applications, and Telecommunications. Submission of Papers The conference solicits regular (no more than 10 pages) and short papers (no more than 4 pages). The Program Committee may require an accepted paper to be adapted into a short paper or extended abstract (no more than 2 pages and poster presentation only). All papers must be prepared according to the ACM SIG Proceedings Template format (see the conference web site for further information). The papers must be original contributions not submitted or accepted for publication elsewhere. A submitted contribution should clearly indicate the conference topics it targets. For an accepted contribution to be included in the proceedings, at least one author must register and present the paper at the conference. For further information, see the submission guidelines on the conference web site. The conference proceedings will be published by ACM ICPS and archived in the ACM Digital Library. Important Dates · Submission of Papers: 1 June, 2017 (firm) · Notification of Acceptance: 1 July, 2017 · Camera-ready Submission: 17 July, 2017 · Registration and Payment for Authors: 17 July, 2017 · Early Registration for Non-Authors: 9 August, 2017 Organization General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chair · Ondrej Rysavy, Brno University of Technology , Czech Republic Program Co-Chair · Valentino Vranic, Slovak University of Technology in Bratislava, Slovakia Steering Committee · Hassan Charaf, ECBS-EERC 2013 General Chair · George Angelos Papadopoulos, General Chair · Miroslav Popovic, ECBS-EERC 2009 General Chair · Ondrej Rysavy, ECBS-EERC 2015 General Chair · Valentino Vranic, ECBS-EERC 2011 General Chair Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogTGFzdCBNaWxlCTEwNQlMaXN0cwkxODIJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fecbs2017%2Forganizers.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From foclasa2017 at gmail.com Mon May 29 16:24:28 2017 From: foclasa2017 at gmail.com (foclasa2017 at gmail.com) Date: Mon, 29 May 2017 16:24:28 +0200 Subject: [fg-arc] FOCLASA 2017 - Final Call for Papers Message-ID: <201705291424.v4TEOSYr032148@localhost.localdomain> [Apologies in case of multiple posting] ------ FOCLASA 2017: Final Call for Papers ------ 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems http://foclasa.lcc.uma.es September 5, 2017, Trento (Italy) Colocated with SEFM 2017 - http://sefm17.fbk.eu Follow us on Twitter: @foclasa2017 ------------------------------------------------------ FOCLASA 2017 is a workshop colocated with the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017). The goal of FOCLASA 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 ------ June 2, 2017: Deadline for abstract submission June 9, 2017: Deadline for paper submission July 7, 2017: Notifications July, 2017: Final versions (precise date TBA) September 5, 2017: Workshop in Trento ------ TOPICS OF INTEREST ------ * Theoretical models and frameworks for component and/or service coordination, service composition, 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 (Cloud Computing, Internet of Things, Smart cities, Big Data, etc.). * Languages and specification protocols for component and/or service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Models and architectures for Software-as-a-Service (SaaS) cloud systems; 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. * Formal methods for self-adaptive systems, stochastic modeling and analysis, reasoning under uncertainty, run-time synthesis. * 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, etc.) In particular, practice, experience and methodologies from the following areas are solicited as well: * Business process modeling * Component-based systems * Service-oriented computing * Cloud computing * Internet of Things * Large-scale distributed systems * Grid computing * Multi-agent systems * Networked embedded systems * Peer-to-peer systems 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 LNCS style and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: http://www.easychair.org/conferences/?conf=foclasa2017 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 is not allowed. All accepted papers will be included in the LNCS Workshop Proceedings of SEFM 2017, to be published by Springer after the workshop. Additionally, and following the tradition of past editions, a special issue of Science in Computer Programming (SCP, Elsevier) will be devoted to the best papers accepted at FOCLASA 2017. 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. ------ PROGRAM COMMITTEE CHAIRS ------ * Carlos Canal, University of Malaga, Spain * Gwen Salaun, University of Grenoble Alpes, France ------ PROGRAM COMMITTEE ------ * Pedro Alvarez, Universidad de Zaragoza, Spain * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, EPFL, Switzerland * Radu Calinescu, University of York, UK * Javier Camara, Carnegie Mellon University, USA * Flavio De Paoli, University of Milano, Italy * Schahram Dustdar, TU Wien, Austria * Jean-Marie Jacquet, University of Namur, Belgium * Nima Kaviani, IBM, USA * Alberto Lluch Lafuente, Technical University of Denmark * Sun Meng, Peking University, China * Hernan C. Melgratti, University of Buenos Aires, Argentina * Mohammad Mousavi, Halmstad University, Sweden * Marc Oriol, Universitat Politecnica de Catalunya, Spain * Pascal Poizat, Universite Paris Ouest, France * Jose Proenca, INESC TEC & Universidade do Minho, Portugal * Michael Sheng, University of Adelaide, Australia * Marjan Sirjani, Reykjavik University, Iceland * Carolyn Talcott, SRI International, USA * Massimo Tivoli, University of L'Aquila, Italy * Lina Ye, CentraleSupelec, France * Gianluigi Zavattaro, University of Bologna, Italy ------ PUBLICITY CHAIR ------ * Gianluca Barbon, University of Grenoble Alpes, France ------ WEB CHAIR ------ * Alejandro Perez Vereda, University of Malaga, Spain ------ STEERING COMMITTEE ------ * Farhad Arbab, CWI, The Netherlands * Antonio Brogi, University of Pisa, Italy * Carlos Canal, University of Malaga, Spain * Jean-Marie Jacquet, University of Namur, Belgium * Ernesto Pimentel, University of Malaga, Spain * Gwen Salaun, University of Grenoble Alpes, France From grlmc at grlmc.com Sun May 28 21:04:29 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 28 May 2017 21:04:29 +0200 Subject: [fg-arc] DeepLearn 2017: early registration June 16 Message-ID: <545102060a010b00035f540402025a505a5101595404065906560d095201540306575751020f070605520404550b50@grlmc_ip-zone_com-6> DeepLearn 2017: early registration June 16*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************   INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2017   Bilbao, Spain   July 17-21, 2017   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/DeepLearn2017/   ************************************************************   --- Early registration deadline: June 16, 2017 ---   ********************************************************   SCOPE:   DeepLearn 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 4 keynote lectures, 30 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:   In principle, graduate students, doctoral students and postdocs will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. DeepLearn 2017 is also appropriate for more senior academics and practitioners 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, 3-4 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain   KEYNOTE SPEAKERS: (to be completed)   Richard Socher (Salesforce), Tackling the Limits of Deep Learning   PROFESSORS AND COURSES:   Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision   Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends   Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter & Alexander Ihler (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models   Li Deng (Microsoft Research), tba   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale   Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Precision Medicine and Biomedical informatics   Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Wild   Li Erran Li (Columbia University), [intermediate/advanced] Deep Reinforcement Learning: Recent Advances and Frontiers   Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks   Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Marc’Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications   Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain   Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances   Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences   Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications   Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games   Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines   Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Generative Modeling and Unsupervised Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] Statistical Machine Learning Perspectives of Extending Deep Neural Networks: Kernels, Logics, Regularizers, Priors, and Distributed Algorithms   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding   Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 9, 2017.   INDUSTRIAL SESSION:   A specific session will be devoted to demonstrations of practical uses of deep learning in industrial processes. Companies/people interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   ORGANIZING COMMITTEE:   Pablo García Bringas (co-chair) José Gaviria Carlos Martín (co-chair) Manuel Jesús Parra Iker Pastor Borja Sanz (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2017/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 comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universidad de Deusto Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From franconi at inf.unibz.it Wed May 31 08:58:41 2017 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Wed, 31 May 2017 08:58:41 +0200 Subject: [fg-arc] Computer Science PhD grants @ KRDB - Univ. of Bozen-Bolzano Italy Message-ID: <31052017085841916GGh77pfXqRRd0255@smtp.office365.com> 10 four-years grants are offered by the faculty of Computer Science of the Free University of Bozen-Bolzano in Italy for its PhD programme. Each grant amounts to 68,000 €; for research visits abroad the grant can increase up to 50%. Substantial extra funding is available for participation to international conferences, schools, workshops, research visits. The language of the PhD program is English. The deadline for applications is 3 July 2017. For more info, the call, and applications look at: www.unibz.it/en/faculties/computer-science/phd-computer-science The university is located in one of the most fascinating European regions, the Dolomites (youtu.be/g5V3mJEE6bw). This young university has already established itself as an important research institution, both in Italy and abroad. According to the Times Higher Education World University Rankings 2017, the university is the tenth world’s best small university, is the fifth best among all the Italian Universities with computer science departments, and it is the second best young Italian University. The KRDB Research Centre of the faculty (www.inf.unibz.it/krdb) is widely recognised as one of the internationally leading groups in knowledge representation research, with a synergy between foundational and application-oriented research. Among the various available PhD topics described in the call, the KRDB Research Centre is looking for PhD students interested in Conceptual Data Modelling and Ontology Design, Intelligent Information Access and Query processing, Information Integration, Semantic Technologies, Knowledge Representation, Computational Logic, Artificial Intelligence, foundations of Process-aware Information Systems. To get in contact with the KRDB Research Centre and discuss about the opportunities of this call contact prof. Alessandro Artale at artale at inf.unibz.it. -------------- next part -------------- An HTML attachment was scrubbed... URL: