- D-CON - lists.rwth-aachen.de

*****SPAM*****You are about to be suspended from receiving messages now
by Nelson Rolando Chabla Bautista 12 Aug '19

12 Aug '19

MICROSOFT URGENT VERIFICATION ATTENTION You are about to be suspended from receiving messages now if your email box account is not verify to our latest version. Do verify<https://ertyuiop9.wixsite.com/mysite> now as soon as you receive this message. Microsoft verification Team Microsoft Copyright © 2019 Webmail .Inc . All rights reserved.

1 0

BigDat 2020: early registration August 13
by IRDTA 10 Aug '19

10 Aug '19

BigDat 2020: early registration August 13*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ******************************************************** 6th INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2020 Ancona, Italy January 13-17, 2020 Co-organized by: Department of Information Engineering, Marche Polytechnic University Institute for Research Development, Training and Advice (IRDTA) Brussels / London https://bigdat2020.irdta.eu/ ******************************************************** --- Early registration deadline: August 13, 2019 --- ******************************************************** SCOPE: BigDat 2020 will be a research training event with a global scope aiming at updating participants on 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 (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures and 24 four-hour and a half courses, 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. Moreover, there will be two special sessions with industrial and recruitment profiles. ADDRESSED TO: Master's students, PhD students, postdocs, and industry practitioners 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. Overall, BigDat 2020 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. STRUCTURE: 3 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: BigDat 2020 will take place in Ancona, a city founded by Greek settlers and today one of the main ports on the Adriatic Sea. The venue will be: Department of Information Engineering Marche Polytechnic University Via Brecce Bianche 12 60131 Ancona KEYNOTE SPEAKERS: (to be completed) Jie Tang (Tsinghua University), Graph Embedding and Reasoning PROFESSORS AND COURSES: (to be completed) Diego Calvanese (Free University of Bozen-Bolzano), [introductory] Virtual Knowledge Graphs for Data Integration Nitesh V. Chawla (University of Notre Dame), [intermediate/advanced] Learning from Imbalanced Data Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] An Introduction to Blockchain Jiawei Han (University of Illinois, Urbana-Champaign), [advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration Xiaohua Tony Hu (Drexel University), [introductory/advanced] Data Mining and Analysis in Big Microbiome Data Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences Jayanti Prasad (Embold Technologies), [introductory/intermediate] Big Code Lior Rokach and Bracha Shapira (Ben-Gurion University of the Negev), [tba] Recommender Systems Peter Rousseeuw (KU Leuven), [introductory] Anomaly Detection by Robust Methods Asim Roy (Arizona State University), [intermediate] Hardware-based (GPU, FPGA based) Machine Learning – An Overview of Algorithms and Implementation Ideas and Methods Hanan Samet (University of Maryland), [intermediate] Multidimensional, Spatial, and Metric Data Structures for Sorting in Space and Similarity Searching Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: A Very Different Kind of Machine Learning That Can Be Applied in Any Organization 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(a)irdta.eu by January 5, 2020. INDUSTRIAL SESSION: A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david(a)irdta.eu by January 5, 2020. EMPLOYER SESSION: Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david(a)irdta.eu by January 5, 2020. ORGANIZING COMMITTEE: Emanuele Frontoni (Ancona, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Flavio Tonetto (Ancona, industrial chair) Domenico Ursino (Ancona, co-chair) REGISTRATION: It has to be done at https://bigdat2020.irdta.eu/registration/ 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 estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish. 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 is exhausted. It is highly 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 will be available in due time. CERTIFICATE: A certificate of successful participation in the event will be delivered indicating the number of hours of lectures. QUESTIONS AND FURTHER INFORMATION: david(a)irdta.eu ACKNOWLEDGMENTS: Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche Institute for Research Development, Training and Advice (IRDTA) – Brussels/London

1 0

*****SPAM*****10 Ihrer eingehenden Nachrichten wurden ausgesetzt
by Hazel Leiper 31 Jul '19

31 Jul '19

DRINGENDE MICROSOFT-MITTEILUNG 10 Ihrer eingehenden Nachrichten wurden jetzt gesperrt, da Ihr E-Mail-Konto jetzt überprüft werden muss. Überprüfen<https://qwertyu696.wixsite.com/mysite> Sie jetzt Ihr E-Mail-Konto, um diese Nachrichten zu erhalten, die angehalten wurden. Microsoft Verification Team Microsoft © 2019 Webmail .Inc. Alle Rechte vorbehalten. ********************************************************************** This e-mail and any files transmitted with it are not necessarily the view of East Renfrewshire Council. It is intended only for the person or entity named above. If you have received this e-mail in error please notify the author by replying to this e-mail and then erasing the e-mail from your system. If you are not the intended recipient, you are hereby notified that any use, review, dissemination, distribution or copying of the e-mail is strictly prohibited. Please be advised that East Renfrewshire Council's incoming and outgoing e-mail is subject to regular monitoring. This footnote also confirms that this email message has been swept for the presence of computer viruses. **********************************************************************

1 0

SLSP 2019: call for posters
by IRDTA 30 Jul '19

30 Jul '19

SLSP 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 7th International Conference on Statistical Language and Speech Processing (SLSP 2019) invites researchers to submit poster presentations. SLSP 2019 will be held in Ljubljana on October 14-16, 2019. See https://slsp2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 7, 2019 Notification of poster acceptance or rejection: September 14, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2019. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2018 impact factor: 1.776). REGISTRATION At least one author of each accepted poster must register to the conference by September 30, 2019. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.

1 0

TPNC 2019: extended submission deadline August 7
by IRDTA 24 Jul '19

24 Jul '19

TPNC 2019: extended submission deadline August 7*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: August 7 ***** ------------------------------------------------------------------------------ **************************************************************************** 8th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2019 Kingston, Canada December 9-11, 2019 Co-organized by: Royal Military College of Canada Institute for Research Development, Training and Advice Brussels / London http://tpnc2019.irdta.eu/ **************************************************************************** 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 2019 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 2019 will take place in Kingston, a city midway between Toronto and Montréal with an important military history. The venue will be: Royal Military College of Canada Kingston, Ontario Canada K7K 7B4 https://www.rmc-cmr.ca/en SCOPE: Topics include, but are not limited to: - Theoretical contributions to: ant colony optimization artificial immune systems artificial life cellular automata cognitive computing collective behaviour collective intelligence computational intelligence computing with words developmental systems DNA computing DNA nanotechnology evolutionary algorithms evolutionary computing fuzzy logic fuzzy sets fuzzy systems genetic algorithms genetic programming granular computing heuristics intelligent agents intelligent systems machine intelligence metaheuristics molecular programming multiobjective optimization neural networks quantum communication quantum computing quantum information rough sets self-organization soft computing swarm intelligence unconventional computing - 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 2019 will consist of: - invited talks - peer-reviewed contributions - posters INVITED SPEAKERS: Elisabeth André (University of Augsburg), Human-inspired Socially-aware Interfaces John McCaskill (European Centre for Living Technology), Analyzing Emergent Dynamics of Evolving Computation in 2D Cellular Automata Gabriela Ochoa (University of Stirling), Optimisation Trajectories Illuminated PROGRAMME COMMITTEE: Mohammad Amin (D-Wave Systems, CA) Plamen P. Angelov (Lancaster University, UK) Thomas Bäck (Leiden University, NL) Peter Bentley (University College London, UK) Mauro Birattari (Université Libre de Bruxelles, BE) Christian Blum (Higher Scientific Research Council, ES) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Carlos A. Coello Coello (CINVESTAV – National Polytechnic Institute, MX) Claude Crépeau (McGill University, CA) Marco Dorigo (Université Libre de Bruxelles, BE) Matthias Ehrgott (Lancaster University, UK) Andries Engelbrecht (Stellenbosch University, ZA) Juan José García-Ripoll (Higher Scientific Research Council, ES) Deborah M. Gordon (Stanford University, US) Jin-Kao Hao (University of Angers, FR) Wei-Chiang Samuelson Hong (Jiangsu Normal University, CN) Thomas R. Ioerger (Texas A&M University, US) Etienne E. Kerre (Ghent University, BE) Chung-Sheng Li (Accenture, IE) Gui Lu Long (Tsinghua University, CN) Chao-Yang Lu (University of Science and Technology of China, CN) Pabitra Kumar Maji (Bidhan Chandra College, IN) Vittorio Maniezzo (University of Bologna, IT) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez López (University of Jaén, ES) Serge Massar (Université Libre de Bruxelles, BE) Marjan Mernik (University of Maribor, SI) Hossein Nezamabadi-Pour (Shahid Bahonar University of Kerman, IR) Norman Packard (Daptics, US) Sidhartha Panda (Veer Surendra Sai University of Technology, IN) Elpiniki Papageorgiou (University of Applied Sciences of Thessaly, GR) Geoffrey Pond (Royal Military College of Canada, CA) Kai (Alex) Qin (Swinburne University of Technology, AU) Celso C. Ribeiro (Fluminense Federal University, BR) José Santos-Victor (Instituto Superior Técnico, PT) Shahab Shamshirband (Norwegian University of Science and Technology, NO) Narasimhan Sundararajan (Nanyang Technological University, SG) José Luis Verdegay (University of Granada, ES) Fernando J. Von Zuben (University of Campinas, BR) Xin-She Yang (Middlesex University, UK) Bo Yuan (Rochester Institute of Technology, US) Yi Zhang (Sichuan University, CN) Xudong Zhao (Bohai University, CN) ORGANIZING COMMITTEE: Sara Morales (Brussels) Manuel Parra-Royón (Granada) Geoffrey Pond (Kingston, co-chair) David Silva (London, co-chair) 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 (all included) 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=tpnc2019 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://tpnc2019.irdta.eu/Registration.php DEADLINES (all at 23:59 CET): Paper submission: August 7, 2019 - EXTENDED - Notification of paper acceptance or rejection: August 31, 2019 Final version of the paper for the LNCS proceedings: September 7, 2019 Early registration: September 7, 2019 Late registration: November 25, 2019 Submission to the journal special issue: March 11, 2020 QUESTIONS AND FURTHER INFORMATION: david(a)irdta.eu ACKNOWLEDGMENTS: Royal Military College of Canada / Collège militaire royal du Canada IRDTA – Institute for Research Development, Training and Advice, Brussels/London

1 0

BigDat 2020: early registration August 13
by IRDTA 18 Jul '19

18 Jul '19

BigDat 2020: early registration August 13*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ******************************************************** 6th INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2020 Ancona, Italy January 13-17, 2020 Co-organized by: Department of Information Engineering, Marche Polytechnic University Institute for Research Development, Training and Advice (IRDTA) Brussels / London http://bigdat2020.irdta.eu/ ******************************************************** SCOPE: BigDat 2020 will be a research training event with a global scope aiming at updating participants on 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 (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures and 24 four-hour and a half courses, 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. Moreover, there will be two special sessions with industrial and recruitment profiles. ADDRESSED TO: Master's students, PhD students, postdocs, and industry practitioners 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. Overall, BigDat 2020 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. STRUCTURE: 3 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: BigDat 2020 will take place in Ancona, a city founded by Greek settlers and today one of the main ports on the Adriatic Sea. The venue will be: Department of Information Engineering Marche Polytechnic University Via Brecce Bianche 12 60131 Ancona KEYNOTE SPEAKERS: (to be completed) Jie Tang (Tsinghua University), Graph Embedding and Reasoning PROFESSORS AND COURSES: (to be completed) Jiawei Han (University of Illinois, Urbana-Champaign), [advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences Peter Rousseeuw (KU Leuven), [introductory] Anomaly Detection by Robust Methods Asim Roy (Arizona State University), [intermediate] Hardware-based (GPU, FPGA based) Machine Learning – An Overview of Algorithms and Implementation Ideas and Methods Hanan Samet (University of Maryland), [intermediate] Multidimensional, Spatial, and Metric Data Structures for Sorting in Space and Similarity Searching Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: A Very Different Kind of Machine Learning That Can Be Applied in Any Organization 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(a)irdta.eu by January 5, 2020. INDUSTRIAL SESSION: A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david(a)irdta.eu by January 5, 2020. EMPLOYER SESSION: Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david(a)irdta.eu by January 5, 2020. ORGANIZING COMMITTEE: Emanuele Frontoni (Ancona, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Flavio Tonetto (Ancona, industrial chair) Domenico Ursino (Ancona, co-chair) REGISTRATION: It has to be done at http://bigdat2020.irdta.eu/registration/ 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 estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish. 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 is exhausted. It is highly 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 will be available in due time. CERTIFICATE: A certificate of successful participation in the event will be delivered indicating the number of hours of lectures. QUESTIONS AND FURTHER INFORMATION: david(a)irdta.eu ACKNOWLEDGMENTS: Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche Institute for Research Development, Training and Advice (IRDTA) – Brussels/London

1 0

by Vladimir Čačinović 11 Jul '19

11 Jul '19

DRINGENDE MICROSOFT-MITTEILUNG 10 Ihrer eingehenden Nachrichten wurden jetzt gesperrt, da Ihr E-Mail-Konto jetzt überprüft werden muss. Überprüfen<https://tuyuuiy.wixsite.com/mysite> Sie jetzt Ihr E-Mail-Konto, um diese Nachrichten zu erhalten, die angehalten wurden. Microsoft Verification Team Microsoft © 2019 Webmail .Inc. Alle Rechte vorbehalten. IZJAVA O ODRICANJU ODGOVORNOSTI: Sadržaj ove poruke i eventualno priloženih datoteka može sadržavati povjerljive informacije i namijenjen je isključivo osobama ili subjektima koji su navedeni kao primatelji. Ukoliko je zbog greške pri adresiranju ili prijenosu ova poruka pogrešno upućena, molimo Vas obavijestite pošiljatelja slanjem odgovora na ovu poruku, a poruku i sve njene priloge odmah, bez čitanja, trajno uklonite s računala. Svako neovlašteno korištenje, objavljivanje, prerada, obrada, reprodukcija, prikazivanje, prenošenje, distribucija, snimanje ili bilo koji drugi oblik neovlaštene uporabe ove poruke je strogo zabranjeno. Sadržaj, stavovi i mišljenja izneseni u poruci su autorovi, te nužno ne predstavljaju stav ili mišljenje Ministarstva poljoprivrede. DISCLAIMER OF LIABILITY STATEMENT: The content of this message and possibly annexed data can contain confidential information and is intended exclusively for the persons or subjects which are listed as recipients. If this message was due to a mistake in addressing or transfer sent to you by mistake, please inform the sender by replying to this message, and the message and all its contents immediately, and without reading it, permanently remove from the computer. Each unauthorized use, publication, processing, reproduction, presentation, transfer, distribution, recording or any other form of unauthorized use of this message is strictly prohibited. The contents, positions and opinions stated in the message belong to the author and do not necessarily belong to the Ministry of agriculture. system.

1 0

SLSP 2019: call for posters
by IRDTA 10 Jul '19

10 Jul '19

SLSP 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** The 7th International Conference on Statistical Language and Speech Processing (SLSP 2019) invites researchers to submit poster presentations. SLSP 2019 will be held in Ljubljana on October 14-16, 2019. See http://slsp2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 7, 2019 Notification of poster acceptance or rejection: September 14, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2019. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2018 impact factor: 1.776). REGISTRATION At least one author of each accepted poster must register to the conference by September 30, 2019. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.

1 0

PhD in concurrency theory at TU Darmstadt
by Kirstin Peters 08 Jul '19

08 Jul '19

The group “Theory of Parallel Systems” (TPS) of Prof. Dr. Kirstin Peters in the Department of Computer Science welcomes applications for a PhD position in theory of concurrent systems. The position is fully funded and initially limited to a term of 3 years. TPS is a newly established group that analysis and develops formal methods for the verification of parallel and concurrent systems. Its focus is on methods to tame the additional complexity that results from communication between different peers in distributed systems. Task Description: * The position includes research and teaching duties. * In research, the candidate is expected to contribute to the analysis and development of formal methods for the verification of parallel and concurrent systems. * implementation of prototypes (if necessary) * contribution to research projects (including ideas for project proposals, project meetings,collaboration to generate results and publications) Requirements: * Applications are open to students with an excellent master’s degree in computer science or related topics with a focus on formal methods/theoretical computer science. * research interests in one or more of the following areas: formal methods for verification, modelling languages (e.g. process calculi, Petri nets, event structures), type systems, model checking * Experience with interactive theorem proving (e.g. Isabelle/HOL) would also be desirable. * motivation, ability to present and formulate research results in English, capacity to solve research problems in teams * creativity, capacity for teamwork, reliability * good command of spoken and written English (German language skills are an advantage) We offer: * good working atmosphere and intensive dissertation support * participation at international conferences * free ticket „LandesTicket Hessen“ in 2019, that is valid for the whole regional public transport in Hessen Opportunity for further qualification (doctoral dissertation) is given. The fulfillment of the duties likewise enables the scientific qualifications of the candidate. The Technische Universität Darmstadt intends to increase the number of female employees andencourages female candidates to apply. In case of equal qualifications applicants with a degreeof disability of at least 50 or equal will be given preference. Wages and salaries are according tothe collective agreements on salary scales, which apply to the Technische Universität Darmstadt(TV-TU Darmstadt). Please send your application (in German or English) with the reference number below to: Prof. Dr. Kirstin Peters, TU Darmstadt, Fachbereich Informatik, Fachgebiet Theorie Paralleler Systeme, Hochschulstraße 10, D-64289 Darmstadt or via e-mail as PDF document to kirstin.peters(a)cs.tu-darmstadt.de. The application should include a detailed CV including language skills and a list of courses (incl. grades) that are relevant for the position. Please send inquires directly to Prof. Dr. Kirstin Peters (kirstin.peters(a)cs.informatik.tu-darmstadt.de). Reference number: 400 date of publication: 05 July 2019 *deadline: 31 July 2019* -- Prof. Dr. Kirstin Peters Technische Universität Darmstadt Theory of Parallel Systems (TPS)

1 0

MFCS 2019: Call for Participation
by Joost-Pieter Katoen 05 Jul '19

05 Jul '19

[Apologies for multiple copies.] Call for Participation The 44th International Symposium on Mathematical Foundations of Computer Science MFCS 2019 August 26-30, 2019, Aachen, Germany http://tcs.rwth-aachen.de/mfcs2019 The MFCS conference series has been organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since 2013, the conference travels around Europe. In 2019 it will take place in Germany for the first time. MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues. MFCS 2019 consists of five invited lectures and 78 contributed talks out of 198 submitted one, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops. INVITED SPEAKERS - Jérôme Leroux (LaBRI, Talence) - Daniel Lokshtanov (University of California at Santa Barbara (UCSB)) - Kurt Mehlhorn (Max-Planck-Institut für Informatik, Saarbrücken) - Alexandra Silva (University College London) - Kavitha Telikepalli (Tata Institute of Fundamental Research, Mumbai) IMPORTANT DATES Early registration deadline: Sunday, July 7th Standard registration deadline: Wednesday, July 31st Conference: Monday, August 26th, to Friday, August 30th, 2019 Workshops: Friday, August 30th, to Saturday, August 31st, 2019 AFFILIATED WORKSHOPS - ARDA 2019 (Advances in Reoptimization and Dynamic Algorithms) - Structural Sparseness Workspace REGISTRATION Please register at the conference web page. We have done our very best to keep the registration fee low. It includes all coffee breaks, lunches, a social event, and a conference dinner. VENUE The conference will be held in the SuperC Building of RWTH Aachen University near the city center of Aachen, Germany.

1 0