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

Ph.D. Positions in Algorithms, Verification and Logic at RWTH Aachen
by Joost-Pieter Katoen 05 Mar '20

05 Mar '20

[Apologies for multiple postings.] ====================================================================== Various Research Assistants/Associates in the post-graduate program UnRAVeL “Uncertainty and Randomness in Algorithms, Verification and Logic” at RWTH Aachen University, Aachen, Germany ====================================================================== Context. The RWTH Aachen University is looking for enthusiastic and highly qualified doctoral researchers. Various positions are available within the interdisciplinary Research Training Group (RTG) UnRAVeL founded by Deutsche Forschungsgemeinschaft (DFG). The key emphasis of an RTG is on the qualification of doctoral researchers with a focused research program and a structured training strategy. The RTG UnRAVeL aims to significantly advance probabilistic modelling and analysis for uncertainty by developing new theories, algorithms, and tool-supported verification techniques, and to apply them to core problems from security (e.g., probabilistic protocols), planning (robotics and railway engineering), and safety and performance analysis (railway systems). To tackle these research challenges, theoretical computer scientists from computer-aided verification, logic and games, algorithms and complexity, together with experts from management science (robust optimization), applied computer science (robotics and security), and railway engineering intensively cooperate within the RTG UnRAVeL. Required profile. Candidates must have (or soon obtain) a master degree in Computer Science, Mathematics or related area and have completed their studies with excellent grades. You should have interest in performing original, highly competitive scientific research, publishing your results in top conferences and scientific journals. Self-motivation and the ability to work both independently and as a team player in local and international research groups are expected. Fluency in English is required; proficiency in German is helpful but not compulsory. How to apply? Your written application should contain: - a curriculum vitae - a transcript of records (list of courses and grades) - a cover letter including a statement of interest in (some of) the RTG topics (Algorithms and Complexity, Verification, Logic, or Application Scenarios) that can be found on our web-site, and - a recommendation letter e.g., by your master thesis supervisor(s). All documents should be formatted as a single pdf-file. You should send your application ultimately by ** March 31, 2020 (AoE) ** to the e-mail address: unravel-appl(a)cs.rwth-aachen.de What do we offer? We offer a stimulating international research environment, the possibility to participate in highly competitive and interdisciplinary research and the opportunity to involve students in your research through project work. Doctoral researchers have a status as employee with a salary according to the German federal employee scale TV-L E13; the exact salary is subject to your family situation. The duration of the positions is three years. RWTH Aachen University offers excellent facilities for professional and personal development. Starting date of the positions: between October 1, 2020 and January 1, 2021. More information about the RTG UnRAVeL can be found at: unravel.rwth-aachen.de Enquiries can be directed to Prof. Joost-Pieter Katoen (e-mail: katoen(a)cs.rwth-aachen.de). RWTH Aachen University is certified as a “Family-Friendly University”. We particularly welcome and encourage applications from women, disabled persons and ethnic minority groups, recognizing they are underrepresented across RWTH Aachen University. The principles of fair and open competition apply and appointments will be made on merit.

1 0

AlCoB 2020: call for posters
by IRDTA 02 Mar '20

02 Mar '20

AlCoB 2020: 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 Algorithms for Computational Biology (AlCoB 2020) invites researchers to submit poster presentations. AlCoB 2020 will be held in Missoula, Montana on April 13-15, 2020. See: https://alcob2020.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 algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: March 6, 2020 Notification of poster acceptance or rejection: March 13, 2020 SUBMISSION Please upload a .pdf submission to: https://easychair.org/conferences/?conf=alcob2020 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/LNBI proceedings volume of AlCoB 2020. However, they will be eligible for submission to the post-conference journal special issue. REGISTRATION At least one author of each accepted poster must register to the conference by March 20, 2020. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.

1 0

SLSP 2020: 1st call for papers
by IRDTA 27 Feb '20

27 Feb '20

SLSP 2020: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 8th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2020 Cardiff, United Kingdom October 14-16, 2020 Co-organized by: School of Computer Science and Informatics Cardiff University Data Innovation Research Institute Cardiff University Institute for Research Development, Training and Advice (IRDTA), Brussels/London http://slsp2020.irdta.eu ********************************************************************************** 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 conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2020, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. Previous events took place in Tarragona, Grenoble, Budapest, Pilsen, Le Mans, Mons, and Ljubljana. VENUE: SLSP 2020 will take place in Cardiff, the capital of Wales and its political, commercial and cultural centre. The venue will be: Cardiff University Cardiff Wales CF10 3AT UK 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 corpora and resources for speech and language data mining, term extraction, and semantic web dialogue systems and spoken language understanding information retrieval and information extraction knowledge representation and ontologies lexicons and dictionaries machine translation and computer-aided translation multimodal technologies natural language understanding and generation neural representation of speech and language opinion mining and sentiment analysis part-of-speech tagging, parsing, and semantic role labelling question-answering systems for speech and text speaker identification and verification speech recognition, transcription, and synthesis spelling correction text categorization and summarization user modeling STRUCTURE: SLSP 2020 will consist of: invited lectures peer-reviewed contributions posters KEYNOTE SPEAKERS: tba PROGRAMME COMMITTEE: (to be completed) Chitta Baral (Arizona State University, US) Jean-François Bonastre (University of Avignon, FR) Fethi Bougares (University of Le Mans, FR) Nicoletta Calzolari (National Research Council, IT) Bill Campbell (Amazon, US) Kenneth W. Church (Baidu Research, US) Philipp Cimiano (Bielefeld University, DE) Nikos Fakotakis (University of Patras, GR) Marcello Federico (Amazon AI, US) Robert Gaizauskas (University of Sheffield, UK) Ondřej Glembek (Brno University of Technology, CZ) Ralph Grishman (New York University, US) Thomas Hain (University of Sheffield, UK) Gareth Jones (Dublin City University, IE) Martin Karafiát (Brno University of Technology, CZ) Philipp Koehn (Johns Hopkins University, US) Haizhou Li (National University of Singapore, SG) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Seiichi Nakagawa (Chubu University, JP) Paolo Rosso (Technical University of Valencia, ES) Irena Spasić (Cardiff University, UK) Erik Tjong Kim Sang (Netherlands eScience Center, NL) Tomoki Toda (Nagoya University, JP) Isabel Trancoso (Instituto Superior Técnico, PT) K. Vijay-Shanker (University of Delaware, US) Andy Way (Dublin City University, IE) Caiming Xiong (Salesforce, US) Steve Young (University of Cambridge, UK) Wlodek Zadrozny (University of North Carolina Charlotte, US) Guodong Zhou (Soochow University, CN) ORGANIZING COMMITTEE: Luis Espinosa-Anke (Cardiff) Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Irena Spasić (Cardiff, co-chair) 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). Upload submissions to: https://easychair.org/conferences/?conf=slsp2020 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 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://slsp2020.irdta.eu/registration/ DEADLINES (all at 23:59 CET): Paper submission: June 1, 2020 Notification of paper acceptance or rejection: July 6, 2020 Final version of the paper for the LNCS/LNAI proceedings: July 15, 2020 Early registration: July 15, 2020 Late registration: September 30, 2020 Submission to the journal special issue: January 16, 2021 QUESTIONS AND FURTHER INFORMATION: david (at) irdta.eu ACKNOWLEDGMENTS: School of Computer Science and Informatics, Cardiff University / Prifysgol Caerdydd Data Innovation Research Institute, Cardiff University / Prifysgol Caerdydd IRDTA – Institute for Research Development, Training and Advice, Brussels/London

1 0

Second Call for Papers of ICSR 2020
by ICSR 2020 26 Feb '20

26 Feb '20

SECOND CALL FOR PAPERS - ICSR 2020, November 9-11, 2020, Hammamet - TUNISIA 19 th INTERNATIONAL CONFERENCE ON SOFTWARE AND SYSTEMS REUSE www.icsr2020.org The International Conference on Software and Systems Reuse (ICSR) is the premier event in the field of software reuse research and technology. The main goal of ICSR is to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners. The 19th International Conference on Software and Systems Reuse (ICSR-2020) will be held on November 9-11 2020, in Hammamet, Tunisia. The guiding theme of this edition is: *Reuse in emerging software engineering practices* We invite submissions on new and innovative research results and industrial experience reports dealing with all aspects of software reu se within the context of the modern software development landscape, characterized by: 1) Large ecosystems of reusable, open-source components and service-oriented, containerized cloud-hosted applications; 2) Context-aware (IoT) applications, which combine a complex and heterogeneous mix of ever more powerful hardware and evolving software frameworks and containers; and 3) The resurgence of AI as both, (i) an enabling technology for reuse for domain engineering (e.g. domain ontologies, identification of reusable assets) and application engineering (e.g. component retrieval), and (ii) an object of reuse that addresses the full lifecycle and scope of “intelligent” software components, i.e. well beyond the simple (re)use of machine learning libraries. These developments have had important—and sometimes contradictory—effects on reuse theory and practice. We welcome papers dealing with : 1) Reuse organizational, managerial, economic, and legal issues, in general, and as they pertain to the new development landscape, 2) Technical aspects of reuse, in general (see full CFP at www.icsr2020.org), and as they pertain to large ecosystems of open-source libraries (npm, pip, etc), IoT frameworks, and machine learning artefacts (business components, models, libraries, training data, etc.), and 3) Software reuse in industry (success & failure stories; success factors and lessons learned; ROI studies). As with previous editions, accepted papers will appear in the conference proceedings, to be published by Springer’s Lecture Notes in Computer Science. New in this edition, the program committee will award a Best Paper Award to the best paper in terms of, 1) originality, 2) presentation, and 3) impact. The finalists will be submitted to a special issue of a refereed journal. *Research paper abstracts due June 19th, 2020, full papers due July 3rd, 2020*. *Satellite Events* Along with the main technical program, this year's edition will hold the following satellite events: 1) workshops, 2) tutorials, 3) a doctoral symposium, 4) a graduate student "job fair" to help connect qualified prospective graduate students with ICSR researchers, and 5) a "Tools and Posters" session for sharing emerging research directions and live tool demonstrations and exposing new research ideas. We welcome proposals for workshops and tutorials, and submissions for the doctoral symposium and the "Tools/Poster" session, by August 31st, 2020. *Venue* The conference will be held at the "Diar Lemdina" hotel and conference center, located in Andalusian-style old town of beautiful Yasmine Hammamet, Tunisia's seaside resort (nicknamed Tunisia's "Cote D'Azur"), with plenty of walking distance tourist attractions around the hotel. Tunisia has a temperature weather, and the day highs in November in Hammamet are around 20 deg C (70 deg. F), with a sea temperature of 21 deg C. *Please check the conference site for more information: www.icsr2020.org*

1 0

DeepLearn 2020: early registration February 25
by IRDTA 19 Feb '20

19 Feb '20

DeepLearn 2020: early registration February 25*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* *************************************************************** 4th INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING DeepLearn 2020 León, Guanajuato, Mexico July 27-31, 2020 Co-organized by: Center for Research in Mathematics, A.C. (CIMAT-CONACyT) Guanajuato Institute for Research Development, Training and Advice (IRDTA) Brussels/London https://deeplearn2020.irdta.eu/ *************************************************************** --- Early registration deadline: February 25, 2020 --- *************************************************************** SCOPE: DeepLearn 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 deep learning. Previous events were held in Bilbao, Genova and Warsaw. Deep learning is a branch of artificial intelligence covering a spectrum of current exciting research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, 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 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, DeepLearn 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. VENUE: DeepLearn 2020 will take place in León, the most populous city in the state of Guanajuato, in central Mexico, and a major economic pole in the country with specialization in leather industry. The venue will be: Poliforum León Blvd. Adolfo López Mateos esq. Blvd. Francisco Villa Col. Oriental, León, Gto., Mexico, C.P. 37510 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. KEYNOTE SPEAKER: Maja Pantic (Imperial College London), Artificial Emotional Intelligence, Faces, Deep Fakes and Other Topics PROFESSORS AND COURSES: (to be completed) Rick S. Blum (Lehigh University), [introductory/intermediate] Deep Learning and Cybersecurity Ben Brown (Lawrence Berkeley National Laboratory), [introductory/advanced] Explainable AI (XAI) Techniques for Science and Engineering -- Toward Statistical Inference for the 21st Century Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Interactive and Deep Learning Machines with Scalability, Expressivity, and Adaptivity Çağlar Gülçehre (DeepMind), [intermediate/advanced] Deep Reinforcement Learning Vincent Lepetit (ENPC ParisTech), [intermediate] Deep Learning and 3D Geometry Geert Leus (Delft University of Technology), [introductory/intermediate] Graph Signal Processing: Introduction and Connections to Distributed Optimization and Deep Learning Andy Liaw (Merck Research Labs), [introductory] Deep Learning and Statistics: Better Together Abdelrahman Mohamed (Facebook AI Research), [introductory/advanced] Recent Advances in Automatic Speech Recognition Jan Peters (Technical University of Darmstadt), [intermediate] Robot Learning Massimiliano Pontil (Italian Institute of Technology), [intermediate/advanced] Statistical Learning Theory Jose Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video Fedor Ratnikov (National Research University Higher School of Economics), [introductory] Specifics of Applying Machine Learning to Problems in Natural Science Salim Roukos (IBM Research AI), [intermediate/advanced] Deep Learning Methods for Natural Language Processing Björn Schuller (Imperial College London), [introductory/intermediate] Deep Signal Processing Alex Smola (Amazon), [introductory/advanced] Dive into Deep Learning Sargur N. Srihari (University at Buffalo), [introductory] Generative Models in Deep Learning Kunal Talwar (Google Brain), [intermediate] Differentially Private Machine Learning René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning Haixun Wang (WeWork), [introductory/intermediate] Conceptual Understanding and Machine Learning Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects 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 the title, authors, and summary of the research to david(a)irdta.eu by July 19, 2020. INDUSTRIAL SESSION: A session will be devoted to 10-minute demonstrations of practical applications of deep learning 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 July 19, 2020. EMPLOYER SESSION: Firms searching for personnel well skilled in deep learning 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 July 19, 2020. ORGANIZING COMMITTEE: Teresa Efigenia Alarcón Martínez (Guadalajara) Oscar Dalmau Cedeño (Guanajuato, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) REGISTRATION: It has to be done at https://deeplearn2020.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 tool 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: Centro de Investigación en Matemáticas, A.C. (CIMAT-CONACyT) – Guanajuato Centro Universitario de los Valles, Universidad de Guadalajara Institute for Research Development, Training and Advice (IRDTA) – Brussels/London

1 0

AlCoB 2020: call for posters
by IRDTA 11 Feb '20

11 Feb '20

AlCoB 2020: 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 Algorithms for Computational Biology (AlCoB 2020) invites researchers to submit poster presentations. AlCoB 2020 will be held in Missoula, Montana on April 13-15, 2020. See: https://alcob2020.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 algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: March 6, 2020 Notification of poster acceptance or rejection: March 13, 2020 SUBMISSION Please upload a .pdf submission to: https://easychair.org/conferences/?conf=alcob2020 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/LNBI proceedings volume of AlCoB 2020. However, they will be eligible for submission to the post-conference journal special issue. REGISTRATION At least one author of each accepted poster must register to the conference by March 20, 2020. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.

1 0

Call for Participation -- MMB 2020 -- Saarbrücken -- March 16-18, 2020
by Holger Hermanns 08 Feb '20

08 Feb '20

--- Call for Participation [consider it as aftershow party of D-CON 2020] --- **20th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”** MMB 2020 ======== March 16 – 18, 2020, Saarbrücken, Germany ----------------------------------------- The conference program of MMB 2020 is available now at **<https://www.mmb2020.de/program/>** It features *three invited keynotes*: - *Interference Networks* by **Francois Baccelli** (U Texas at Austin, USA) - *Safety Certification of Deep Learning* by **Xiaowei Huang** (U Liverpool, UK) - *Predictable Latency in Softwarized Networks* by **Wolfgang Kellerer** (TU Munich, Germany) and includes *three tutorials* *on Monday, March 16, 2020*: - *Modelling and Analysing Dependability with BDMP and KB3* by Marc Bouissou (EDF R&D, France) - *Clusters of Exceedances of Stochastic Processes and Their Application to Traffic Modeling and Identification Problems* by Natalia Markovich (Russian Academy of Sciences, Russia) - *Spreading Dynamics in Complex Networks* by Verena Wolf and Gerrit Großmann (Saarland University, Germany) plus two *associated workshops on Wednesday/Thursday, March 18/19, 2020*: 1. 5th Workshop on Network Calculus (WoNeCa-5)* 2. 2020 ROCKS Workshop on Rigorous Dependability Analysis* More Information: **<https://www.mmb2020.de/workshops/>** You are invited to register at: **<https://www.mmb2020.de/registration/>** We look forward to welcoming you in Saarbrücken in March.

1 0

D-CON 2020 - Call for Participation
by Barbara Koenig 07 Feb '20

07 Feb '20

Liebe D-CONler / Dear Concurrency Theorists! the registration deadline to D-CON has already passed and we already have quite a few registrations. But since there are some slots left, we want to give you the opportunity to register late and to announce a talk (if you have not already done so). Please contact us as soon as possible. ====================================================================== The next edition of D-CON will be hosted in *Duisburg* at the University of Duisburg-Essen from *March 12th - March 13th 2020*. The related web page for D-CON 2020 can be found here: https://udue.de/dcon2020 We are very happy to announce two invited talks by: - Ana Sokolova (University of Salzburg) - Paolo Baldan (University of Padova) You can now register for participation by sending an email to ti(a)uni-due.de <mailto:ti@uni-due.de>. The participation fee will be 50€. Due to environmental reasons, we would like to ask you to travel by train or other environmentally friendly means of transport (and we will charge a small surplus of 5 EUR otherwise). Please use the following template for registration: ---- - Name (for name tags): - Affiliation (for name tags): - Date of Arrival: - Date of Departure: - I will join (self-paid) dinner on Wednesday (yes/no) (Finkenkrug, Duisburg): - I will join (self-paid) dinner on Thursday (yes/no) (L'Osteria, Duisburg Innenhafen): - Dietary restrictions (if any): - Planned transportation: ----- If you would like to give a talk, please send a *title* and short *abstract* and keep in mind the newly established different *talk lengths*. Please specify the kind of talk and choose one of the following talk-lengths that suits the scope of your presented work best: 15, 30, 45 minutes. - Regular talk - Tutorial talk - Lightning talk We are looking forward to seeing you at D-CON 2020! Best regards, Barbara, Christina, Rebecca, Richard and Lars

1 0

DeepLearn 2020: early registration February 25
by IRDTA 04 Feb '20

04 Feb '20

DeepLearn 2020: early registration February 25*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* *************************************************************** 4th INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING DeepLearn 2020 León, Guanajuato, Mexico July 27-31, 2020 Co-organized by: Center for Research in Mathematics, A.C. (CIMAT-CONACyT) Guanajuato Institute for Research Development, Training and Advice (IRDTA) Brussels/London https://deeplearn2020.irdta.eu/ *************************************************************** --- Early registration deadline: February 25, 2020 --- *************************************************************** SCOPE: DeepLearn 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 deep learning. Previous events were held in Bilbao, Genova and Warsaw. Deep learning is a branch of artificial intelligence covering a spectrum of current exciting research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, 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 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, DeepLearn 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. VENUE: DeepLearn 2020 will take place in León, the most populous city in the state of Guanajuato, in central Mexico, and a major economic pole in the country with specialization in leather industry. The venue will be: Poliforum León Blvd. Adolfo López Mateos esq. Blvd. Francisco Villa Col. Oriental, León, Gto., Mexico, C.P. 37510 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. KEYNOTE SPEAKERS: (to be completed) Maja Pantic (Imperial College London), Artificial Emotional Intelligence, Faces, Deep Fakes and Other Topics PROFESSORS AND COURSES: (to be completed) Rick S. Blum (Lehigh University), [introductory/intermediate] Deep Learning and Cybersecurity Ben Brown (Lawrence Berkeley National Laboratory), [introductory/advanced] Explainable AI (XAI) Techniques for Science and Engineering -- Toward Statistical Inference for the 21st Century Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Interactive and Deep Learning Machines with Scalability, Expressivity, and Adaptivity Çağlar Gülçehre (DeepMind), [intermediate/advanced] Deep Reinforcement Learning Vincent Lepetit (ENPC ParisTech), [intermediate] Deep Learning and 3D Geometry Geert Leus (Delft University of Technology), [introductory/intermediate] Graph Signal Processing: Introduction and Connections to Distributed Optimization and Deep Learning Abdelrahman Mohamed (Facebook AI Research), [introductory/advanced] Recent Advances in Automatic Speech Recognition Jan Peters (Technical University of Darmstadt), [intermediate] Robot Learning Massimiliano Pontil (Italian Institute of Technology), [intermediate/advanced] Statistical Learning Theory Jose Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video Fedor Ratnikov (National Research University Higher School of Economics), [introductory] Specifics of Applying Machine Learning to Problems in Natural Science Salim Roukos (IBM Research AI), [intermediate/advanced] Deep Learning Methods for Natural Language Processing Björn Schuller (Imperial College London), [introductory/intermediate] Deep Signal Processing Alex Smola (Amazon), [introductory/advanced] Dive into Deep Learning Sargur N. Srihari (University at Buffalo), [introductory] Generative Models in Deep Learning Kunal Talwar (Google Brain), [intermediate] Differentially Private Machine Learning René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning Haixun Wang (WeWork), [introductory/intermediate] Conceptual Understanding and Machine Learning Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects 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 the title, authors, and summary of the research to david(a)irdta.eu by July 19, 2020. INDUSTRIAL SESSION: A session will be devoted to 10-minute demonstrations of practical applications of deep learning 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 July 19, 2020. EMPLOYER SESSION: Firms searching for personnel well skilled in deep learning 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 July 19, 2020. ORGANIZING COMMITTEE: Teresa Efigenia Alarcón Martínez (Guadalajara) Oscar Dalmau Cedeño (Guanajuato, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) REGISTRATION: It has to be done at https://deeplearn2020.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 tool 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: Centro de Investigación en Matemáticas, A.C. (CIMAT-CONACyT) – Guanajuato Centro Universitario de los Valles, Universidad de Guadalajara Institute for Research Development, Training and Advice (IRDTA) – Brussels/London

1 0

LATA 2020: call for participation
by IRDTA 28 Jan '20

28 Jan '20

LATA 2020: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 14th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2020 Milan, Italy March 4-6, 2020 Co-organized by: Department of Informatics, Systems and Communication University of Milano-Bicocca and Institute for Research Development, Training and Advice Brussels/London https://lata2020.irdta.eu ************************************************************************* PROGRAM Wednesday, March 4 09:00 - 09:30 Registration 09:30 - 09:40 Opening 09:40 - 10:30 Eric Allender. The New Complexity Landscape around Circuit Minimization - Invited lecture 10:30 - 10:50 Break 10:50 - 12:05 Dmitry Berdinsky and Prohrak Kruengthomya. Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles over the Circle Alexis Bes and Christian Choffrut. Deciding (R,+,<,1) in (R,+,<,Z) Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan and Jacob Tarr. Ordered Semiautomatic Rings with Applications to Geometry 12:05 - 13:35 Lunch 13:35 - 14:25 Laure Daviaud. Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases - Invited lecture 14:25 - 14:45 Break 14:45 - 16:00 Siddharth Bhaskar, Jane Chandlee, Adam Jardine and Christopher Oakden. Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions Susanna Donatelli and Serge Haddad. Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models Mehmet Utkan Gezer. Windable Heads & Recognizing NL with Constant Randomness 16:00 - 16:20 Break 16:20 - 17:35 Chris Keeler and Kai Salomaa. Alternating Finite Automata with Limited Universal Branching Nadia Labai, Tomer Kotek, Magdalena Ortiz and Helmut Veith. Pebble-intervals Automata and FO2 with Two Orders Ahmet Bilal Uçan. Limited Two-way Deterministic Finite Automata with Advice 17:35 - 19:35 Touristic visit --- Thursday, March 5 09:00 - 09:50 Christoph Haase. Approaching Arithmetic Theories with Finite-state Automata - Invited lecture 09:50 - 10:10 Break 10:10 - 11:25 Kazuyuki Amano. On the Size of Depth-two Threshold Circuits for the Inner Product mod 2 Function Riccardo Dondi, Giancarlo Mauri and Italo Zoppis. Complexity Issues of String to Graph Approximate Matching Hans Zantema. Complexity of Automatic Sequences 11:25 - 11:45 Break and Group photo 11:45 - 12:35 Aaron Lye. Context-sensitive Fusion Grammars Are Universal Alexander Okhotin and Alexey Sorokin. Cyclic Shift on Multi-component Grammars 12:35 - 14:05 Lunch 14:05 - 14:55 Artur Jez. Recompression: Technique for Word Equations and Compressed Data - Invited lecture 14:55 - 15:15 Break 15:15 - 16:30 Olivier Finkel. The Automatic Baire Property and an Effective Property of omega-Rational Functions Nathan Grosshans. The Power of Programs over Monoids in J Ondrej Klíma and Peter Kostolányi. Geometrically Closed Positive Varieties of Star-free Languages 16:30 - 16:50 Break 16:50 - 18:05 Tomoyuki Yamakami. Intersection and Union Hierarchies of Deterministic Context-free Languages and Pumping Lemmas Vikraman Arvind, Frank Fuhlbrück, Johannes Koebler and Oleg Verbitsky. On the Weisfeiler-Leman Dimension of Fractional Packing Jing Ji and Jeffrey Heinz. Input Strictly Local Tree Transducers 18:05 - 19:15 Reception --- Friday, March 6 09:00 - 09:50 Jean-Éric Pin. How to Prove that a Language is Regular or Star-free? - Invited lecture 09:50 - 10:10 Break 10:10 - 11:25 Paola Bonizzoni, Clelia De Felice, Rocco Zaccagnino and Rosalba Zizza. Lyndon Words versus Inverse Lyndon Words: Queries on Suffixes and Bordered Words Jeffery Dick, Laura Hutchinson, Robert Mercas and Daniel Reidenbach. Reducing the Ambiguity of Parikh Matrices Pamela Fleischmann, Dirk Nowotka, Mitja Kulczynski and Danny Bøgsted Poulsen. On Collapsing Prefix Normal Words 11:25 - 11:45 Break 11:45 - 12:35 Aaron Moss. Simplified Parsing Expression Derivatives Jean Néraud. Complete Variable-length Codes: An Excursion into Word Edit Operations 12:35 - 14:05 Lunch 14:05 - 14:55 Thomas Place. Deciding Classes of Regular Languages: The Covering Approach - Invited lecture 14:55 - 15:05 Closing

1 0