D-CON January 2020

d-con@lists.rwth-aachen.de

3 participants
6 discussions

LATA 2020: call for participation

by IRDTA

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

4 years, 8 months

SCOPUS indexed conference ICECOCS’20 (IEEE ID : #50124) Kenitra Morocco --CFP-- December 02-03, 2020

by SAOUSSEN CHEIKHROUHOU

IEEE I*C**E**C**O**C**S**’**20 *Call for Papers, Kenitra, Morocco *Call for Papers:** I**C**E**C**O**C**S**’**20* *[IEEE conference record number : #50124]* *https://www.uit.ac.ma/icecocs2020/* <https://www.uit.ac.ma/icecocs2020/> https://www.facebook.com/Icecocs *https://conferences.ieee.org/conferences_events/conferences/conferencedetails/50124* <https://conferences.ieee.org/conferences_events/conferences/conferencedetai…> The *2**nd** IEEE International Conference on Electronics, Control, Optimization and Computer Science **I**C**E**C**O**C**S**’**20* *December 02 – 03, 2020 - Kenitra, Morocco* [image: image.png] *=========================================================================* *Dear Professors and Colleagues,* We are pleased to invite you to submit your original papers for the *2nd IEEE International Conference on Electronics, Control, Optimization and Computer Science* (*I**C**E**C**O**C**S**’**20*) which will be held from 02 to 03 December 2020 in Kenitra, Morocco. Please consider to contribute and distribute this CFP to your contacts, networks and appropriate groups. Thanks for your collaboration. We apologies for cross-posting. *======================================================================================* Accepted and presented papers will be published in *IEEE Xplore*, and selected papers will be considered for publication in *High Quality Indexed Journals*. *======================================================================================* *TOPICS:* ICECOCS’20 will be organized (but not limited) along the main following topics : *A*-COMPUTER SCIENCE AND NETWORK TECHNOLOGIES, *B* - ELECTRONICS, *C*-, CONTROL, *D*-OPTIMIZATION, *E*-MODELING AND SIMULATION and *F*- IMAGE AND SIGNAL PROCESSING *======================================================================================* *DEADLINES:* The ICECOCS'20 conference dates are as follows: Ø *Papers submission deadline* *May 01st, 2020* Ø *Acceptance notification* * July 31st, 2020* Ø *Camera ready* * August 31st, 2020* Ø *Registration deadline* * October 17th, 2020* *======================================================================================* *REGISTRATION FEES(*): *The registration fee includes conference Proceedings, coffee breaks, lunches, welcome reception, and closing. *Before October 15th, 2020* *After October 15th, 2020* *Moroccan Students* *1300 MAD / 130 Euro* *1800 MAD / 180 Euro* *Moroccan Academics* *1800 MAD / 180 Euro* *2300 MAD / 230 Euro* *International Students* *1500 MAD / 150 Euro* *2000 MAD / 200 Euro* *International Academics* *2000 MAD / 200 Euro* *2500 MAD / 250 Euro* *(*) : *IEEE members can send their IEEE membership id to request the reduced rate. *======================================================================================* *CONTACT:* ICECOCS’2020 ORGANIZING COMMITTEE Phone: +212 694 500 536 /+212 694 500 554 /+212 694 500 096 / +212 661 353 272 Email: *icecocs2020(a)uit.ac.ma <icecocs2020(a)uit.ac.ma>* For more information we invite you to refer to: *https://www.uit.ac.ma/icecocs2020/* <https://www.uit.ac.ma/icecocs2020/> https://www.facebook.com/Icecocs

4 years, 8 months

AlCoB 2020: call for posters

by IRDTA

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.

4 years, 8 months

REMINDER: D-CON 2020 - Registration - Call for Contributions

by Rebecca Bernemann

Liebe D-CONler / Dear Concurrency Theorists! As already announced, the next edition of D-CON will be hosted in *Duisburg* at the University of Duisburg-Essen on *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 a moderate fee of less than 100€. Due to environmental reasons, we would like to ask you to travel by train if possible and plan to (slightly) reduce the fee for following this request. 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) (central location in Duisburg, yet to be determined): - I will join (self-paid) dinner on Thursday (yes/no) (location at Duisburg Innenhafen, yet to be determined): - 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 The deadline for contribution proposals and for registrations is on the *25th of January 2020*. We are looking forward to seeing you at D-CON 2020! Best regards, Rebecca, Richard and the rest of the group.

4 years, 8 months

DeepLearn 2020: early registration January 26

by IRDTA

DeepLearn 2020: early registration January 26*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: January 26, 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) Ben Brown (Lawrence Berkeley National Laboratory), tba Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Interactive and Deep Learning Machines with Scalability, Expressivity, and Adaptivity Vincent Lepetit (ENPC ParisTech), [intermediate] Deep Learning and 3D Geometry Abdelrahman Mohamed (Facebook AI Research), [introductory/advanced] Recent Advances in Automatic Speech Recognition 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 Björn Schuller (Imperial College London), [introductory/intermediate] Deep Signal Processing Alex Smola (Amazon), [introductory/advanced] Dive into 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

4 years, 8 months

AlCoB 2020: call for posters

by IRDTA

4 years, 9 months

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON January 2020