From johannes.kross at fortiss.org Tue Aug 4 10:22:22 2015 From: johannes.kross at fortiss.org (Johannes =?utf-8?B?S3Jvw58=?=) Date: Tue, 4 Aug 2015 10:22:22 +0200 (CEST) Subject: [fg-arc] SSP 2015 (Nov 4-6) in Munich, GER - Deadline Aug 28 [Conference] Message-ID: <1134249932.956042.1438676542593.JavaMail.zimbra@fortiss.org> ------------------------------------------------------------------------ CALL FOR CONTRIBUTIONS SSP 2015 6th Symposium on Software Performance A Joint Developer and Community Meeting Munich, Germany November 4-6, 2015 http://www.performance-symposium.org/ ------------------------------------------------------------------------ IMPORTANT DATES Registration Start Jun 24, 2015 Abstract Submission (for all submission types) Aug 28, 2015 Paper Submission (for all submission types) Sep 06, 2015 Acceptance Notification Oct 09, 2015 Camera Ready Oct 23, 2015 Developer Day Nov 04, 2015 Date of the SSP Nov 5-6, 2015 ------------------------------------------------------------------------ SCOPE AND TOPICS Performance is one of the most relevant quality attributes of any IT system. While good performance leads to high user satisfaction, weak response times lead to loss of users, perceived unavailability of the system, or unnecessarily high costs of network or compute resources. Therefore, various techniques to evaluate, control, and improve the performance of IT systems have been developed, ranging from online monitoring and benchmarking to modeling and prediction. Experience shows, that for system design or later optimization, such techniques need to be applied in smart combination. Therefore, the Symposium on Software Performance (SSP) brings together researchers and practitioners interested in all facets of software performance, ranging from modeling and prediction to monitoring and runtime management. It will be packed with sessions about the latest advances in performance-related research and also covers tools and experiences in the field of software performance. The symposium is organized by four already established research groups, namely Descartes, Kieker, Palladio, and Performance Management Group who will use this symposium also as a joint developer and community meeting. General topcis of interest: * Application performance management * Software performance patterns and anti‐patterns * Thoughts and experiences on the influence of the software architecture on software performance * Extraction and calibration of performance models * Performance in virtualized environments * Performance in trade‐off with other quality attributes, e.g., security or reliability * Model‐driven approaches for instrumentation and analysis * Automatic approaches for performance problem detection, diagnosis, and resolution * Performance-related challenges in industrial software systems * Application of Descartes, Kieker, or Palladio in projects * Combined applications of Descartes, Kieker, and Palladio * Palladio used for the prediction of other quality properties beyond performance * Wish lists of tool features SSP is sponsored by codecentric (http://codecentric.de) and QMETHODS (http://qmethods.de/). SSP is supported by the special interest group "Softwaretechnik" of "Gesellschaft für Informatik (GI)" and by the special interest committee "Messung, Modellierung und Bewertung (MMB) von Rechensystemen" of GI and "Informationstechnische Gesellschaft ITG im VDE". ------------------------------------------------------------------------ SUBMISSION GUIDELINES We solicit the following two types of submissions: technical papers maximum 3 pages) and extended abstracts for industry or experience talks (maximum 700 words). Technical papers should follow the standard ACM SIG proceedings format and need to be submitted electronically via EasyChair. Extended abstracts need to be submitted as "abstract only" submissions via EasyChair. Submitted papers can be research papers, position papers, case studies or experience reports including but not limited to approaches employing Descartes, Kieker, and/or Palladio. Note that we explicitly welcome contributions that have already been (partially) presented at other events or in publications. Presentations will be organized in sessions with 30-minute slots incl. discussion. At least one author of each accepted paper is required to register, attend the conference and present the paper. Proceedings - Accepted technical papers will be published in the Softwaretechnik-Trends after the symposium. Extended abstracts will not be published. Registration is now open! You can register for the SSP here: http://www.performance-symposium.org/2015/registration/ For more details, please visit: http://www.performance-symposium.org/ ------------------------------------------------------------------------ ORGANIZATION Organization Committee Steffen Becker Technische Universität Chemnitz Germany Andreas Brunnert fortiss GmbH Germany Wilhelm Hasselbring Kiel University Germany André van Hoorn University of Stuttgart Germany Samuel Kounev University of Würzburg Germany Helmut Krcmar Technische Universität München Germany Ralf Reussner KIT/FZI Germany Local Organizers Andreas Brunnert fortiss GmbH Germany Johannes Kroß fortiss GmbH Germany Felix Willnecker fortiss GmbH Germany -- Performance Management Group fortiss --- An-Institut der Technischen Universitaet Muenchen Guerickestrasse 25 | 80805 Muenchen | Germany T +49 (0)89 360 35 22 18 | Fx +49 (0)89 360 35 22 50 johannes.kross at fortiss.org | http://pmw.fortiss.org Amtsgericht Muenchen | HRB 176633 | Sitz Garching b. Muenchen Rechtsform: gemeinnuetzige GmbH USt-IdNr.: DE263907002 | Steuer-Nr.: 143/237/25900 Geschaeftsfuehrer: Dr. Harald Ruess From grlmc at grlmc.com Sat Aug 8 16:40:10 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 8 Aug 2015 16:40:10 +0200 Subject: [fg-arc] BigDat 2016: early registration deadline 26 August Message-ID: <55C614CA.3060402@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ******************************************************** *2^nd INTERNATIONAL WINTER SCHOOL ON BIG DATA* ** *BigDat 201**6* *Bilbao**, Spain*** *February 8-12, 2016*** Organized by: DeustoUniversity Rovira i Virgili University http://grammars.grlmc.com/bigdat2016/ ******************************************************** *AIM:* BigDat 2016 will be a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 5 keynote lectures, 16 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. *ADDRESSED TO:* Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. BigDat 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. *REGIME:* In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. *VENUE:* BigDat 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be: DeustoTech, School of Engineering DeustoUniversity Avda. Universidades, 24 48014 Bilbao *KEYNOTE SPEAKERS:* tba *PROFESSORS AND COURSES:*(to be completed) Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Edward Y. Chang (HTC Health, Hertfordshire), tba Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities Ernesto Damiani (University of Milan), tba George Karypis (University of Minnesota), tba Chih-Jen Lin (National Taiwan University), tba Wladek Minor (University of Virginia), [] Big Data and Structural Biology and Chemistry JianPei (Simon Fraser University), tba Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/advanced] Large Scale Graph Analytics and Mining *OPEN SESSION* An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu at urv.cat by February 5, 2016. *ORGANIZING COMMITTEE:* Adrian Horia Dediu Carlos Martín-Vide (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu *REGISTRATION:* It has to be done at http://grammars.grlmc.com/bigdat2016/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. *FEES:* Participants are expected to attend full-time. Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. *ACCOMMODATION:* Suggestions of accommodation will be available on the webpage in due time. *CERTIFICATE:* Participants will be delivered a certificate of attendance. *QUESTIONS AND FURTHER INFORMATION:* florentinalilica.voicu at urv.cat *ACKNOWLEDGEMENTS:* DeustoUniversity Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: From Muzaffar.Igamberdiev at unisa.edu.au Mon Aug 10 06:47:19 2015 From: Muzaffar.Igamberdiev at unisa.edu.au (Muzaffar Igamberdiev (IEE)) Date: Mon, 10 Aug 2015 04:47:19 +0000 Subject: [fg-arc] EDOC 2015 *Call for Participation* Message-ID: EDOC 2015 *Call for Participation* The 19th IEEE International EDOC Conference (EDOC 2015) "The Enterprise Computing Conference" Main Theme: Leveraging social phenomena and Big Data in the enterprise of the future Adelaide, Australia September 22-25, 2015 https://edoc2015.unisa.edu.au Follow EDOC2015 on Twitter: https://twitter.com/ieee_edoc We invite you to participate in the 19th IEEE International EDOC Conference (EDOC 2015). Registration is now open on the EDOC 2015 web site: https://edoc2015.unisa.edu.au/registration The deadline for *early bird* registration is 16 August 2015, 23:59 Adelaide time(GMT+9:30) Regular registration from August 17 - September 25 2015 Some highlights from the program: Keynote 1: Dave Thomas Bedarra, Research Lab, Canada Keynote 2: Professor John, Grundy Swinburne University of Technology, Australia Keynote 3: Roger Lawrence, Chief Technologist - Innovation HP Enterprise Services, Asia-Pacific & Japan Hewlett-Packard Company Keynote 4: Professor John Mylopoulos, University of Toronto, Canada and University of Trento, Italy Tutorial 1: João Paulo Almeida, Using UFO as a Reference Ontology in the (Re-)Design of Enterprise Modelling Languages Tutorial 2: Colin Atkinson, Towards Orthographic Enterprise Architecture Modeling Tutorial 3: Ali Babar, Building Secure and Scalable Private Cloud Infrastructure with OpenStack Workshop 1: 8th International Workshop on Evolutionary Business Processes (EVL-BP'15) Workshop 2: 3rd International Workshop on Methodical Development of Modeling Tools (ModTools'15) Workshop 3: 7th International Workshop on Service Oriented Enterprise Architecture for Enterprise Engineering (SoEA4EE'15) The entire conference program is available on the EDOC 2015 web site: https://edoc2015.unisa.edu.au/program or https://goo.gl/7ccqPs About the Conference IEEE EDOC 2015 - the "Enterprise Computing Conference" - will be the nineteenth conference in a series that provides the key forum for researchers and practitioners in the field of enterprise computing. EDOC conferences address the full range of models, methodologies, and engineering technologies contributing to intra- and inter-enterprise information systems. EDOC 2015 in Adelaide, Australia welcomes high quality scientific submissions as well as experience papers on enterprise computing from industry. The main theme of EDOC 2015 is "Leveraging social phenomena and Big Data in the enterprise of the future" and seeks to explore innovative approaches synthesizing concepts of (1) data science, (2) enterprise computing and (3) social networks. Topics The IEEE EDOC conference presents high-quality contributions addressing the domains, life-cycle issues, and realization technologies involved in building, deploying and operating enterprise computing systems. Some areas are: * Enterprise Architecture and Enterprise Application Architecture * Model-Based Approaches * Service-Oriented Architectures (SOA) and Enterprise Service Architectures (ESA) * Governance in Service-Oriented Architectures * Business Process Management (BPM) * Business Analytics * Business Rules * Information Integration and Interoperability * Networked Enterprise Solutions * Enterprise Applications Deployment and Governance * Emerging Trends in Distributed Enterprise Applications -------------- next part -------------- An HTML attachment was scrubbed... URL: From aravara at fct.unl.pt Fri Aug 14 20:27:29 2015 From: aravara at fct.unl.pt (Antonio Ravara) Date: Fri, 14 Aug 2015 19:27:29 +0100 Subject: [fg-arc] WS-FM/BEAT and FOCLASA join Call for Participation In-Reply-To: <55C5251B.9080208@fct.unl.pt> References: <55C5251B.9080208@fct.unl.pt> Message-ID: <55CE3311.9040009@fct.unl.pt> WS-FM/BEAT and FOCLASA join Call for Participation September 4-5, Madrid Meet (http://mafalda.fdi.ucm.es/madrid2015/) Detailed info at: WS-FM/BEAT (http://www.projects.science.uu.nl/WSFM-BEAT2015/index.php) FOCLASA (http://foclasa.lcc.uma.es/) *** WS-FM/BEAT programme on Friday *** 15:00 - 16:30 Session 1 15:00 - 15:15 Opening 15:15 - 16:30 Static Analysis of Unbounded Networks with Behavioural Types. Cosimo Laneve (invited talk). 16:30 - 17:00 Break 17:00 - 19:15 Session 2 17:00 - 17:45 Type Inference for Session Types in the Pi-Calculus. Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen and Sebastian Wahl. 17:45 - 18:30 Type checking purpose-based access control policies in the pi-calculus. Eleni Kokkinofta and Anna Philippou. 18:30 - 19:15 On honest interactions among untrusted services. Massimo Bartoletti and Roberto Zunino. *** WS-FM/BEAT and FOCLASA join programme on Saturday *** 08:50 - 10:30 Session 1 08:50 - 09:00 Opening 09:00 - 09:45 A Context-Oriented Extension of F#. Andrea Canciani, Pierpaolo Degano, Gianluigi Ferrari and Letterio Galletta. 09:45 - 10:30 Specifying Finite-State Actors. Jonathan Schuster, Stephen Chang and Matthias Felleisen. 10:30 - 11:00 Break 11:00 - 13:00 Session 2 11:00 - 11:45 On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli. 11:45 - 13:00 Towards Dynamic Updates in Service Composition. Mario Bravetti (invited talk). 13:00 - 14:45 Lunch 14:45 - 16:00 Session 3 Title to be announced. Javier Esparza (invited talk) 16:00 - 16:30 Break 16:30 - 18:15 Session 4 16:30 - 17:15 A Constraint-based Approach for Generating Transformation Patterns. Asma Cherif and Abdessamad Imine. 17:15 - 18:00 Service Choreography, SBVR, and Time. Nurulhuda A. Manaf, Sotiris Moschoyiannis and Paul Krause. 18:00 - 18:15 Closing ------------------------------------------------ - Massimo Tivoli, Ph.D. Associate Professor Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM), Università di L'Aquila, email: massimo.tivoli at univaq.it, url: http://www.di.univaq.it/tivoli On Fri, Aug 7, 2015 at 11:37 PM, Antonio Ravara wrote: > Dear David, > > Sorry for taking so long... Finally, we have a first version of the program. > We may include one more talk on Saturday afternoon, finishing thus 45m > later. > > Warm regards, > António (also on behalf of Jan Martijn, José, and Massimo) > > PS: just noticed that the only CONCUR session on types is schedule in > parallel with the first session of WS-FM/BEAT (being behavioural types one > of the main topics...). Is it still possible to avoid this unfortunate > overlap? > > > *** WS-FM/BEAT programme on Friday *** > > 14:30 - 16:00 Session 1 > 14:30 - 14:45 Opening > 14:45 - 16:00 Static Analysis of Unbounded Networks with Behavioural Types. > Cosimo Laneve (invited talk). > > 16:00 - 16:30 Break > > 16:30 - 18:45 Session 2 > 16:30 - 17:15 Type Inference for Session Types in the Pi-Calculus. > Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup > Bjerregaard, Niels Sonnich Poulsen and Sebastian Wahl. > 17:15 - 18:00 Type checking purpose-based access control policies in the > pi-calculus. Eleni Kokkinofta and Anna Philippou. > 18:00 - 18:45 On honest interactions among untrusted services. > Massimo Bartoletti and Roberto Zunino. > > > *** WS-FM/BEAT and FOCLASA join programme on Saturday *** > > 08:50 - 10:30 Session 1 > 08:50 - 09:00 Opening > 09:00 - 09:45 A Context-Oriented Extension of F#. > Andrea Canciani, Pierpaolo Degano, Gianluigi Ferrari and Letterio Galletta. > 09:45 - 10:30 Specifying Finite-State Actors. > Jonathan Schuster, Stephen Chang and Matthias Felleisen. > > 10:30 - 11:00 Break > > 11:00 - 13:00 Session 2 > 11:00 - 11:45 On the Automated Synthesis of Enterprise Integration Patterns > to Adapt Choreography-based Distributed Systems. > Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli. > 11:45 - 13:00 Towards Dynamic Updates in Service Composition. Mario Bravetti > (invited talk). > > 13:00 - 14:45 Lunch > > 14:45 - 16:00 Session 3 > Title to be announced. Javier Esparza (invited talk) > > 16:00 - 16:30 Break > > 16:30 - 17:30 Session 4 > 16:30 - 17:15 A Constraint-based Approach for Generating Transformation > Patterns. Asma Cherif and Abdessamad Imine. > 17:15 - 17:30 Closing > From alexander.perucci at graduate.univaq.it Tue Aug 18 14:45:25 2015 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Tue, 18 Aug 2015 14:45:25 +0200 (CEST) Subject: [fg-arc] FOCLASA 2015 - Call for Participation Message-ID: <669372040.39.1439901912919.JavaMail.Alexander@DESKTOP-7TKA96C> [Apologies for multiple postings] -- FOCLASA 2015 Call for Participation -- FOCLASA 2015: 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems http://foclasa.lcc.uma.es/ 5 September 2015, Madrid (Spain) In conjunction with CONCUR 2015 ============================================================== FOCLASA 2015 is a workshop colocated with the 25th International Conference on Concurrency Theory (CONCUR 2015 - http://mafalda.fdi.ucm.es/concur2015). The goal of the FOCLASA workshop is to put together researchers and practitioners to share and identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems. This year FOCLASA has a joint programme with the International Symposium on Web Services, Formal Methods and Behavioural Types (WS-FM/BEAT 2015 - http://www.projects.science.uu.nl/WSFM-BEAT2015/index.php). The programme is available below. == WS-FM/BEAT programme on Friday == 14:30 - 16:00 Session 1 14:30 - 14:45 Opening 14:45 - 16:00 Static Analysis of Unbounded Networks with Behavioural Types. Cosimo Laneve (invited talk). 16:00 - 16:30 Break 16:30 - 18:45 Session 2 16:30 - 17:15 Type Inference for Session Types in the Pi-Calculus. Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hόttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen and Sebastian Wahl. 17:15 - 18:00 Type checking purpose-based access control policies in the pi-calculus. Eleni Kokkinofta and Anna Philippou. 18:00 - 18:45 On honest interactions among untrusted services. Massimo Bartoletti and Roberto Zunino. == WS-FM/BEAT and FOCLASA joint programme on Saturday == 08:50 - 10:30 Session 1 08:50 - 09:00 Opening 09:00 - 09:45 A Context-Oriented Extension of F#. Andrea Canciani, Pierpaolo Degano, Gianluigi Ferrari and Letterio Galletta. 09:45 - 10:30 Specifying Finite-State Actors. Jonathan Schuster, Stephen Chang and Matthias Felleisen. 10:30 - 11:00 Break 11:00 - 13:00 Session 2 11:00 - 11:45 On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli. 11:45 - 13:00 Towards Dynamic Updates in Service Composition. Mario Bravetti (invited talk). 13:00 - 14:45 Lunch 14:45 - 16:00 Session 3 Title to be announced. Javier Esparza (invited talk) 16:00 - 16:30 Break 16:30 - 18:15 Session 4 16:30 - 17:15 A Constraint-based Approach for Generating Transformation Patterns. Asma Cherif and Abdessamad Imine. 17:15 - 18:00 Service Choreography, SBVR, and Time. Nurulhuda A. Manaf, Sotiris Moschoyiannis and Paul Krause. 18:00 - 18:15 Closing == PROGRAM COMMITTEE CHAIRS == * Jose Proenca iMinds-Distrinet, KU Leuven, Belgium and HASLab/INESC TEC, University of Minho, Portugal jose.proenca at cs.kuleuven.be * Massimo Tivoli University of L'Aquila, L'Aquila, Italy massimo.tivoli at univaq.it == PUBLICITY CHAIR == * Alexander Perucci, University of L'Aquila, Italy == PROGRAM COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Marco Autili, Univ. of L'Aquila, Italy * Luis Barbosa, Universidade do Minho, Portugal * Steffen Becker, University of Paderborn, Germany * Javier Camara, Carnegie Mellon University, USA * Carlos Canal, University of Malαga, Spain * Carlos Cuesta, Rey Juan Carlos University, Spain * David Garlan, Carnegie Mellon University, USA * Alfredo Goldmann, University of Sγo Paulo, Brazil * Keijo Heljanko, Aalto University, Finland * Jean-Marie Jacquet, University of Namur, Belgium * Christian Krause, SAP Innovation Center, Germany * Sun Meng, Peking University, China * Liliana Pasquale, University of Limerick, Ireland * Jose Proenca, iMinds-Distrinet and HASLab/INESC TEC, KU Leuven, Belgium * Marjan Sirjani, Reykjavik University, Iceland * Carolyn Talcott, SRI International, USA * Massimo Tivoli, University of L'Aquila, Italy * Mirko Viroli, University of Bologna, Italy == STEERING COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Antonio Brogi, University of Pisa, Italy * Carlos Canal, University of Malαga, Spain * Jean-Marie Jacquet, University of Namur, Belgium * Ernesto Pimentel, University of Malαga, Spain * Gwen Salaun, Grenoble INP - INRIA Grenoble - LIG, France From uwe.zdun at univie.ac.at Tue Aug 25 11:03:12 2015 From: uwe.zdun at univie.ac.at (Uwe Zdun) Date: Tue, 25 Aug 2015 11:03:12 +0200 Subject: [fg-arc] =?utf-8?q?Aufruf_zu_Beitr=C3=A4gen_zum_wissenschaftliche?= =?utf-8?q?n_Programm_der_Software_Engineering_Tagung_2016?= Message-ID: <55DC2F50.9020103@univie.ac.at> Die SE 2016 führt das erfolgreiche Format der letzten Jahre für das wissenschaftliche Programm fort. Alle Vorträge stellen hochkarätige Forschungsbeiträge vor, die in den vergangenen zwei Jahren auf internationalen Spitzenkonferenzen oder in führenden Fachzeitschriften der Softwaretechnik veröffentlicht wurden. Das Ziel des wissenschaftlichen Programms ist es, die Stimulation des wissenschaftlichen Diskurses innerhalb der deutschsprachigen Software Engineering Community sowie die Erhöhung des "Impacts" bereits veröffentlichter Ergebnisse. Einreichungen für das wissenschaftliche Programm bestehen aus zwei Teilen: 1. Vortragszusammenfassung von max. 200 Wörtern (Deutsch oder Englisch) Die Zusammenfassung muss auf einen eigenen Beitrag in einer der internationalen Spitzenkonferenzen oder Fachzeitschriften der Softwaretechnik verweisen. Dies sind z.B. Konferenzen, die von der ACM SIGSOFT gefördert werden (http://www.sigsoft.org/conferences/), u.a. ICSE, FSE, ASE, ISSTA, ESEC oder in Zusammenarbeit mit ACM SIGSOFT durchgeführt werden, u.a. OOPSLA, ECOOP, EDOC, RE, MODULARITY, PLDI; sowie Fachzeitschriften wie "IEEE Transactions on Software Engineering" (TSE) und "ACM Transactions on Software Engineering and Methodology" (TOSEM). Im ersten Satz der Zusammenfassung (Abstract) ist der genaue Name der Konferenz oder Fachzeitschrift und das Jahr des Erscheinens des Beitrags anzugeben. Vergleichbare hochrangige Konferenzen und Zeitschriften aus dem Bereich des Software-Engineering sind mit kurzer Begründung im Abstract zugelassen. Es werden ausschließlich Vorschläge von begutachteten technischen Beiträgen akzeptiert, die auf der entsprechenden Hauptkonferenz (bzw. in der Fachzeitschrift) in voller Länge angenommen und bei der SE noch nicht eingereicht wurden. Nicht akzeptiert werden: Kurzbeiträge, eingeladene Beiträge, Beiträge zu Doktorandensymposien, "New Idea" Tracks, Werkzeug-Demonstrationen, Nebenveranstaltungen, Workshops oder ähnliches. 2. PDF-Volltext des Beitrags, der unter (1.) genannt wurde. Dieser Beitrag muss nach dem 01.01.2014 veröffentlicht oder zur Veröffentlichung angenommen sein. Der/die Vortragende muss (Mit-) Autor/Autorin der genannten Beiträge sein und kann zusammen mit den Forschungsergebnissen ggf. auch den größeren Projektkontext vorstellen. Auswahl der Einreichungen: Die Einreichungen werden durch das Programm-Komitee ausgewählt. Der Autor/die Autorin verpflichtet sich, sich bei Annahme des Beitrags als Teilnehmer zur Konferenz zu registrieren und vorzutragen. Für jeden akzeptierten Beitrag wird eine Kurzfassung im Umfang von zwei Seiten im LNI-Format in den Tagungsband der SE 2016 aufgenommen. Programm-Komitee: Uwe Zdun, Universität Wien (Vorsitz) Uwe Assmann, Universität Dresden Gregor Engels, Universität Paderborn Michael Goedicke, Universität Duisburg-Essen Wilhelm Hasselbring, Universität Kiel Jens Knoop, Technische Universität Wien Florian Matthes, TU München Klaus Pohl, Universität Duisburg-Essen Ralf Reussner, KIT/FZI, Karlsruhe Dirk Riehle, Friedrich-Alexander-Universität Erlangen-Nürnberg Wichtige Daten: 19. Oktober 2015: Annahmeschluss für Beiträge wissenschaftliches Programm 23. November 2015: Benachrichtigungen Wissenschaftliches Programm 07. Dezember 2015: Einreichung druckfertiger Beiträge Einreichung: Easychair-Konferenzverwaltungssystem zur SE 2016 (wissenschaftliches Programm): https://easychair.org/conferences/?conf=se2016 Konferenz-Web-Seite: http://se2016.conf.tuwien.ac.at/ Veröffentlichung: Für jeden akzeptierten Beitrag wird eine Kurzfassung im Umfang von zwei Seiten im LNI-Format in den Tagungsband der SE 2016 aufgenommen. From grlmc at grlmc.com Sat Aug 29 11:33:04 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 29 Aug 2015 11:33:04 +0200 Subject: [fg-arc] LATA 2016: 1st call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** 10TH INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2016   PRAGUE, CZECH REPUBLIC   MARCH 14-18, 2016 Organized by: Department of Theoretical Computer Science CzechTechnicalUniversity in Prague Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2016/ [1] **************************************************************************************** AIMS: LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i VirgiliUniversity in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE: LATA 2016 will take place in Prague, a city full of history and cultural attractions, and one of the political and economic cores of central Europe. The venue will be the campus of the CzechTechnicalUniversity in the Dejvice quarter.   SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words computational complexity data and image compression descriptional complexity digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography parallel and regulated rewriting parsing patterns power series string and combinatorial issues in bioinformatics string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata unconventional models of computation weighted automata   STRUCTURE: LATA 2016 will consist of: invited talks invited tutorials peer-reviewed contributions   INVITED SPEAKERS: tba   PROGRAMME COMMITTEE: (to be completed) Dana Angluin (YaleUniversity, New Haven, USA) Franz Baader (Technical University of Dresden, Germany) Christel Baier (Technical University of Dresden, Germany) Hans L. Bodlaender (UtrechtUniversity, The Netherlands) Jean-Marc Champarnaud (University of Rouen, France) Rod Downey (VictoriaUniversity of Wellington, New Zealand) Frank Drewes (Umeå University, Sweden) Ding-Zhu Du (University of Texas, Dallas, USA) Michael Fellows (CharlesDarwinUniversity, Darwin, Australia) Mohammad Taghi Hajiaghayi (University of Maryland, College Park, USA) Yo-Sub Han (Yonsei University, Seoul, South Korea) Oscar H. Ibarra (University of California, Santa Barbara, USA) Jan Janoušek (CzechTechnicalUniversity in Prague, Czech Republic) Galina Jirásková (SlovakAcademy of Sciences, Košice, Slovakia) Ming-Yang Kao (Northwestern University, Evanston, USA) Juhani Karhumäki (University of Turku, Finland) Joost-Pieter Katoen (RWTH Aachen University, Germany) Martin Kutrib (University of Giessen, Germany) Zhiwu Li (Xidian University, Xi'an, China) Oded Maler (VERIMAG, Gières, France) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Ugo Montanari (University of Pisa, Italy) František Mráz (CharlesUniversity in Prague, Czech Republic) Mitsunori Ogihara (University of Miami, Coral Gables, USA) Alexander Okhotin (University of Turku, Finland) Doron A. Peled (BarIlanUniversity, Ramat Gan, Israel) Martin Plátek (CharlesUniversity in Prague, Czech Republic) Daniel Reidenbach (University of Loughborough, UK) Antonio Restivo (University of Palermo, Italy) Kai Salomaa (Queen's University, Kingston, Canada) Davide Sangiorgi (University of Bologna, Italy) Uli Sattler (University of Manchester, UK) Pierre Wolper (University of Liège, Belgium) Zhilin Wu (Chinese Academy of Sciences, Beijing, China) Mengchu Zhou (New Jersey Institute of Technology, Newark, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Jan Janoušek (Prague, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Radomír Polách (Prague) Eliška Šestáková (Prague) Jan Trávníček (Prague) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona)   SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 [2]). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=lata2016   PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION: The period for registration is open from August 28, 2015 to March 14, 2016. The registration form can be found at: http://grammars.grlmc.com/lata2016/Registration.php [3] DEADLINES: Paper submission: October 19, 2015 (23:59 CET) Notification of paper acceptance or rejection: November 27, 2015 Final version of the paper for the LNCS proceedings: December 7, 2015 Early registration: December 7, 2015 Late registration: February 29, 2016 Submission to the journal special issue: June 18, 2016   QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat   POSTAL ADDRESS: LATA 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: České vysoké učení technické v Praze Universitat Rovira i Virgili Links: ------ [1] http://grammars.grlmc.com/lata2014/ [2] http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 [3] http://grammars.grlmc.com/lata2014/Registration.php -------------- next part -------------- An HTML attachment was scrubbed... URL: