D-CON

d-con@lists.rwth-aachen.de

323 Diskussionen

International Symposium on Intelligent Manufacturing and Service Systems (IMSS'19)

von IMSS 2019

9-11 September 2019 Sakarya / Turkey Dear Colleague, On behalf of the organizing committee, we are pleased to announce that the10th International Symposium on Intelligent Manufacturing and Service Systems (IMSS'19) will be held in Sakarya, Turkey during September 9-11, 2019. IMSS is a global knowledge-enriched collaborative effort that has its roots from both academia and industry. The symposium covers a wide spectrum of topics that relate to information society, which includes technical and non-technical research areas including manufacturing, production systems, healthcare, defense, energy and water management, transportation, smart cities, digital government and digital nations, digital transformation. The mission of IMSS symposium is to provide opportunities for collaboration of professionals and researchers to share existing and generate new knowledge in the field of information society. The symposium encapsulates the concept of interdisciplinary science that studies the societal and technological dimensions of knowledge evolution in digital society. IMSS bridges the gap between academia and industry with regards to research collaboration and awareness of current development in secure information management in the digital society. IMSS 2019 themes are Industry 4.0/5.0: Future Mind, Future Society, Postindustrial Society and Our Posthuman Future. There will be held panel discussions in current topics including critics of artificial intelligence and robotics, homo sapiens, and homo deus. You are kindly invited to participate and take advantage of the opportunity to present your unpublished abstracts or/and full-length scientific papers. The official language of the conference is English. Conference details and updates will also be posted in due course on the conference website www.imss.sakarya.edu.tr. We look forward to hearing from you. Best regards, On behalf of the Symposium Committee Prof. Dr. Zekai ŞEN Symposium Chair KEYNOTE SPEAKERS Andrew Kusiak Maged Dassouky Chen Chun-Hsien Ajith Abraham PUBLICATION OF PAPERS All final papers will be published in the conference proceedings. Authors of selected papers will be invited to submit an extended version of their works for review and potential publication in the Special Issues: Computers & Industrial Engineering (SCI) Journal of Intelligent Manufacturing (SCI-Expanded) Advanced Engineering Informatics (SCI-Expanded) Journal of Information Assurance and Security (ESCI) Periodicals of Engineering and Natural Sciences (Scopus) International Journal of Computer Information Systems and Industrial Management Applications (Scopus) International Journal of Hybrid Intelligent Systems (Scopus) Sakarya University Journal of Science (TR-Dizin) Academic Platform-Journal of Engineering and Science (TR-Dizin) Journal of Network and Innovative Computing Journal of Intelligent Systems: Theory and Applications IMPORTANT DATES Abstract Submission: April 15, 2019 Full Paper Submission: June 15, 2019 Notifification of acceptance: June 30, 2019 End of early registration July 5, 2019 End of late registration August 2, 2019 Symposium September 9-11, 2019 imss.sakarya.edu.tr / imss(a)sakarya.edu.tr You have received this email because you have subscribed to as d-con(a)lists.rwth-aachen.de If you have no more interest in receiving this, please click to unsubscribe.

5 Jahre, 4 Monate

Call for Papers ICSOC 2019 - The 17th International Conference on Service-Oriented Computing

von Ilhem Khlif

*Call for Research/Industry Papers* =============== ICSOC 2019 The 17th International Conference on Service-Oriented Computing 28-31 October, 2019 Toulouse, France *http://www.icsoc.org <http://www.icsoc.org/>* *Important Dates* =============== - Abstract submission: *May 10, 2019* - Full paper submission: *May 17, 2019* - Notification to authors: *July 10, 2019* - Camera-ready papers due:* July 26, 2019* - Author registration due: *July 31, 2019* - Early registration due: *September 13, 2019* *Scope* =============== ICSOC, the International Conference on Service-Oriented Computing, is the premier international forum for academics, industry researchers, developers, and practitioners to report and share groundbreaking work in service-oriented computing. ICSOC fosters cross-community scientific excellence by gathering experts from various disciplines, such as business-process management, distributed systems, computer networks, wireless and mobile computing, cloud computing, cyber-physical systems, networking, scientific workflows, services science, data science, management science, and software engineering. ICSOC provides a high-quality forum for presenting results and discussing ideas that further our knowledge and understanding of the various aspects (e.g. application and system aspects) related to Service Computing applied to new application areas and gain insights into a variety of computing, networked, and cyber-physical systems ranging from mobile devices and Internet-of-Things (IoT) applications to large-scale cloud computing systems and the smart grid. ICSOC 2019 , the 17th event in this series, will take place in Toulouse, France from October 28 to October 31, 2019. Following on the ICSOC tradition, it will feature visionary keynote presentations, research and industry presentations, workshops, tool demonstrations, tutorials, and a Ph.D. track. *Topics of Interest* =============== ICSOC 2019 seeks outstanding, original contributions, including theoretical and empirical evaluations, as well as practical and industrial experiences, with emphasis on results that solve open research problems and have significant impact on the field of service-oriented computing. Specific topics of interest include but are not limited to: 1. *Service Engineering* o Legacy systems migration and modernization o Service design, specification, discovery, customization, composition, and deployment o Service change management o Service innovation o Theoretical foundations of Service Engineering 2. * Run-time Service Operations and Management* o Service execution middleware o Service monitoring and adaptive management o Quality of service o Workload compliance management o Service governance o Architectures for multi-host container deployments o Microservices deployment and management 3. *Services and Data* o Services for Big Data o Service for compute-intensive applications o Mining and analytics o Data-provisioning services o Services related linked open data o Automated Knowledge Graph creation 4. *Services on the Cloud* o Migration to virtual infrastructures o XaaS (everything as a service including IaaS, PaaS, and SaaS) o Service deployment and orchestration in the Cloud o Cloud service management o Cloud workflow management o Cloud brokers and coordination across multiple resource managers o Edge computing vs Cloud computing o Workload transformation 5. *Services in the Internet of Things* o Embedded and real-time services o RFID, sensor data, and services related to the Internet of Things o Services for IoT platforms and applications o Service oriented protocols for IoT applications o REST APIs and services for IoT platforms and applications 6. *Services in Organizations, Business, and Society* o Services science o Social networks and services o Cost and pricing of services o Service marketplaces and ecosystems o Service business models o Enterprise architecture and services o Service Chatbots 7. *Services at the Edge* o Cloud and fog computing o Analytics and knowledge generation services o Edge service orchestration o Lightweight service deployment and management o Services and edge gateway architectures o Quality of Service (QoS) in edge services o Security, privacy, and trust of edge services 8. *Services for Softwarized Network Functions and Software Defined Networks* o Service Network Function Management and Orchestration o Services for novel and emerging networking protocols o Named data networking o Network and transport mechanisms o Virtualized Network Functions and Services o Virtualized Service Function Chaining Paper Submission =============== The conference solicits outstanding original research and practice papers on all aspects of service-oriented computing. Papers should clearly demonstrate the research or practical contribution, the relevance to the field, and the relationship to prior work. Submitted papers will be evaluated according to their rigor, significance, originality, technical quality, and exposition. All papers will be reviewed by at least three members of the Program Committee. Papers should be formatted according to *Springer’s LNCS Formatting Guidelines <http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0>*. Submissions must be in English and not exceed 15 pages including all references and figures. All papers must be submitted electronically in PDF to the *Conference Submission System <https://www.conftool.com/icsoc2018>*. For each accepted paper, at least one author must attend the conference and present the paper. The deadline for identifying and registering this individual author will be at the time when the camera-ready version is submitted. General Co-Chairs =============== - Albert Zomaya, University of Sydney, Australia. - - Djamel Ben Slimane, University of Lyon, France. Program Co-Chairs ============== - Khalil Drira, LAAS-CNRS, France. - Zahir Tari, RMIT University, Australia. - Jamal Bentahar, Concordia University, Montreal, Canada. Best Regards Ilhem KHLIF. Doctor in Computer Science University of Sfax, ReDCAD laboratory, Tunisia http://www.redcad.org/members/ilhem.khlif/

5 Jahre, 4 Monate

CONCUR 2019 final call for papers

von Fokkink, W.J.

============================= CONCUR 2019 - Call for Papers ============================= https://event.cwi.nl/concur2019/ The 30th International Conference on Concurrency Theory Amsterdam, The Netherlands, 27-30 August 2019 The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. INVITED SPEAKERS Marta Kwiatkowska - University of Oxford (UK) Kim G. Larsen - Aalborg University (Denmark) Joel Ouaknine - Max Planck Institute for Software Systems (Germany) Jaco van de Pol - Aarhus University (Denmark) CO-LOCATED CONFERENCES 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019) 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019) CO-LOCATED WORKSHOPS 3rd International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2019) Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019) 2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019) 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019) 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019) 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019) IMPORTANT DATES All dates are AoE. Abstract submission: April 15, 2019 Paper submission: April 22, 2019 Notification: June 14, 2019 Camera ready copy: July 3, 2019 Conference: August 27-30, 2019 TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems; Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols; Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented. PAPER SUBMISSION CONCUR 2019 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. All papers must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. The CONCUR 2019 proceedings will be published by LIPIcs. Papers must be submitted electronically as PDF files via EasyChair via https://www.easychair.org/conferences/?conf=concur2019 Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style. SPECIAL ISSUE A special issue dedicated to selected papers from CONCUR'2019 will appear in Logical Methods in Computer Science. ORGANIZATION COMMITTEE General Chair: Jos Baeten (CWI, Amsterdam, The Netherlands) Program Co-chairs: Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands) Rob van Glabbeek (Data61, CSIRO, Sydney, Australia) Workshop Chair: Bas Luttik (Eindhoven University of Technology, The Netherlands) PROGRAM COMMITTEE Christel Baier, TU Dresden (Germany) Jiri Barnat, Masaryk University, Brno (Czech Republic) Benedikt Bollig, CNRS, Paris (France) Borzoo Bonakdarpour, Iowa State University (USA) Ilaria Castellani, INRIA Sophia Antipolis (France) Taolue Chen, Birkbeck, University of London (UK) Rance Cleaveland, University of Maryland (USA) Yuxin Deng, East China Normal University, Shanghai (China) Josée Desharnais, Université Laval (Canada) Adrian Francalanza, University of Malta (Malta) Wan Fokkink (co-chair), Vrije Universiteit Amsterdam (The Netherlands) Ansgar Fehnker, University of Twente (The Netherlands) David de Frutos-Escrig, Universidad Complutense de Madrid (Spain) Yuxi Fu, Shanghai Jiao Tong University (China) Rob van Glabbeek (co-chair), CSIRO, Sydney (Australia) Alexey Gotsman, IMDEA Software Institute, Madrid (Spain) Radu Grosu, TU Wien (Austria) Ichiro Hasuo, National Institute of Informatics, Tokyo (Japan) Marieke Huisman, University of Twente (The Netherlands) Barbara König, University of Duisburg-Essen (Germany) Gerald Lüttgen, University of Bamberg (Germany) Bas Luttik, Eindhoven University of Technology (The Netherlands) Anca Muscholl, Université Bordeaux (France) Uwe Nestmann, TU Berlin (Germany) Jun Pang, University of Luxembourg (Luxembourg) Jean-François Raskin, Université Libre de Bruxelles (Belgium) Grigore Rosu, University of Illinois at Urbana-Champaign (USA) Jiri Srba, Aalborg University (Denmark) Simone Tini, University of Insubria (Italy) Frank Valencia, École Polytechnique de Paris (France) James Worrell, University of Oxford (UK) Gianluigi Zavattaro, University of Bologna (Italy)

5 Jahre, 4 Monate

CFP FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems

von Tim Willemse

Apologies for multiple postings. ------------------------------------------------ FMICS 2019: the 24th International Conference on Formal Methods for Industrial Critical Systems Co-located with CONCUR and FORMATS Aug 30-31, 2019, Amsterdam, The Netherlands https://fmics2019.fsa.win.tue.nl ------------------------------------------------ The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Important Dates Abstract submission: 19 April 2019 Paper submission: 26 April 2019 Notifications: 5 June 2019 Camera ready: 19 June 2019 Conference: 30-31 August 2019 Topics Topics of interest include (but are not limited to): - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Methods, techniques and tools to support automated analysis, certification, debugging, descriptions, learning, optimisation and transformation of complex, distributed, real-time, embedded, mobile and autonomous systems. - Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). - Impact of the adoption of formal methods on the development process and associated costs. Application of formal methods in standardisation and industrial forums. Submission and Publication Papers must describe authors' original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly motivate relevance to industrial application. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages (excluding max. 2 pages of references) formatted according to the LNCS style (Springer). All submissions will be reviewed by the Programme Committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Papers must be written in English and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: https://easychair.org/conferences/?conf=fmics2019 The conference proceedings will be published by Springer in their LNCS series. Committees ---------- Programme Chairs - Kim Larsen, Aalborg University - Tim Willemse, Eindhoven University of Technology Programme Committee (confirmed) - Bernhard Aichernig, TU Graz - Jiri Barnat, Masaryk University - Joerg Brauer, Verified Systems International GmbH - Ana Cavalcanti, University of York - Michael Fisher, University of Liverpool - Wan Fokkink, Vrije Universiteit Amsterdam - Maria-Del-Mar Gallardo, University of Malaga - Hubert Garavel, INRIA - Anne Haxthausen, Technical University of Denmark - Peter Höfner, CSIRO - Jozef Hooman, TNO-ESI/Radboud University Nijmegen - Falk Howar, Dortmund University of Technology/Fraunhofer ISST - Jeroen Keiren, Eindhoven University of Technology - Zhiming Liu, Southwest University - Tiziana Margaria, Lero - Peter Ölveczky, University of Oslo - Charles Pecheur, Université Catholique de Louvain - Matteo Rossi, Politecnico di Milano - Cristina Seceleanu, Mälardalen University - Scott Smolka, Stony Brook University - Maurice ter Beek, ISTI-CNR - Helen Treharne, University of Surrey - Jaco van de Pol, Aarhus University -- T.A.C. Willemse (T.A.C.Willemse(a)TUe.nl) +31 40 2472999 (voice) http://www.win.tue.nl/~timw http://www.linkedin.com/in/tacwillemse http://orcid.org/0000-0003-3049-7962 --

5 Jahre, 4 Monate

AlCoB 2019: call for posters

von IRDTA

AlCoB 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 6th International Conference on Algorithms for Computational Biology (AlCoB 2019) invites researchers to submit poster presentations. AlCoB 2019 will be held in Berkeley on May 28-30, 2019. See http://alcob2019.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: April 21, 2019 Notification of poster acceptance or rejection: April 28, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2019 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 2019. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2017 JCR impact factor: 2.428). REGISTRATION At least one author of each accepted poster must register to the conference by May 14, 2019. The registration fare is reduced: 285 Euros. 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.

5 Jahre, 4 Monate

DeepLearn 2019: early registration March 2

von IRDTA

DeepLearn 2019: early registration March 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* *************************************************************** 3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING DeepLearn 2019 Warsaw, Poland July 22-26, 2019 Co-organized by: Institute of Computer Science, Polish Academy of Sciences IRDTA – Brussels/London http://deeplearn2019.irdta.eu/ *************************************************************** --- Early registration deadline: March 2, 2019 --- *************************************************************** SCOPE: DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in 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, 24 four-hour and a half courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. 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 2019 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: DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be: Global Expo Modlinska 6D 03-216 Warsaw KEYNOTE SPEAKERS: tba PROFESSORS AND COURSES: (to be completed) Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models Issam El Naqa (University of Michigan), [introductory/intermediate] Deep Learning for Biomedicine Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin) Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing Alex Smola (Amazon), tba Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code Bertrand Thirion (INRIA), [introductory] Understanding the Brain with Machine Learning Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Multi-resolution Models for Learning Multilevel Abstract Representations of Text Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Complex Data with Deep Learning 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 July 14, 2019. 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. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david(a)irdta.eu by July 14, 2019. 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. At least one of the 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 14, 2019. ORGANIZING COMMITTEE: Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) REGISTRATION: It has to be done at http://deeplearn2019.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: Accommodation can be booked at http://www.deeplearn2019.promoest.com/hp.aspx?s=0 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: Institute of Computer Science, Polish Academy of Sciences Institute for Research Development, Training and Advice (IRDTA) – Brussels/London

5 Jahre, 4 Monate

AlCoB 2019: call for posters

von IRDTA

5 Jahre, 5 Monate

DeepLearn 2019: early registration March 2

von IRDTA

DeepLearn 2019: early registration March 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* *************************************************************** 3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING DeepLearn 2019 Warsaw, Poland July 22-26, 2019 Co-organized by: Institute of Computer Science, Polish Academy of Sciences IRDTA – Brussels/London http://deeplearn2019.irdta.eu/ *************************************************************** --- Early registration deadline: March 2, 2019 --- *************************************************************** SCOPE: DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in 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, 24 four-hour and a half courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. 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 2019 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: DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be: Global Expo Modlinska 6D 03-216 Warsaw KEYNOTE SPEAKERS: tba PROFESSORS AND COURSES: (to be completed) Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models Issam El Naqa (University of Michigan), [introductory/intermediate] Deep Learning for Biomedicine Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin) Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing Alex Smola (Amazon), tba Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code Bertrand Thirion (INRIA), [introductory] Understanding the Brain with Machine Learning Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Complex Data with Deep Learning 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 July 14, 2019. 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. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david(a)irdta.eu by July 14, 2019. 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. At least one of the 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 14, 2019. ORGANIZING COMMITTEE: Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) REGISTRATION: It has to be done at http://deeplearn2019.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: Accommodation can be booked at http://www.deeplearn2019.promoest.com/hp.aspx?s=0 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: Institute of Computer Science, Polish Academy of Sciences Institute for Research Development, Training and Advice (IRDTA) – Brussels/London

5 Jahre, 5 Monate

LATA 2019: call for participation

von IRDTA

LATA 2019: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 13th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2019 Saint Petersburg, Russia March 26-29, 2019 Organized by: Saint Petersburg State University and Institute for Research Development, Training and Advice, Brussels/London http://lata2019.irdta.eu/ ************************************************************************* PROGRAM Tuesday, March 26 09:00 - 09:30 Registration 09:30 - 09:40 Opening 09:40 - 10:30 Edward A. Lee. Observation and Interaction - Invited lecture 10:30 - 11:00 Break 11:00 - 12:15 Malek Anabtawi, Sabit Hassan, Christos Kapoutsis and Mohammad Zakzok. An Oracle Hierarchy for Small One-way Finite Automata Tim Becker and Klaus Sutner. Orbits of Abelian Automaton Groups Alex Bishop and Murray Elder. Bounded Automata Groups Are co-ET0L 12:15 - 13:45 Lunch 13:45 - 15:00 Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara and Antonio E. Porreca. Decidability of Sensitivity and Equicontinuity for Linear Higher-order Cellular Automata Ondrej Klíma and Libor Polak. On Varieties of Ordered Automata Klaus Meer and Ameen Naif. Automata over Infinite Sequences of Reals 15:00 - 15:30 Break 15:30 - 17:10 Tomoyuki Yamakami. Non-uniform State Complexity of Quantum Finite Automata and Quantum Polynomial-time Logarithmic-space Computation with Quantum Advice Vladimir Zakharov. Equivalence Checking of Prefix-free Transducers and Deterministic Two-tape Automata Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev and Joao Marques-Silva. Efficient Symmetry Breaking for SAT-based Minimum DFA Inference Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon and Daniel Rubery. Closure and Nonclosure Properties of the Compressible and Rankable Sets --- Wednesday, March 27 09:00 - 09:50 Henning Fernau. Modern Aspects of Complexity within Formal Languages - Invited lecture 09:50 - 10:20 Break 10:20 - 11:35 Markus Holzer and Michal Hospodár. The Range of State Complexities of Languages Resulting from the Cut Operation Lila Kari and Timothy Ng. State Complexity of Pseudocatenation Daniel Padé and Stephen Fenner. Complexity of (R,C)-crosswords 11:35 - 12:05 Break and Group photo 12:05 - 13:20 Berthold Hoffmann and Mark Minas. Generalized Predictive Shift-reduce Parsing for Hyperedge Replacement Graph Grammars Hans-Joerg Kreowski, Sabine Kuske and Aaron Lye. Transformation of Petri Nets into Context-dependent Fusion Grammars Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki. Generalized Register Context-free Grammars 13:20 - 14:50 Lunch 15:00 Touristic visit --- Thursday, March 28 09:00 - 09:50 Pawel Gawrychowski. Searching and Indexing Compressed Text - Invited lecture 09:50 - 10:20 Break 10:20 - 11:35 Amazigh Amrane and Nicolas Bedon. Logic and Rational Languages of Scattered and Countable Series-parallel Posets Marcella Anselmo, Maria Madonia and Carla Selmi. Toroidal Codes and Conjugate Pictures Jean-Philippe Dubernard, Giovanna Guaiana and Ludovic Mignot. Geometrical Closure of Binary V3/2 Languages 11:35 - 12:05 Break 12:05 - 13:20 Galina Jirásková and Ondrej Klíma. Deterministic Biautomata and Subclasses of Deterministic Linear Languages Alexis Linard, Colin de la Higuera and Frits Vaandrager. Learning Unions of k-Testable Languages Iovka Boneva, Joachim Niehren and Momar Sakho. Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables 13:20 - 14:50 Lunch 14:50 - 15:40 Vadim Lozin. From Words to Graphs, and back - Invited lecture 15:40 - 16:10 Break 16:10 - 17:25 Ajay K. Eeralla, Serdar Erbatur, Andrew M. Marshall and Christophe Ringeissen. Rule-based Unification in Combined Theories and the Finite Variant Property Pawel Parys. Extensions of the Caucal Hierarchy? Ahad N. Zehmakan. Tight Bounds on the Minimum Size of a Dynamic Monopoly --- Friday, March 29 09:00 - 09:50 Esko Ukkonen. Pattern Discovery in Biological Sequences - Invited lecture 09:50 - 10:20 Break 10:20 - 11:35 Emilie Charlier, Svetlana Puzynina and Elise Vandomme. Recurrence in Multidimensional Words Christophe Cordero. A Note with Computer Exploration of the Triangle Conjecture Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Juliusz Straszynski, Tomasz Walen and Wiktor Zuba. Efficient Representation and Counting of Antipower Factors in Words 11:35 - 12:05 Break 12:05 - 13:20 Kalpana Mahalingam and Palak Pandoh. On the Maximum Number of Distinct Palindromic Sub-arrays Wojciech Rytter and Wiktor Zuba. Syntactic View of Sigma-Tau Generation of Permutations Andrew Ryzhikov and Clemens Mullner. Palindromic Subsequences in Finite Words 13:20 - 13:30 Closing 13:30 - 15:00 Lunch

5 Jahre, 5 Monate

DCON 2019 - Last call for registration

von Stefan Jaax

Hello, if you haven't registered yet for D-CON 2019 (14th - 15th of March 2019), but would like to participate, you have time until the upcoming FRIDAY (15th Febr) to do so. In order to register, please send us the required information to dcon(a)model.in.tum.de, using the following template: ---- - Name (for name tags): - Affiliation (for name tags): - Date of Arrival: - Date of Departure: - I will join (self-paid) dinner on Wednesday (yes/no) (Pizzeria "Bei Mario", Adalbertstraße 15 in Munich ): - I will join (self-paid) dinner on Thursday (yes/no) (Augustiner Garching, http://www.garchinger-augustiner.com/): - Dietary restrictions (if any): ----- The participation fee is 60 Euro and covers lunch and coffee breaks on both days. We will send you the payment information together with an invoice after we receive your registration information. The schedule for D-CON 2019 you can find on our website: https://www7.in.tum.de/dcon2019/ Best regards, the D-CON 2019 Organizers (Javier Esparza, Stefan Jaax, Philipp Meyer).

5 Jahre, 5 Monate

Springe zur Seite:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON