From C.M.Jonker at tudelft.nl Mon Dec 3 10:19:02 2018 From: C.M.Jonker at tudelft.nl (Catholijn Jonker - EWI) Date: Mon, 03 Dec 2018 10:19:02 +0100 Subject: 2 Faculty positions Explainable Artificial Intelligence at TU Delft Message-ID: We are looking for two faculty members to strengthen our research in Explainable Artificial Intelligence in the field of Human-Agent collaboration at TU Delft. Relevant topics of research include, but are not limited to, social robotics, conversational agents, affective computing, normative, reflective and strategic reasoning by applying Knowledge Representation techniques and/or Machine Learning. Candidates working on related challenges are also welcome to apply. The positions are at Assistant or Associate Professor level. For more information see https://vacature.beta.tudelft.nl/vacaturesite/permalink/51218/?lang=en or contact Catholijn Jonker - EWI (C.M.Jonker at tudelft.nl) or Willem-Paul Brinkman (w.p.brinkman at tudelft.nl) Prof. Dr. C.M. Jonker Interactive Intelligence Group, Fac. EEMCS, TU Delft VanMourikBroekmanweg 6, Delft Building number: 28 Office: West6.600 Office phone: +31.15.2781315 Mobile phone: +31.6.48875207 home: http://ii.tudelft.nl/~catholijn -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From HW at ntu.edu.sg Mon Dec 3 10:19:02 2018 From: HW at ntu.edu.sg (Wang Han (Assoc Prof)) Date: Mon, 03 Dec 2018 10:19:02 +0100 Subject: [post-doc] position open in Visual SLAM Message-ID: The Nanyang Technological University, Singapore invites applications for one postdoctoral research fellow position to participate in the development of autonomous vehicle driving using vision and AI. Applicants for the postdoc research fellow position should hold a Ph.D degree in one or more of the following areas: 1) Navigation 2) SLAM 3) Vision 4) AI The applications should have a track record of competitive research experience in terms of journal publications and have a good command of English and are able to communicate well. Application Procedure: Suitably qualified candidates are invited to submit a CV, cover letter initially. Short-listed candidates will be notified for submission of full application packages. Electronic submission of application is encouraged and can be sent to: Dr. Wang Han, Associate Professor School of EEE, S2 Nanyang Technological University, Singapore 639798 E-Mail: hw at ntu.edu.sg Tel.: (65) 6790-4506 Fax: (65) 6792-0415 http://www3.ntu.edu.sg/home/hw/ ________________________________ CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or disclose its contents. Towards a sustainable earth: Print only when necessary. Thank you. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From kyuhlee.uga at gmail.com Mon Dec 3 10:19:02 2018 From: kyuhlee.uga at gmail.com (Kyu Hyung Lee) Date: Mon, 03 Dec 2018 10:19:02 +0100 Subject: CFP: DIMVA 2019 - 16th International Conference on Detection of Intrusions and Malware & Vulnerability Assessment Message-ID: ============================================================================= 16th International Conference on Detection of Intrusions and Malware & Vulnerability Assessment Gothenburg, Sweden - 19-20 June, 2019 https://www.dimva2019.org/ ============================================================================= # Important Dates: - Paper Submission Deadline: 18 February 2019, 23:59:59 UTC - Notification to Authors: 12 April 2019 - Final Paper Submission Deadline: 22 April 2019 - Conference: 19-20 June 2019 # General Information The annual DIMVA conference serves as a premier forum for advancing the state of the art in the broader areas of intrusion detection, malware analysis, and vulnerability assessment. Each year, DIMVA brings together international experts from academia, industry, and government to present and discuss novel research in these areas. DIMVA is organized by the special interest group Security - Intrusion Detection and Response (SIDAR) of the German Informatics Society (GI). The conference proceedings will appear in Springer Lecture Notes in Computer Science (LNCS) series. # Types of Submissions Solicited: DIMVA solicits submissions of high-quality, original scientific papers presenting novel research on malware analysis, intrusion detection, vulnerability assessment, and related systems security topics. Submissions of two types are invited: FULL PAPERS, presenting novel and mature research results. Full papers are limited to 20 pages in Springer LNCS format, including bibliography and appendices. SHORT PAPERS, presenting original, still ongoing work that has not yet reached the maturity required for a full paper. Short papers are limited to 10 pages in LNCS format, including bibliography and appendices. Short papers will be included in the proceedings. The title of short papers must start with the words "Extended Abstract". Papers that do not follow the above formatting guidelines may be rejected without review. # Indicative topics of interest include (but are not limited to): ## Intrusions - Novel approaches and domains - Insider detection - Prevention and response - Data leakage, exfiltration, and poisoning - Result correlation and cooperation - Evasion and other attacks - Potentials and limitations - Operational experiences - Privacy, legal, and social aspects - Targeted attacks ## Malware - Automated analyses - Behavioral models - Prevention and containment - Classification - Lineage - Forensics and recovery - Underground economy - Vulnerabilities in malware ## Vulnerability detection - Vulnerability prevention - Vulnerability analysis - Exploitation and defenses - Hardware vulnerabilities - Situational awareness - Active probing Papers will be judged on novelty, significance, correctness, and clarity. We expect all papers to provide enough detail to enable reproducibility of the experimental results. We encourage papers that bridge research in different communities. We also welcome experience papers that clearly articulate lessons learnt. Submissions must be original work and may not be under submission to another venue at the time of review. For further details on the submission process, please visit the conference website: https://www.dimva2019.org At least one author of each accepted paper is required to physically present the submitted work at the conference, for the paper to be included in the proceedings. # Ethical Considerations: Submissions that report experiments with data gathered from human subjects should disclose whether the research received approval from an institutional ethics review board (IRB), if applicable, and what measures were adopted to minimize risks to privacy. Submissions that describe experiments related to vulnerabilities in software or systems should discuss the steps taken to avoid negatively affecting any third-parties (e.g., in case of probing of network devices), and how the authors plan to responsibly disclose the vulnerabilities to the appropriate software or system vendors or owners before publication. If you have any questions, please contact the program chairs at pc-chairs at dimva.org # Organizing Committee ## General Chair Magnus Almgren, Chalmers University of Technology, Sweden ## Program Chair Roberto Perdisci, University of Georgia and Georgia Institute of Technology, USA ## Program Co-Chair Clémentine Maurice, CNRS, IRISA, France ## Publications Chair Giorgio Giacinto, University of Cagliari, Italy ## Publicity Chair Kyu Hyung Lee, University of Georgia, USA # Program Committee Manos Antonakakis, Georgia Institute of Technology, USA Marco Balduzzi, Trend Micro Research, Italy Leyla Bilge, Symantec Research Labs, France Lorenzo Cavallaro, King's College London, UK Gabriela Ciocarlie, SRI International, USA Baris Coskun, Amazon Web Services, USA Lorenzo De Carli, Worcester Polytechnic Institute, USA Hervé Debar, Telecom SudParis, France Sven Dietrich, City University of New York, USA Brendan Dolan-Gavitt, NYU, USA Adam Doupé, Arizona State University, USA Manuel Egele, Boston University, USA Ulrich Flegel, Infineon Technologies AG, Germany Yanick Fratantonio, Eurecom, France Giorgio Giacinto, University of Cagliari, Italy Neil Gong, Iowa State University, USA Thorsten Holz, Ruhr-Universität Bochum, Germany Kyu Hyung Lee, University of Georgia, USA Sotiris Ioannidis, FORTH, Greece Vasileios Kemerlis, Brown University, USA Andrea Lanzi, University of Milan, Italy Corrado Leita, Lastline, UK Zhiqiang Lin, Ohio State University, USA Martina Lindorfer, TU Wien, Austria Xiapu Luo, The Hong Kong Polytechnic University, HK Federico Maggi, Trend Micro Research, Italy Michael Meier, University of Bonn and Fraunhofer FKIE, Germany Jelena Mirkovic, USC ISI, USA Nick Nikiforakis, Stony Brook University, USA Anita Nikolich, Illinois Institute of Technology, USA Daniela Oliveira, University of Florida, USA Christina Poepper, New York University Abu Dhabi, UAE Georgios Portokalidis, Stevens Institute of Technology, USA Christian Rossow, CISPA Helmholtz Center i.G., Germany Deborah Shands, SRI International, USA Kapil Singh, IBM T.J. Watson Research Center, USA Gianluca Stringhini, Boston University, USA Juan Tapiador, Universidad Carlos III, Spain Heng Yin, University of California Riverside, USA Stefano Zanero, Politecnico di Milano, Italy # Steering Committee ## Chairs Ulrich Flegel, Infineon Technologies, Germany Michael Meier, University of Bonn and Fraunhofer FKIE, Germany ## Members Magnus Almgren, Chalmers University of Technology, Sweden Sébastien Bardin, CEA, France Gregory Blanc, Télécom SudParis, France Herbert Bos, Vrije Universiteit Amsterdam, Netherlands Danilo M. Bruschi, Universita degli Studi di Milano, Italy Roland Bueschkes, RWE AG, Germany Juan Caballero, IMDEA Software Institute, Spain Lorenzo Cavallaro, King’s College London, UK Hervé Debar, Télécom SudParis, France Sven Dietrich, City University of New York, USA Cristiano Giuffrida, Vrije Universiteit Amsterdam, Netherlands Bernhard Haemmerli, Acris GmbH and HSLU Lucerne, Switzerland Thorsten Holz, Ruhr-University Bochum, Germany Marko Jahnke, CSIRT, German Federal Authority, Germany Klaus Julisch, Deloitte, Switzerland Christian Kreibich, ICSI, USA Christopher Kruegel, UC Santa Barbara, USA Pavel Laskov, University of Liechtenstein, Liechtenstein Federico Maggi, Trend Micro Research, Italy Michalis Polychronakis, Stony Brook University, USA Konrad Rieck, TU Braunschweig, Germany Jean-Pierre Seifert, Technical University Berlin, Germany Robin Sommer, ICSI/LBNL, USA Urko Zurutuza, Mondragon University, Spain # Sponsorship Opportunities We solicit interested organizations to serve as sponsors for DIMVA 2019. Please contact the sponsor chair (sponsor-chair at dimva.org) for details regarding sponsorship opportunities. From bikakis.nikos at gmail.com Mon Dec 3 10:19:02 2018 From: bikakis.nikos at gmail.com (Nikos Bikakis) Date: Mon, 03 Dec 2018 10:19:02 +0100 Subject: CFP: Big Data Visual Exploration and Analytics Workshop (BigVis 2019) Message-ID: Call for Papers BigVis 2019 :: 2nd International Workshop on Big Data Visual Exploration and Analytics https://bigvis.imsi.athenarc.gr/bigvis2019 EDBT/ICDT 2019, March 26, 2019, Lisbon, Portugal Held in conjunction with the 22nd Intl. Conference on Extending Database Technology & 22nd Intl. Conference on Database Theory (EDBT/ICDT 2019) In the Big Data era, the growing availability of a variety of massive datasets presents challenges and opportunities to not only corporate data analysts but also others, such as research scientists, data journalists, policy makers, SMEs, and individual data enthusiasts datasets are typically: accessible in a raw format that are not being loaded or indexed in a database (e.g., plain text, json, rdf), dynamic, dirty and heterogeneous in nature. The level of difficulty in transforming a data-curious user into someone who can access and analyze that data is even more burdensome now for a great number of users with little or no support and expertise on the data processing part. The purpose of visual data exploration is to facilitate information perception and manipulation, knowledge extraction and inference by non-expert users. Interactive visualization, used in a variety of modern systems, provides users with intuitive means to interpret and explore the content of the data, identify interesting patterns, infer correlations and causalities, and supports sense-making activities that are not always possible with traditional data analysis techniques. In the Big Data era, several challenges arise in the field of data visualization and analytics. First, the modern exploration and visualization systems should offer scalable data management techniques in order to efficiently handle billion objects datasets, limiting the system response in a few milliseconds. Besides, nowadays systems must address the challenge of on-the-fly scalable visualizations over large and dynamic sets of volatile raw data, offering efficient interactive exploration techniques, as well as mechanisms for information abstraction, sampling and summarization for addressing problems related to visual information overplotting. Further, they must encourage user comprehension offering customization capabilities to different user-defined exploration scenarios and preferences according to the analysis needs. Overall, the challenge is to enable users to gain value and insights out of the data as rapidly as possible, minimizing the role of IT-expert in the loop. The BigVis workshop aims at addressing the above challenges and issues by providing a forum for researchers and practitioners to discuss exchange and disseminate their work. BigVis attempts to attract attention from the research areas of Data Management & Mining, Information Visualization and Human-Computer Interaction and highlight novel works that bridge together these communities. Workshop Topics ------------------------------- In the context of visual exploration and analytics, topics of interest include, but are not limited to: - Visualization and exploration techniques for various Big Data types (e.g., stream, spatial, high-dimensional, graph) - Human-centered database techniques - Indexes and data structures for data visualization - In situ visual exploration and analytics - Progressive visual analytics - Interactive caching and prefetching - Scalable visual operations (e.g., zooming, panning, linking, brushing) - Big Data visual representation techniques (e.g., aggregation, sampling, multi-level, filtering) - Setting-oriented visualization (e.g., display resolution/size, smart phones, pixel-oriented, visualization over networks) - User-oriented visualization (e.g., assistance, personalization, recommendation) - Visual analytics (e.g., pattern matching, timeseries analytics, prediction analysis, outlier detection, OLAP) - Immersive visualization and visual analytics - Visual and interactive data mining - Models of human-in-the-loop data analysis - High performance/Parallel techniques - Visualization hardware and acceleration techniques - Linked Data and ontologies visualization - Case and user studies - Systems and tools Submissions ------------------------------- - regular research papers (up to 8 pages) - work-in-progress papers (up to 4 pages) - vision papers (up to 4 pages) - system papers and demos (up to 4 pages) Important Dates ------------------------------- Submission: January 4, 2019 Notification: January 22, 2019 Camera-ready: January 29, 2019 Deadlines expire at 5pm PT Workshop: March 26, 2019 Organizing Committee ------------------------------- Nikos Bikakis, University of Ioannina, Greece Kwan-Liu Ma, University of California-Davis, USA Olga Papaemmanouil, Brandeis University, USA George Papastefanatos, ATHENA Research Center, Greece Special Issue ------------------------------- Extended versions of the best papers of BigVis 2019 will be invited for submission in a special issue of an international journal. (confirmation awaiting) Program Committee ------------------------------- James Abello, Rutgers University, USA Demosthenes Akoumianakis, Techn Instit of Crete, Greece Gennady Andrienko, Fraunhofer, Germany Manos Athanassoulis, Harvard, USA Leilani Battle, University of Maryland, USA Carsten Binnig, Brown University, UK Nan Cao, Tongji University, China Maria Beatriz Carmo, Universidade de Lisboa, Portugal Giorgio Caviglia, Trifacta Inc Wei Chen, Zhejiang University, China Rick Cole, Tableau Alfredo Cuzzocrea, University of Trieste, Italy Aba-Sah Dadzie, The Open University, UK Issei Fujishiro, Keio University, Japan Giorgos Giannopoulos, ATHENA Research Center, Greece Parke Godfrey, University of York, Canada Daniel Goncalves, University of Montpellier, France Michael Gubanov, University of Texas at San Antonio, USA Marcel Hlawatsch, University of Stuttgart, Germany Yifan Hu, Yahoo! Christophe Hurter, ENAC, France Eser Kandogan, IBM Anastasios Kementsietsidis, Google James Klosowski, AT&T Research Stephen G. Kobourov, University of Arizona, USA Georgia Koutrika, ATHENA Research Center, Greece Giuseppe Liotta, University of Perugia, Italy Guoliang Li, Tsinghua University, China Zhicheng Liu, Adobe Steffen Lohmann, Fraunhofer, Germany Marios Meimaris, ATHENA Research Center, Greece Davide Mottin, Hasso Plattner Institute, Germany Martin Nöllenburg, Vienna University of Technology, Austria Chris North, Virginia Tech, USA Paul Parsons, Purdue University, USA Neoklis Polyzotis, Google Gerik Scheuermann, University of Leipzig, Germany Tobias Schreck, Graz University of Technology, Austria Thibault Sellam, Columbia University, USA Mike Sips, GFZ, Germany Dimitrios Skoutas, ATHENA Research Center, Greece Kostas Stefanidis, University of Tampere, Finland Cagatay Turkay, City University London, UK Yannis Tzitzikas, University of Crete, Greece Panos Vassiliadis, University of Ioannina, Greece Chaoli Wang, University of Notre Dame, USA Kai Xu, Middlesex University, UK Hongfeng Yu, University of Nebraska-Lincoln, USA -- :nikos -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From farshadfirouzi at gmail.com Mon Dec 3 10:19:02 2018 From: farshadfirouzi at gmail.com (Farshad Firouzi) Date: Mon, 03 Dec 2018 10:19:02 +0100 Subject: [Extended Deadline: Dec. 20] - COINS 2019: Internet of Things | Artificial Intelligence & ML | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded System | EDA Message-ID: We apologize if you receive multiple copies of this email We also invite you to circulate the CfP among your potentially interested contacts!! *COINS 2019: International Conference on Omni-Layer Intelligent Systems * Crete, Greece | May 5-7, 2019 Extended Deadline: December 20, 2018 http://coinsconf.com COINS is the premier conference devoted to omni-layer techniques for smart IoT systems, by identifying new perspectives and highlighting impending research issues and challenges. COINS main topics include the following but are not limited to: Track 1: Internet of Things: From Device to Edge, and Cloud Track 2: Omni-Layer Security, Privacy, and Trust Track 3: Omni-layer Reliability in IoT Era Track 4: VLSI, EDA, Embedded Systems, and Computer Architecture Track 5: Real-time Systems Track 6: Alternative and Approximate Computing Track 7: Cloud Computing Track 8: Programming Language and Software Engineering Track 9: Big Data Track 10: Artificial Intelligence, Machine Learning, Cognitive Computing, and Advanced Analytics Track 11: Evolutionary Computer Vision, Image Processing and Pattern Recognition Track 12: Automation Systems Track 13: Automotive Systems Track 14: Intelligent IoT eHealth Track 15: Enterprise Architecture Special tracks: Track1: Blockchain and Internet of Things (IoT) Track2: Cyber-physical and embedded systems Track3: Critical System Design Track4: Face Recognition *Publication* COINS is sponsored by IEEE Council on Electronic Design Automation (CEDA). Moreover, the proceeding will be published in ACM. Accepted papers are allowed six pages in the conference proceedings free of charge. Each additional page beyond six pages is subject to the page charge at 150 Euro per page up to the eight-page limit. ACM will hold the copyright for COINS proceedings. Authors of accepted papers must sign an ACM copyright release form for their paper. Extended versions of selected best papers will be published in a special issue of the ISI indexed Elsevier journal “Microprocessors and Microsystems: Embedded Hardware Design” (MICPRO) having the 2016 Impact Factor as high as 1.025 *Important Date* Submission Deadline: December 20 2018 Notification Date: January 31, 2019 Camera-ready: February 10, 2019 Conference Dates: May 5-7, 2019 *Grant* COINS Executive Committee is pleased to announce registration grants for highly skilled students who have an accepted paper. The number of grants is limited; therefore, the funding is awarded on a competition basis. We are especially looking forward to applications from Middle East, and Asia. *Board* Prof. Krishnendu Chakrabarty, Duke University, USA Prof. Jan M. Rabaey, UC Berkeley, USA Prof. David Z. Pan, University of Texas at Austin, USA Prof. Majid Sarrafzadeh, UCLA, USA Dr.-Ing. Farshad Firouzi, mVISE AG, Germany *General Chairs* Dr.-Ing. Farshad Firouzi, mVISE AG, Germany Prof. Krishnendu Chakrabarty, Duke University, USA *Technical Chairs* Dr. Bahar Farahani, Shahid Beheshti University, Iran Dr. Fangming Ye, Huawei, USA Dr. Vasilis Pavlidis, University of Manchester, UK *Local Chair: *Prof. Paris Kitsos, Technological Educational Institute of Western Greece, Greece *Publicity Chair*Prof. Nicolas Sklavos, University of Patras, Hellas, Greece *Track Chairs: *Prof. Jörg Henkel, KIT, Germany Prof. Akash Kumar, TU Dresden, Germany Prof. Davide Brunelli, University of Trento, Italy Prof. Kostas Siozios, Aristotle University of Thessaloniki, Greece Prof. Matthias König, FH-Bielefeld University, Germany Prof. Maria K. Michael, University of Cyprus, Cyprus Prof. Jiang Li, Shanghai Jiaotong University, China Prof. Luís Ferreira Pires, University of Twente, Netherlands Prof. Federica Cena, Universita' di Torino, Italy Prof. Mehrnoush Shamsfard, SBU, Iran Prof. Pasi Liljeberg, University of Turku, Finland Prof. Fereidoon Shams Aliee, SBU, Iran Prof. Kostas Siozios, Aristotle University of Thessaloniki, Greece Dr. Farzad Samie, KIT, Germany -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nsmattei at gmail.com Mon Dec 3 10:19:02 2018 From: nsmattei at gmail.com (Nicholas Mattei) Date: Mon, 03 Dec 2018 10:19:02 +0100 Subject: Second Call for the 2018 ACM SIGAI Student Essay Contest on Artificial Intelligence Technologies Message-ID: [Apologies for Multiple Postings] All, This is the second call to announce the 2018 version of the ACM SIGAI Essay Contest on on Artificial Intelligence Technologies! You might think about submitting your ideas to this opportunity! Deadline: Jan 10, 2019. Students are invited to write an essay discussing this year's topics for consideration for prizes and publication in the ACM SIGAI Newsletter! Please see the blog post or PDF call for full details. Blog Post: http://sigai.acm.org/aimatters/blog/2018/09/22/2018-acm-sigai-student-essay-contest-on-artificial-intelligence-technologies/ PDF Call: https://sigai.acm.org/aimatters/blog/wp-content/uploads/2018/10/SIGAIEssay2018.pdf Win one of several $500 prizes or a Skype conversation with a leading AI researcher including Joanna Bryson, Murray Campbell, Eric Horvitz, Peter Norvig, Iyad Rahwan, Francesca Rossi, or Toby Walsh. All winning entries will be published in the SIGAI Newsletter archived in the ACM Digital Library. Thanks! --Nick -- Nicholas Mattei Research Staff Member | IBM Research AI IBM T.J. Watson Research Center 1101 Kitchawan Road, Office 33-238, Yorktown Heights, NY 10598 E: n.mattei at ibm.com | T: +1 914 945 3305 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From S.Fitrianie at tudelft.nl Mon Dec 3 10:19:02 2018 From: S.Fitrianie at tudelft.nl (Siska Fitrianie - EWI) Date: Mon, 03 Dec 2018 10:19:02 +0100 Subject: CALL FOR PARTICIPATION in the Development of an Evaluation Instrument for Social Agents Message-ID: CALL FOR PARTICIPATION in the Development of an Evaluation Instrument for Social Agents Dear colleagues, Our vision is to create a validated standardised questionnaire instrument to evaluate human interaction with a social agent. This instrument will help researchers to make claims about people’s perceptions, attitude and beliefs towards their agent. It will allow agents to be compared across user studies, and importantly, it helps in replicating our scientific findings. This is essential for the community if we want to make valid claims about the impact that our social agents can have in domains such as health, entertainment, and education. We have set up an online project at Open Science Framework (OSF), and we are now looking for more researchers interested in participating in the developing this instrument. We are explicitly looking for researchers with a background in conducting user studies with social agents such as intelligent virtual agents, social robots, and conversational agents. As we all have busy schedules, individual participation can vary, including providing comments and advise about setting up the instrument, what constructs should be measures, which items to include, pilot testing the instrument, creating a norm database of evaluated agents, and also participating in the writing of scientific papers about the instruments. What is in it for you? You will end up with a standardised questionnaire to evaluate your social agent and compare it with other agents. Interested? 1. Join the Open Science Framework: go to https://osf.io/6duf7/ (optionally sign in to the OSF and click ‘request access’. We have developed an OSF project under title: Workgroup on Evaluation Instrument or once register click again on the link in this email). 2. Method of Communication. As soon as you are assigned to be one of the contributors, you will have the ‘read and write’ right on the OSF project. Please feel free to add and update the Wikis, the components and the tags, and give a lot of ‘Comments’ to each of them. 3. Contact Information. Please make sure that you fill in your profile especially your affiliation (you can always edit it later). Already participating… Annika Silvervarg, Linköping University Bálint Molnár, University of Budapest Barbara Kuhnert, University of Freiburg Benjamin Cowan, University College Dublin Catherine Pelachaud, University Pierre and Marie Curie, Paris Catholijn Jonker, Delft University of Technology Chris Martens Deborah Richards, Macquarie University: Sydney, New South Wales Ding Ding, Delft University of Technology Emer Gilmartin, Trinity College Dublin Evalien Heyselaar, Behavioral Science Institute, Radboud University Felix Lindner, University of Freiburg Frances Brazier, Delft University of Technology Frank Foerster, University of Hertfordshire Franziska Burger, Delft University of Technology Gale Lucas, USC Institute for Creative Technology Jacob Browne, Twickle, San Diego Jeroen Linssen, Saxion University of Applied Sciences, Enschede Kangsoo Kim, University of Central Florida Kim Baraka, Carnegie Mellon University Leigh Clark, University College Dublin Marion Koelle, University of Oldenburg Mathieu Chollet, University of Glasgow Merijn Bruijnes, University of Twente Mirjam de Haas Mojgan Hashemian, INESC-ID, Lisbon Myrthe Tielman, Delft University of Technology Nahal Norouzi, University of Central Florida Catharine Oertel Genannt Bierbach, KTH Royal Institute of Technology, Stockholm Rianne van den Berghe, Utrecht University Salam Daher, University of Central Florida Siska Fitrianie, Delft University of Technology Tibor Bosse, Radboud University Nijmegen Ulysses Bernardet, Aston University, Birmingham Wang Lun Willem-Paul Brinkman, Delft University of Technology Kind regards, Siska Fitrianie ------------------------- Dr. Ir. Siska Fitrianie, PDEng. S.T. PostDoc Researcher Department of Intelligent Systems | Interactive Intelligence Group Building 28, Delft University of Technology Van Mourik Broekmanweg 6 2628 XE Delft The Netherlands -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rrc2soft at gmail.com Thu Dec 6 11:13:42 2018 From: rrc2soft at gmail.com (Rodrigo Roman) Date: Thu, 06 Dec 2018 11:13:42 +0100 Subject: CFP: 5th ACM Cyber-Physical System Security Workshop (CPSS 2019), co-located with ACM AsiaCCS'19 Message-ID: =============================================== 5th ACM Cyber-Physical System Security Workshop ----------------------------------------------- Held in conjunction with ACM AsiaCCS'19 Auckland, New Zealand ----------------------------------------------- http://jianying.space/cpss/CPSS2019/ Important Dates Submission due: March 1, 2019 Notification: April 10, 2019 Camera-ready due: April 30, 2019 =============================================== Cyber-Physical Systems (CPS) of interest to this workshop consist of large-scale interconnected systems of heterogeneous components interacting with their physical environments. There exist a multitude of CPS devices and applications deployed to serve critical functions in our lives thus making security an important non-functional attribute of such systems. This workshop will provide a platform for professionals from academia, government, and industry to discuss novel ways to address the ever-present security challenges facing CPS. We seek submissions describing theoretical and practical solutions to security challenges in CPS. Submissions pertinent to the security of embedded systems, IoT, SCADA, smart grid, and other critical infrastructure are welcome. Topics of interest include, but are not limited to: - Attack detection for CPS - Authentication and access control for CPS - Autonomous vehicle security - Availability and auditing for CPS - Blockchain for CPS security - Data security and privacy for CPS - Digital twins for CPS - Embedded systems security - Formal methods in CPS - Industrial control system security - IoT security - Legacy CPS system protection - Lightweight crypto and security - Maritime cyber security - Recovery from cyber attacks - Security and risk assessment for CPS - Security architectures for CPS - Security by design for CPS - Smart grid security - Threat modeling for CPS - Transportation system security - Vulnerability analysis for CPS - Wireless sensor network security Submission Instructions ----------------------- Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All submissions should be appropriately anonymized. Submissions must be in double-column ACM SIG Proceedings format, and should not exceed 12 pages. Position papers describing the work in progress are also welcome. Only pdf files will be accepted. Authors of accepted papers must guarantee that their papers will be presented at the workshop. At least one author of the paper must be registered at the appropriate conference rate. Accepted papers will be published in the ACM Digital Library. There will also be a best paper award. Paper submission site: https://easychair.org/conferences/?conf=cpss19. Contact ------- Email: cpss19 at easychair.org CPSS Home: http://jianying.space/cpss/CPSS2019/ Committees ---------- - Steering Committee Dieter Gollmann (Hamburg University of Technology, Germany) Ravishankar Iyer (UIUC, USA) Douglas Jones (UIUC, USA) Javier Lopez (University of Malaga, Spain) Jianying Zhou (SUTD, Singapore) – Chair - Program Chairs Aditya Mathur (Purdue University, USA & SUTD, Singapore) Jianying Zhou (SUTD, Singapore) - Publicity Chair Rodrigo Roman (University of Malaga, Spain) - Publication Chair Weizhi Meng (DTU, Denmark) - Program Committee Cristina Alcaraz (University of Malaga, Spain) Alvaro Cardenas (UT Dallas, USA) Mauro Conti (University of Padua, Italy) Gregorio D'Agostino (ENEA, Italy) Roberto Di Pietro (HBKU, Qatar) Afonso Ferreira (CNRS-IRIT, France) Yanick Fratantonio (EURECOM, France) Joaquin Garcia-Alfaro (Telecom SudParis, France) Stefanos Gritzalis (University of the Aegean, Greece) Sokratis Katsikas (NTNU, Norway) Huy Kang Kim (Korea University, Korea) Kandasamy Nandha Kumar (SUTD, Singapore) Qi Li (Tsinghua University, China) Hoon Wei Lim (SingTel, Singapore) Bo Luo (University of Kansas, USA) Xiapu Luo (Hong Kong Polytechnic University, HK) Michail Maniatakos (NYU-Abu Dhabi, UAE) Daisuke Mashima (ADSC, Singapore) Weizhi Meng (DTU, Denmark) Simin Nadjm-Tehrani (Linköping University, Sweden) Martín Ochoa (Universidad del Rosario, Colombia) Axel Poschmann (DarkMatter, UAE) Rodrigo Roman (University of Malaga, Spain) Justin Ruths (UT Dallas, USA) Martin Strohmeier (University of Oxford, UK) Jun Sun (SUTD, Singapore) Qiang Tang (LIST, Luxembourg) William Temple (ADSC, Singapore) Indrajiti Ray (Colorado State University, USA) Sicco Verwer (TU Delft, Netherland) Zheng Yang (SUTD, Singapore) Fan Zhang (Zhejiang University, China) Sencun Zhu (Pennsylvania State University, USA) Saman Zonouz (Rutgers University, USA) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Dec 6 11:13:42 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 06 Dec 2018 11:13:42 +0100 Subject: AlCoB 2019: 2nd call for papers Message-ID: AlCoB 2019: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 6th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2019   Berkeley, California, USA   May 28-30, 2019   Co-organized by:   University of California, Berkeley   Institute for Research Development, Training and Advice, Brussels/London   http://alcob2019.irdta.eu/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, and Hong Kong.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2019 will take place in Berkeley, home to the oldest campus in the highly prestigious University of California system. The venue will be:   University of California, Berkeley   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2019 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   Igor Jurisica (University of Toronto), Explanable AI for Data-driven Medicine   Lior Pachter (California Institute of Technology), Algorithms for Single-cell Genomics   Pavel A. Pevzner (University of California, San Diego), Bioinformatics: A Servant or the Queen of Molecular Biology?   PROGRAMME COMMITTEE:   Can Alkan (Bilkent University, TR) Stephen Altschul (National Center for Biotechnology Information, US) Philipp Bucher (Swiss Institute for Experimental Cancer Research, CH) Ken Chen (MD Anderson Cancer Center, US) Keith A. Crandall (George Washington University, US) Colin Dewey (University of Wisconsin, Madison, US) Eytan Domany (Weizmann Institute of Science, IL) Robert Edgar (independent, US) Dmitrij Frishman (Technical University of Munich, DE) Susumu Goto (Research Organization of Information and Systems, JP) Desmond Higgins (University College Dublin, IE) Karsten Hokamp (Trinity College Dublin, IE) Ian Holmes (University of California, Berkeley, US) Fereydoun Hormozdiari (University of California, Davis, US) Daniel Huson (University of Tübingen, DE) Martijn Huynen (Radboud University Medical Centre, NL) Peter Karp (SRI International, US) Kazutaka Katoh (Osaka University, JP) Anders Krogh (University of Copenhagen, DK) Doron Lancet (Weizmann Institute of Science, IL) Alla Lapidus (Saint Petersburg State University, RU) Ming Li (University of Waterloo, CA) Gerard Manning (Genentech, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David H. Mathews (University of Rochester Medical Center, US) Aaron McKenna (University of Washington, US) Jason Rafe Miller (Shepherd University, US) Aleksandar Milosavljevic (Baylor College of Medicine, US) Yasukazu Nakamura (National Institute of Genetics, JP) Zemin Ning (Wellcome Trust Sanger Institute, UK) William Stafford Noble (University of Washington, US) Sandra Orchard (European Bioinformatics Institute, UK) William Pearson (University of Virginia, US) Matteo Pellegrini (University of California, Los Angeles, US) Mihaela Pertea (Johns Hopkins University, US) Steve Rozen (Duke-NUS Medical School, SG) David Sankoff (University of Ottawa, CA) Russell Schwartz (Carnegie Mellon University, US) Wing-Kin Sung (National University of Singapore, SG) Alfonso Valencia (Barcelona Supercomputing Centre, ES) Arndt von Haeseler (Center for Integrative Bioinformatics Vienna, AT) Kai Wang (Children's Hospital of Philadelphia, US)   ORGANIZING COMMITTEE:   Ian Holmes (Berkeley, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=alcob2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI 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://alcob2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: January 12, 2019 Notification of paper acceptance or rejection: February 19, 2019 Final version of the paper for the LNCS/LNBI proceedings: February 26, 2019 Early registration: February 26, 2019 Late registration: May 14, 2019 Submission to the journal special issue: August 30, 2019   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGEMENTS:   University of California, Berkeley   IRDTA – Institute for Research Development, Training and Advice, Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rl.stpuu at gmail.com Mon Dec 10 10:40:08 2018 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Mon, 10 Dec 2018 10:40:08 +0100 Subject: 3rd CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2019 (update) Message-ID: CALL FOR PAPERS Natural Language Processing in Artificial Intelligence - NLPinAI 2019 19 - 21 February, 2019 - Prague, Czech Republic http://www.icaart.org/NLPinAI.aspx Special Session within the 11th International Conference on Agents and Artificial Intelligence - ICAART 2019 http://www.icaart.org New: There will be a post-conference, post-proceedings Special Issue with publications based on selected papers presented at NLPinAI 2019. ------------------------------------------------------------- SCOPE: Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions. The session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes. TOPICS: We invite contributions relevant to the following topics, without being limited to them: - Type theories for applications to language and information processing - Computational grammar - Computational syntax - Computational semantics of natural languages - Computational syntax-semantics interface - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Parsing - Multilingual processing - Large-scale grammars of natural languages - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Models of computation and algorithms for natural language processing - Computational models of partiality, underspecification, and context-dependency - Models of situations, contexts, and agents, for applications to language processing - Information about space and time in language models and processing - Models of computation and algorithms for linguistics - Data science in language processing - Machine learning of language - Interdisciplinary methods - Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods - Logic for information extraction or expression in written and spoken language - Language processing based on biological fundamentals of information and languages - Computational neuroscience of language IMPORTANT DATES: Paper Submission: December 20, 2018 Authors Notification: January 7, 2019 Camera Ready and Registration: January 15, 2019 PAPER SUBMISSION: Authors can submit their work in the form of a Regular Paper, representing completed and validated research, or as a Position Paper, for preliminary work in progress. Regular Papers - Submission: It is recommended that Regular Papers are submitted for review with around 8 to 10 pages - Acceptance: After a double-blind peer review, qualifying Regular Papers may be accepted as either Full Papers or Short Papers - Publication: Regular Papers classified as Full Papers will be assigned a 12-page limit in the Conference Proceedings, while Regular Papers classified as Short Papers have an 8-page limit Position Papers - Submission: Position Papers should be submitted for review with around 6 or 7 pages - Acceptance: After a double-blind peer review, qualifying Position Papers will be accepted as Short Papers - Publication: Position Papers will be assigned a 8-page limit in the Conference Proceedings Instructions for preparing the manuscript (in Word and Latex formats) are available at the page with paper Templates: http://www.icaart.org/Templates.aspx Please also check the Guidelines: http://www.icaart.org/Guidelines.aspx Papers must be submitted electronically via the web-based submission system using the appropriated button Submit Paper on the pages of NLPinAI 2019. The Conference Proceedings will be published under an ISBN number by SCITEPRESS and include final versions of all accepted papers, adjusted to satisfy reviewers' recommendations. They will be obtainable on paper and CD-Rom support, and made available for online consultation at the SCITEPRESS Digital Library. Online publication is exclusive to papers which have been both published and presented at the event. Indexation: The proceedings will be submitted to Thomson Reuters Conference Proceedings Citation Index (CPCI/ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus for indexation. ------------------------------------------------------------- CHAIRS: Roussanka Loukanova Sweden CONTACT: Roussanka Loukanova (rloukanova the special symbol gmaildotcom) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Olivier.Boissier at emse.fr Mon Dec 10 10:40:08 2018 From: Olivier.Boissier at emse.fr (Olivier Boissier) Date: Mon, 10 Dec 2018 10:40:08 +0100 Subject: CFP - Workshop on Hypermedia Multi-Agent Systems (HyperAgents 2019) (deadline: 27/1/19) Message-ID: CALL FOR PAPERS - Workshop on Hypermedia Multi-Agent Systems (HyperAgents 2019) in conjunction with The Web Conference 2019, San Francisco, California, USA, May 13-17, 2019. http://www.hyperagents.org/ -- Workshop Abstract Hypermedia is increasingly being used in Web service design, particularly in Linked Data and Web of Things systems where the use of static service contracts is not practical. This evolution raises new challenges: to discover, consume, and integrate hypermedia services at runtime, clients have to become increasingly autonomous in pursuit of their design goals. Such autonomous systems have been studied to a large extent in research on multi-agent systems (MAS). To consolidate the evolution of hypermedia services, it is now necessary to have comprehensive discussions on integrating hypermedia systems and MAS, henceforth hypermedia MAS. The goal of this initiative is to establish a common forum for both the Web and MAS communities, and to create social, conceptual and technological bridges across these fields. -- Important Dates Paper submission deadline: January 27, 2019 Notification of acceptance: February 17, 2019 Camera-ready papers due: March 3, 2019 Workshop date: TBD (May 13-14, 2019) -- Contributing to HyperAgents 2019 HyperAgents 2019 solicits contributions in all areas related to autonomous systems on the Web. We invite researchers and practitioners to imagine, design, build, evaluate, and share their thoughts and visions on what the future of the Web for both people and autonomous agents will be. - Architectural Styles and Design of Hypermedia MAS -- Design principles, models, and architectures for hypermedia MAS -- Semantic Web, Linked Data and knowledge graphs for autonomous agents -- WoT and physical environments for autonomous agents -- De-siloization and data integration in large-scale hypermedia MAS -- Specification and enactment of interaction protocols: Web interaction protocols, interaction protocols for agents (human and non-human) -- Identification, authentication, and authorization of autonomous agents -- Large-scale search in hypermedia MAS -- Re-decentralization and distributed AI on the Web -- WebRTC & peer-to-peer Web for hypermedia MAS - Autonomous Agents in Hypermedia MAS -- Architectures and programming languages for autonomous hypermedia agents -- Linked data programming for autonomous agents -- Context-aware agents in hypermedia MAS -- Edge AI and physical agents on the Web -- Learning in hypermedia environments -- Large-scale automated planning and distributed reasoning on the Web -- Integration of heterogeneous AI methods in hypermedia MAS -- Models and mechanisms for agent coordination - Governance in Hypermedia MAS -- Norm-aware agents in hypermedia MAS -- Hypermedia-based representation and advertising of norms in MAS -- Reasoning on data licensing policies, terms of services, etc. -- Privacy preservation and norm-compliant information dissemination -- Models and mechanisms for enforcing Web-scale regulation -- Trust and responsible agents -- Web-scale open organizations of autonomous agents - Hybrid Communities (People & Autonomous Agents) in Hypermedia MAS -- Bridging formal semantics and social semantics (e.g., ontologies and folksonomies) -- Web-based collective programming, customization, and maintenance of hypermedia MAS -- Hybrid social constructs for supporting autonomous reasoning and interaction -- Human-agent interaction in hybrid communities on the Web -- Collective interaction models and agreement in hybrid communities -- Mixed reality for hypermedia MAS (e.g., interactions, monitoring, configuration) - Tooling & Applications of Hypermedia MAS -- Programming frameworks, platforms, and other tooling for hypermedia MAS -- Hybrid communities in the Web of Things (industrial manufacturing, home and building automation, smart grids, etc.) -- Hybrid communities for enhanced social media (mitigating fake news propagation, online bullying, etc.) -- Hybrid communities for enhanced linked research (e.g., curating, sharing, and maintaining corpora and datasets) -- Hybrid communities for rewiring the Web In order to ensure a high-quality technical session, submissions must cover one of the topics above. Authors can submit two types of papers: regular papers (max. 8 pages) and short papers (max. 4 pages) in ACM conference format. All research papers must be original prior unpublished work and not under review elsewhere. All submissions will be peer-reviewed and selected based on their originality, merit, and relevance to the workshop. Accepted papers will be published jointly with the proceedings of The Web Conference 2019. Submission requires at least one author to present the paper on-site. If you can, we encourage authors of accepted papers to bring a prototype and demonstrate it at the workshop. For more instructions on how to submit to HyperAgents 2019, visit http://www.hyperagents.org/ -- Organizers Andrei Ciortea, University of St. Gallen, Switzerland Simon Mayer, University of St. Gallen, Switzerland Fabien Gandon, Inria, Université Côte d’Azur, CNRS, I3S, France Olivier Boissier, Univ. Lyon, MINES Saint-Étienne, CNRS Lab Hubert Curien UMR 5516, France From ijv at acm.org Thu Dec 13 10:20:16 2018 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Thu, 13 Dec 2018 10:20:16 +0100 Subject: Preliminary call for papers: DARe at LPNMR-19 Message-ID: * Apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at LPNMR 2019 Date: June 3 or 4 2019 (TBC) Philadelphia, USA *** Deadline: 19 March 2019 *** ============================== The Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-19/ collocated with LPNMR 2019 -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalisation of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms (conditionals), whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages (not counting the references). Please submit to: https://easychair.org/conferences/?conf=dare19 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ The 2017 proceedings are available at http://ceur-ws.org/Vol-1872/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the LPNMR 2019 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 19 March 2019 - Notification to authors: 26 April 2019 - Camera ready version: 6 May 2019 - Workshop date: 3 or 4 June 2019 (to be confirmed) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- [TBA] -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-19/) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv Google scholar: http://tinyurl.com/varzinczak -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sebastian.litzinger at fernuni-hagen.de Thu Dec 13 10:20:16 2018 From: sebastian.litzinger at fernuni-hagen.de (Sebastian Litzinger) Date: Thu, 13 Dec 2018 10:20:16 +0100 Subject: Call for Papers and Announcement - ACSD 2019 Message-ID: Call for Papers and Announcement ACSD 2019 19th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN Aachen, Germany, June 23-28, 2019 Additional information about the conference will be published via http://www.petrinets2019.de/acsd-2019/ The conference will be co-located with the 40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2019). IMPORTANT DATES: Abstract submission: January 16, 2019 (*) Submission of Papers: January 22, 2019 (*) Notification: March 8, 2019 Final Version Due: March 22, 2019 (*) Participation in Tool Exhibition: June 1, 2019 Conference: June 23-28, 2019 (*) The deadline is the end of day Anywhere on Earth (AoE) The 19th international ACSD conference will be organized by the Process and Data Science (PADS) group at RWTH Aachen University, Aachen, Germany. The conference will take place in the conference area of the Tivoli football stadium, close to the city center of Aachen. The language of the conference is English. The conference proceedings will be submitted for inclusion to IEEE Xplore. CONFERENCE SCOPE: The conference aims at cross-fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit concurrent behavior. In particular, the following topics are of interest: - Formal models of computation and concurrency for synchronous and asynchronous systems and problems, like data-flow models, communicating automata, Petri nets, process algebras, graph rewriting systems, state charts, MSCs, modal and temporal logics - Design principles for concurrent systems, in particular hardware/software co-design, platform-based design, component-based design, modular synthesis, distributed simulation and control, refinement techniques, hardware/software abstractions, cross-layer optimization - Algorithms and tools for concurrent systems, ranging from programming languages to algorithmic methods, for system analysis and construction, including model checking, verification, and static analysis techniques as well as synthesis procedures - High-performance computer architectures like many-core processors, on-chip-networks, graphics processing units, instruction-level parallelism, dataflow architectures, cache coherency, memory systems, up to ad-hoc, mobile, and wireless networks - Resource management in implementations including task and communication scheduling, network-, memory-, and power-management, energy/power distribution, fault-tolerance, quality of service, scalability, load balancing, power proportionality - Real-time aspects, incl. hard real-time requirements, security- and safety-critical issues, functional and timing verification - Cyber-physical systems, hybrid systems, networked systems, and networks in biological systems - Case studies of general interest, from industrial applications to consumer electronics and multimedia, automotive systems, (bio-) medical applications, neuromorphic applications, internet (of things) and grid computing, to gaming applications. PAPER SUBMISSION: ACSD seeks papers describing original work which has not been previously published and is not under review for publication elsewhere. All files must be prepared using the latest IEEE Computer Society conference proceedings guidelines (8.5 x11 inch two-column format). The page limit for regular papers is 10 pages. Accepted papers will be included in the conference proceedings. At least one author of each accepted contribution is expected to present the paper at the conference, and will be required to sign the copyright release forms. All papers have to be submitted via EasyChair: https://easychair.org/conferences/?conf=acsd2019. ORGANIZATION General Chair Wil van der Aalst RWTH Aachen University 52074 Aachen, Germany wvdaalst at pads.rwth-aachen.de Technical Program Committee Co-chairs Joerg Keller University of Hagen 58084 Hagen, Germany Joerg.Keller at fernuni-hagen.de Wojciech Penczek ICS PAS & Siedlce University Warsaw, Poland penczek at ipipan.waw.pl Organizing Committee Wil van der Aalst (general chair) Anna Kalenkova (publicity chair) Detlef Wetzler (web chair) Technical Program Committee S. Akshay, India Etienne Andre, France Mohamed Faouzi Atig, Sweden Josep Carmona, Spain Franck Cassez, Australia Thomas Chatain, France Rocco De Nicola, Italy Joerg Desel, Germany Klaus Echtle, Germany Alain Girault, France Radu Grosu, Austria Stefan Haar, France Loic Helouet, France Ludovic Henrio, France Loig Jezequel, France Gabriel Juhas, Slovakia Joerg Keller, Germany (co-chair) Christoph Kessler, Sweden Jan Kretinsky, Czech Republic Johan Lilius, Finland Gerald Luettgen, Germany Roland Meyer, Germany Andrey Mokhov, UK Claire Pagetti, France Wojciech Penczek, Poland (co-chair) Laure Petrucci, France Marta Pietkiewicz-Koutny, UK Dumitru Potop-Butucaru, France Klaus Schneider, Germany Sandeep Shukla, India Ashutosh Trivedi, India Jaco van de Pol, Denmark Fei Xia, UK Steering Committee Alex Yakovlev, UK (chair) Benoit Caillaud, France Jordi Cortadella, Spain Joerg Desel, Germany Alex Kondratyev, USA Luciano Lavagno, Italy Antti Valmari, Finland Andrey Mokhov, UK AACHEN Aachen is a historic city in North Rhine-Westphalia, Germany, at the point where Germany borders on Belgium and the Netherlands. Historically this spa-town was a prominent city, the place where the German Kings were crowned, and the residence of Charlemagne who still lies buried in the impressive cathedral he himself had built. The city has many historical sites that remind of those days, including medieval buildings, city gates, and beautiful fountains. Aachen is Germany's westernmost city. It lies near the borders with Belgium and the Netherlands and is nestled between the large national parks of the Eifel and the Ardennes. The city has a population of 260,000, which includes about 50,000 students and more than 4,000 academic staff from across the world. Its lively student community lends the city just as much character as its history. Aachen is famous for its Printen gingerbread, its hot springs, its Mardi Gras carnival and one of the world's largest equestrian tournaments. The historic city center and a wealth of bars, cafes, and restaurants, combined with the nearby nature parks, such as the Eifel, make Aachen a city where everyone feels at home. The venue of the conference, the Tivoli football stadium, is located on the border of the city center. This beautiful venue will provide a unique atmosphere with great views and excellent conference facilities. From ggelfond at unomaha.edu Thu Dec 13 10:20:16 2018 From: ggelfond at unomaha.edu (Gregory Gelfond) Date: Thu, 13 Dec 2018 10:20:16 +0100 Subject: LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** Message-ID: Call for Papers --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju.edu/plw/lpnmr-2019/ Philadelphia, USA June 4-7, 2019 Part of the philadelphia Loogic Week 2019 https://sites.sju.edu/plw/ Co-located with Datalog 2.0 Workshop International Workshop on Bidirectional Transformations --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to�provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS To be announced TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2019 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the LPNMR 2019 Easychair site: https://easychair.org/conferences/?conf=lpnmr2019 Two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the journal Theory and Practice of Logic Programming will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication. In case of invited papers for a rapid publication in journals, there should be at least 30% new content compared to the published conference paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details (some of which would appear as supplementary material). New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available. MULTIPLE SUBMISSION POLICY LPNMR 2019 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED EVENTS DATALOG 2.0 Workshop ASSOCIATED EVENTS WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on June 3 and 4: * The 12th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Jorge Fandinno and Johannes K. Fichte * Causal Reasoning and Explanation in Logic Programming Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar and, Jorge Fandi�o * The 5th International Workshop on Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak * The 5th International Workshop on Grounding and Transformations for Theories with Variables (GTTV) Organizers: Antonius Weinzierl and Peter Sch�ller * The 3rd International Workshop on User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Christos Rodosthenous * Workshop on the ASP Challenge 2019 (WAC 2019) Organizers: Carmine Dodaro, Christoph Redl, and Peter Sch�ller DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019 at easychair.org Tentative IMPORTANT DATES * Paper registration: January 29 * Paper submission: February 5 * Notification: March 12 * Final versions due: April 2 VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universität Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universität Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Politécnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Schüller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universität Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of São Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From roveri at fbk.eu Thu Dec 13 10:20:16 2018 From: roveri at fbk.eu (Marco Roveri) Date: Thu, 13 Dec 2018 10:20:16 +0100 Subject: Work opportunities for Students/Graduates at Fondazione Bruno Kessler Message-ID: (Apologies if you have received multiple copies of this announcement) WORK OPPORTUNITY FOR STUDENTS/GRADUATES AT FBK! Ideal candidates for this position are young people with strong computer programming skills and a desire to engage in a path of professional growth in the area of research. We are looking for people willing to work in international teams, attracted by research and innovation, with a spirit of initiative and critical thinking skills. If you are interested in joining our top class Research Units, check out the details below! -------------------------------------------------- Workplace -------------------------------------------------- The Embedded Systems (ES) Unit of the Information and Communication Technology Center of the Bruno Kessler Foundation, Trento, Italy consists of about 25 persons, including researchers, Postdoc, PhD students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Formal Verification of complex embedded systems leveraging on model checking techniques; * Formal Safety Analysis, based on the integration of traditional (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. * Contract-based engineering and contract-based formal verification of aerospace systems using model checking techniques; * Contract-based techniques for fault detection, identification relying on model checking techniques; * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis); * Model based planning and scheduling for aerospace and robotic (drone) systems, for the management of autonomous vehicles, drones for exploration in critical environment, factory automation, and for process optimizations (with applications in Industry 4.0), leveraging model checking and satisfiability modulo theory techniques; * Model based on-board autonomy for different vehicles (AUV, ROV) using planning and scheduling techniques; * Model based recovery relying on planning and scheduling techniques; * Model-based development of controllers for embedded systems; * Satisfiability Modulo Theory, and its application to planning and scheduling, verification of hardware, embedded critical software, and hybrid systems; * Combination of machine learning and symbolic reasoning for predictive maintenance. More information about the ES Unit is available at https://es.fbk.eu/ -------------------------------------------------- Job Description -------------------------------------------------- The Embedded Systems (ES) Unit is looking for junior programmers for software development activities related to the different research, technology transfer, and industrial projects in its current portfolio. In particular, the successful candidate will support the ES-Unit’s researchers in the design and development of the different applications and tools to develop and deploy at different premises within the several projects. The successful candidates are expected to work in collaboration with other researchers, programmers, and students involved in the different projects. -------------------------------------------------- Job requirements -------------------------------------------------- The ideal candidate should have: * High school diploma/bachelor degree * Software design and development skills; * Knowledge of at least one of the following programming languages: C++, C, Python, Java; * Hands-on experience with standard software development environments under Unix/Linux and/or MS Windows (TM); * Ability to work in a collaborative environment; * Result orientation and flexibility; * Good communication and relational skills in English. FBK will consider Background knowledge and/or previous hands-on experience in the following areas: model-based development of controllers for embedded systems; Eclipse development platform; Xtext framework; UML and/or SysML; XML; symbolic logic; formal methods (e.g., model checking), planning and scheduling, machine learning and machine learning development environments (e.g. scikit-learn, PyTorch, tensorflow). -------------------------------------------------- Employment -------------------------------------------------- Type of contract: fixed term contract (technical profile - L4 CCPL) Working hours: part or full time (depending on internal project needs and candidate’s availability) Start date: January 2019 Duration: December 2019 (with possibility to extend the contract depending on funding) Workplace: Trento - Povo Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security, etc., reductions on bank account opening fees, public transportation, sport, language course fees. More info at https://www.welfarefbk.info/ -------------------------------------------------- Application -------------------------------------------------- Candidates are required to submit their applications by clicking "Apply online" at the bottom of this page. Please make sure that your application includes the following attachments (pdf. format): * Detailed CV * Cover Letter (explaining your motivation for this specific position) Application deadline: 20th December, 2018 Please read our Regulations on the recruitment and selection of fixed-term personnel (effective from October 15, 2018) before completing your application. For further administrative information, please contact the Human Resources Services at jobs at fbk.eu For technical inquiries about the position, send an e-mail at es-info at fbk.eu. From roveri at fbk.eu Thu Dec 13 10:20:16 2018 From: roveri at fbk.eu (Marco Roveri) Date: Thu, 13 Dec 2018 10:20:16 +0100 Subject: Post-doc position in the field of Predictive Maintenance at Fondazione Bruno Kessler Message-ID: (Apologies if you have received multiple copies of this announcement) A RESEARCHER IN THE FIELD OF PREDICTIVE MAINTENANCE FOR THE EMBEDDED SYSTEMS RESEARCH UNIT (ES) -------------------------------------------------- Job Description -------------------------------------------------- The Embedded Systems (ES) Unit has an opening for a PostDoc position in the field of predictive maintenance for industrial applications in the framework of several research and technology transfer projects. The successful candidate will be employed for a period of at least two years (with a trial period of 6 months). He/She will carry out research activities in the field of predictive maintenance applied to the analysis of complex critical designs. The candidate is expected to perform activities related to the following research topics: * Development of techniques and tools for combining data driven and model based reasoning to learn models and/or to improve the quality of the models at the basis of the model based approach to run-time monitoring and predictive maintenance; * Development of novel techniques for combining model based reasoning with machine learning to reduce the learning phase, and to improve the quality of the answer generated by the machine learning algorithms, with applications in predictive maintenance, reliability, availability, maintainability, safety and security of data; * Development of a scalable and generic infrastructure for model based predictive maintenance that will allow for different form of analysis to combine sensor data to infer proper abstract states to drive then machine learning algorithms and/or statistical model checking algorithms in predicting the evolution of a system (e.g. future faults, remaining useful lifetime, …). * Development of techniques and tools for the automated synthesis of run-time monitor for diagnosis and prognosis, and techniques and tools for model-based synthesis of drivers connecting application to sensors and enriching sensors with meta-data. The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the project. Moreover, the candidate is expected also to interact with industrial partners and to spend some time at industrial partner premises. -------------------------------------------------- Job requirements -------------------------------------------------- The ideal candidate should have: * PhD in computer science, mathematics or electronic engineering (to be completed by mid 2019); * Software development skills (preferably in C, C++, Python or Java); * Ability to carry out an independent research program; * Ability to work in a collaborative environment and deliver in research projects and possibly in industrial projects; * Oral and written proficiency in English Additional requirements: In depth previous experience in at least one of the following areas: * Predictive Maintenance * Machine Learning * Symbolic Model Checking * Solid background in logic * Temporal Logics and Property Specification Languages * Satisfiability Modulo Theory * Formal Specification and Analysis of Architectures -------------------------------------------------- Employment -------------------------------------------------- Type of contract: Fixed Term Contract (research profile CCPL) Gross annual salary: about € 39.300 Working hours: full time Start date: January 2019 End Date: December 2020 Workplace: Trento - Povo Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security, etc., reductions on bank account opening fees, public transportation, sport, language course fees. More info at https://www.welfarefbk.info/ -------------------------------------------------- Application -------------------------------------------------- Candidates must submit their application by clicking "Apply online" at the bottom of this page. Please make sure to enclose the following documents with your application (pdf format): * Detailed CV * Cover Letter (explaining your motivation for this specific position) * 3 professional references (e-mails and/or phone numbers) Application deadline: 20th December 2018 Please read our Regulations on the recruitment and selection of fixed-term personnel (effective from October 15, 2018) before completing your application. For further administrative information, please contact the Human Resources Services at jobs at fbk.eu For technical inquiries about the position, send an e-mail at es-info at fbk.eu -------------------------------------------------- The Embedded System Unit (ES Unit) -------------------------------------------------- The Embedded Systems Research Unit (ES Unit) of the Information and Communication Technology Center of the Bruno Kessler Foundation (FBK-irst), Trento, Italy consists of about 25 people, including researchers, post-docs, PhD students, Master Students, and programmers. The Unit carries out basic and applied research, tool development and technology transfer in the field of automated planning for different applicative contexts, and in the field of design and verification of embedded systems. Current research directions include: * Predictive maintenance by combining model based reasoning with machine learning approaches; * Formal Verification of complex embedded systems leveraging on model checking techniques; * Formal Safety Analysis, based on the integration of traditional and symbolic techniques. * Contract-based engineering and contract-based formal verification of aerospace systems using model checking techniques; * Formal contract-based verification relying on model checking techniques; * Formal Requirements Analysis based on temporal logic checks; * Satisfiability Modulo Theory, and its application to planning and scheduling, verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink, SCADE); * Model based planning and scheduling for robotic systems, for the management of autonomous vehicles, for drones to explore critical environment, factory automation, and for process optimizations (with applications in the field of Industry 4.0), leveraging model checking, satisfiability modulo theory, and combining explicit and symbolic search techniques; * Model based on-board autonomy for different vehicles (AUV, ROV) using planning and scheduling techniques; * Model based execution and monitoring of mission plans and assumptions under which the mission plan have been generated; * Model based recovery relying on planning and scheduling techniques. More information about the ES Unit is available at http://es.fbk.eu/. From akalenkova at gmail.com Thu Dec 13 10:20:16 2018 From: akalenkova at gmail.com (Anna Kalenkova) Date: Thu, 13 Dec 2018 10:20:16 +0100 Subject: Petri nets 2019 -- Call for papers Message-ID: *Call for Papers* - International Conference on Application and Theory of Petri Nets and Concurrency [*Petri nets2019*] Aachen/Germany, June 23-28, 2019 ******************************* *Petri Nets 2019* * Aachen, June 2019* www.petrinets2019.de ******************************* The 40th International Conference on Application and Theory of Petri Nets and Concurrency will take place in Aachen Germany in the last week of June 2019. The conference will be co-located with the 19th International Conference on Application of Concurrency to System Design (ACSD 2019). The conference will have several special events to celebrate the 40 year history of the conference. See http://www.petrinets2019.de/wp-content/uploads/2018/09/CfPPN-final-v1.pdf and http://www.petrinets2019.de/call-for-papers/ for the detailed call for papers and www.petrinets2019.de for general information about the conference. *Important Dates* Abstract Submission: January 16, 2019 Submission of Papers: January 22, 2019 Notification: March 1, 2019 Final Version: March 15, 2019 Participation in Tool Exhibition: June 1, 2019 Workshops & Tutorials: June 23-25, 2019 Main Conference June 26-28, 2019 The 40th annual international Petri Nets conference will be organized by the Process and Data Science (PADS) group at RWTH Aachen University, Aachen, Germany. The new PADS group was established in the context of Wil van der Aalst’s Alexander von Humboldt Professorship. The conference will take place in the conference area of the Tivoli football stadium close to the city center of Aachen. The language of the conference is English, and its proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science. Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are sought. All accepted regular papers will be considered for an “Outstanding Paper” award. Some of the best papers will be invited, in an extended form, as submissions to a special issue of a well-established computer science journal. *General Topics Related to Concurrency* Model checking and verification of distributed systems Verification of infinite-state or parametric systems Causality/partial order theory of concurrency Educational issues related to concurrency New developments in the theory of concurrency Modelling of hardware and biological systems *Topics Specific to Petri Nets* Analysis and synthesis, structure and behavior of nets System design and model-driven development using nets Relationships between Petri nets and other approaches Net-based semantical, logical and algebraic calculi Higher-level net models (colored nets, timed nets, etc.) Stochastic net models Verification and model checking using nets Process discovery and conformance checking Computer tools for nets Standardization of nets Experience reports describing applications of nets to different kinds of systems and application fields. *Paper Submission* Two kinds of papers can be submitted: Regular papers (max 20 pages) describing original results pertaining to the development of the theory of PetriNets and distributed and concurrent systems in general, new results extending the applicability of Petri Nets, or case studies, application and experience reports pertinent to the practical use of Petri Nets and concurrency. Tool papers (max 10 pages) describing a computer tool based on Petri Nets (not an application of the tool or the theory behind the tool). The tool should be available for use by other groups (but not necessarily for free). The submission should indicate how the reviewers can get access to the tool (this must be for free). The tool will be demonstrated in the Tool Exhibition, in addition to being presented in a conference talk. *Tool Exhibition* An exhibition of Petri Net tools will take place on Wednesday. It consists of informal demonstrations for small groups/individuals, and there are no scheduled talks. Requests for participation in the tool exhibition must be sent to the Tool Exhibition Chair by the deadline stated at the top of this Call for Papers. They should include a link to the web pages for the tool (or a short description of the tool). The demonstrators should bring their own laptops, while the organizers may be requested to give access to the Internet. *Courses, Workshops and Tutorials* The main conference takes place from Wednesday to Friday. The three days before the main conference also offer a wide range of activities. The Petri Net Course takes place from Sunday to Tuesday. It offers a thorough introduction to Petri Nets in four half-day modules on Sunday and Monday, and a full-day tutorial module on Tuesday. For successful participation in the entire course, including preparation and examination, three credit points (ECTS) will be awarded. Each module of the course can also be taken separately, without any credit. Workshops take place on Monday and Tuesday. On Tuesday there will be two tutorials on applications of Petri Nets and/or new developments presented by experts in the area. These tutorials can be followed independently or in combination with the Petri Net Course. Detailed descriptions of Workshops and Tutorials will be made available via the conference web pages. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Dec 13 10:20:16 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 13 Dec 2018 10:20:16 +0100 Subject: BigDat 2019: regular registration January 4 Message-ID: BigDat 2019: regular registration January 4*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   5th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2019   Cambridge, United Kingdom   January 7-11, 2019   Co-organized by:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://bigdat2019.irdta.eu/   ********************************************************   --- Regular registration deadline: January 4, 2019 ---   ********************************************************   SCOPE:   BigDat 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 four-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 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:   BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be:   University of Cambridge Department of Engineering Trumpington Street Cambridge CB2 1PZ   KEYNOTE SPEAKER:   Kenji Takeda (Director, Health and AI Partnerships, Microsoft Research), Big Data and AI - What's It Really Good for?   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications   Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function   Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications   Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Multi-source Big Data Fusion and Analytics   Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks   Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing   David Gerbing (Portland State University), [introductory] Data Visualization with R   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data   Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges   Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise   Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing – Concepts and Applications   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data 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 at irdta.eu by December 30, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. 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 at irdta.eu by December 30, 2018.   ORGANIZING COMMITTEE:   Chiara Paola Codebò (Genova) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Jeffrey Salmond (Cambridge) David Silva (London, co-chair) Filippo Spiga (Cambridge, co-chair) Richard E. Turner (Cambridge)   REGISTRATION:   It has to be done at   http://bigdat2019.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 approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the event website.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From info at signatur.dk Thu Dec 20 10:57:29 2018 From: info at signatur.dk (Info Signatur) Date: Thu, 20 Dec 2018 10:57:29 +0100 Subject: =?UTF-8?Q?Job_opportunity=3A_Professor_in_Logic_and_Artificial_I?= =?UTF-8?Q?ntelligence_at_DTU_Compute=E2=80=99s_Section_for_Algorithms=2C_Logic?= =?UTF-8?Q?_and_Graph_theory_=28AlgoLoG=29?= Message-ID: Professor in Logic and Artificial Intelligence DTU Compute’s Section for Algorithms, Logic and Graph theory (AlgoLoG), invites applications for a position as Professor of Logic and Artificial Intelligence. The AlgoLoG Section consists of a group of leading researchers in foundations of computer science and discrete mathematics. The group covers core areas in theoretical computer science with connections to pure mathematics as well as to applied areas and industry and basic research in discrete mathematics. Our focus areas are algorithms, logic, and graph theory. Core areas of research are structuring, indexing, searching, and interpreting Big Data, logic-based verification and model synthesis*,* logical foundations of multi-agent systems, and investigating structural properties of graphs and their influence on algorithmic efficiency. DTU Compute wishes to strengthen its activities in Artificial Intelligence (AI) with focus on logic-based techniques and its applications to problems such as automated planning, knowledge representation/reasoning, and social intelligence. Furthermore, the department wishes to strengthen the public understanding of AI, the understanding of how it works its strength and weaknesses, and its impact on society. The professor will be affiliated with the Algorithms, Logic and Graphs section (AlgoLoG) of the department and is expected to interact closely with the other faculty members of the section as well as relevant faculty members of the other sections at the department. Responsibilities and tasks The position covers research, research-based teaching, and research-based public outreach activities within logic and AI. The successful applicant will have the responsibility to strengthen the research in symbolic AI at the department, as well as the integration of symbolic AI with other approaches to AI such as statistical learning. The successful candidate is furthermore expected to: - Initiate and develop research collaboration within the section, within the department, nationally and internationally -Initiate and develop cross-disciplinary research, e.g. combining logic-based AI with other areas of AI, with its mathematical foundations or by investigating the ethical, philosophical, legal or societal aspects of AI -Be visionary in the development of new research fields and alliances -Develop and conduct excellent teaching within logic and AI at all levels at the department, including continuing education activities -Be visionary in the development of new curriculum and teaching activities - Develop and conduct teaching based on state-of-the-art within higher education research -Engage in excellent research communication at all levels, including public outreach to the general public, outreach activities to specialised audiences, and invited talks at international research conferences -Do teaching and outreach activities that combine technical aspects of AI with its ethical, philosophical and societal aspects. -Organise national and international conferences and other activities to stimulate industrial collaboration, research collaboration and general international interest and visibility. The successful candidate is expected to take a lead role in teaching at the BSc, MSc, and PhD levels. For international candidates, DTU can provide Danish language courses enabling the candidates to teach in Danish within 2-3 years. Qualifications Successful candidates must document: -Significant original scientific output at a high international level -Cross-disciplinary research collaboration -Research experience ranging from basic research to industrial applications - Significant experience in organising academic conferences as well as public outreach events -Significant experience in successful research dissemination at a wide range of levels and to a wide range of audiences within and outside academia -Significant experience in the teaching and development of new courses, including the development of high-quality course material -The ability to successfully motivate and engage students and spread enthusiasm - Significant experience in the supervision of students at BSc, MSc, and PhD level -The ability to interact with non-experts within the technical area of the position as well as its societal aspects Assessment In the assessment of the candidates, consideration will be given to: -Documented experience and quality of teaching and curriculum development -Research impact and experience, funding track record and research vision -Societal impact -Documented innovation activities, including commercialization and collaboration with industry -International impact and experience -Leadership and collaboration -Communication skills Consideration will also be given to: -Experience, quality, and breadth in public outreach activities -Quality and breadth in research communication -Experience in cross-disciplinary research We offer DTU is a leading technical university globally recognized for the excellence of its research, education, innovation and scientific advice. We offer a rewarding and challenging job in an international environment. We strive for academic excellence in an environment characterized by collegial respect and academic freedom tempered by responsibility. Salary and terms of employment The appointment will be based on the collective agreement with the Danish Confederation of Professional Associations. The allowance will be agreed upon with the relevant union. Further information Further information may be obtained from Head of Department Per B. Brockhoff tel.: +45 4525 6533, perbb at dtu.dk. You can read more about DTU Compute at www.compute.dtu.dk. Application procedure Please submit your online application no later than 15 January 2019 (local time). Apply online at www.career.dtu.dk. To apply, please open the link "Apply online", fill out the online application form. The following must be attached in English*:* -Application (cover letter) addressed to the President -CV -A vision for future research -Teaching and research statement, with a focus on the “Assessment” bullet points listed above - Documentation of previous teaching and research, as related to the “Assessment” bullet points listed above -List of publications indicating scientific highlights -H-index, and ORCID (see e.g. http://orcid.org/) -Diploma (MSc/PhD) Applications and enclosures received after the deadline will not be considered. All interested candidates irrespective of age, gender, disability, race, religion or ethnic background are encouraged to apply. *DTU Compute has a total staff of 400 including 100 faculty members and 130 PhD students. We offer introductory courses in mathematics, statistics, and computer science to all engineering programmes at DTU and specialised courses to the mathematics, computer science, and other programmes. We offer continuing education courses and scientific advice within our research disciplines, and provide a portfolio of innovation activities for students and employees.* *DTU is a technical university providing internationally leading research, education, innovation and scientific advice. Our staff of 6,000 advance science and technology to create innovative solutions that meet the demands of society, and our 11,200 students are being educated to address the technological challenges of the future. DTU is an independent academic university collaborating globally with business, industry, government and public agencies. * -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mihaela.rozman at tuwien.ac.at Thu Dec 20 10:57:29 2018 From: mihaela.rozman at tuwien.ac.at (Mihaela Rozman) Date: Thu, 20 Dec 2018 10:57:29 +0100 Subject: Call for Nominations: VCLA International Student Awards 2019 - Logic and Computer Science References: <007a01d496c2$cb0bb170$61231450$@tuwien.ac.at> <008a01d496c2$dac03b40$9040b1c0$@tuwien.ac.at> <051801d496ce$8d894540$a89bcfc0$@tuwien.ac.at> Message-ID: The Vienna Center for Logic and Algorithms (VCLA) at TU Wien seeks nominations for the VCLA International Student Awards 2019. The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Logic and Computer Science. Final Submission Deadline: 15.3.2019 AWARD *Outstanding Master Thesis Award: 1200 EUR *Outstanding Undergraduate Research (Bachelor) Award: 800 EUR *The winners will be invited to present their work at an award ceremony in Vienna, Austria. ELIGIBILITY *The degree must have been awarded between November 15th, 2017, and December 31st, 2018, (inclusive). *Students who obtained their degree at TU Wien are excluded from the nomination. MAIN AREAS OF INTEREST *Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, algorithmic lower and upper bounds, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics), computational complexity and algorithms (complexity analysis, parameterized and exact algorithms, decomposition methods). *Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning). *Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems. NOMINATION REQUIREMENTS *For nomination instructions, please visit https://logic-cs.at/award-call-2019/ *Kindly address all inquiries to award at logic-cs.at IMPORTANT DATES *Final submission deadline: March 15, 2019 (AoE) *Notification of decision: end of June 2019 *Award ceremony: September 2019, Vienna (Austria) AWARD COMMITTEE 2019 To be announced in January 2019. For the VCLA Award Committee 2018 see: http://www.vcla.at/vcla-awards/ *Robert Ganian (committee co-chair) *Magdalena Ortiz (general chair) *Revantha Ramanayake (committee co-chair) IN MEMORIAM The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas. RECIPIENTS OF THE VCLA INTERNATIONAL STUDENT AWARDS http://www.vcla.at/vcla-awards/ Please feel free to distribute as appropriate. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Dec 20 10:57:29 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 20 Dec 2018 10:57:29 +0100 Subject: Robotic 2019: early registration December 31st Message-ID: Robotic 2019: early registration December 31st*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *****************************************************   INTERNATIONAL SPRING SCHOOL ON ROBOTICS   Robotic 2019   Bucharest, Romania   April 8-12, 2019   Co-organized by:   University Politehnica of Bucharest   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://robotic2019.irdta.eu/   ********************************************************   --- Early registration deadline: December 31st, 2018 ---   ********************************************************   SCOPE:   Robotic 2019 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 robotics, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on engineering, medicine, science, business models, and daily life. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most robotics subareas will be displayed, namely the conception, design, manufacturing and operation of robots. This involves addressing their sensing capabilities, manipulation, locomotion, interaction with the environment, interaction with humans, control, etc. The field is multidisciplinary at the crossroads of artificial intelligence, engineering, electronics, mechatronics, bioengineering and nanotechnology. Major challenges of robotics will be identified through 2 keynote lectures, 20 five-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Graduate 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, Robotic 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:   Robotic 2019 will take place in Bucharest, the centre of Romanian economy, culture, and art. The venue will be:   University Politehnica of Bucharest Splaiul Independenţei nr. 313 Sector 6, Bucharest   KEYNOTE SPEAKERS:   Andrew A. Goldenberg (Engineering Services Inc. Toronto), Bridging between AI and Robotics for Business & Product Development   Mohan M. Trivedi (University of California, San Diego), tba   PROFESSORS AND COURSES:   Jorge Angeles (McGill University), [intermediate] Kinematics of Multibody Systems   Sylvain Calinon (Idiap Research Institute), [intermediate] Statistical, Geometrical and Dynamical Representations of Movements in Robots   Yi Chao (University of California, Los Angeles), [introductory] Underwater Robotics   Raja Chatila (Pierre et Marie Curie University), [introductory] Ethics in Robotics and AI   Gamini Dissanayake (University of Technology Sydney), [introductory/intermediate] Robot Localisation, Mapping and SLAM   Baris Fidan (University of Waterloo), [intermediate/advanced] Robotic Network Localization and Formation Control   Michael Jenkin (York University), [introductory/intermediate] Computational Tasks in Autonomous Systems   Norbert Krüger (University of Southern Denmark), [introductory] The Human Visual System as a Model for a Deep Neural Net   Ales Leonardis (University of Birmingham), [introductory/intermediate] Robot Vision   Anthony A. Maciejewski (Colorado State University), [introductory/intermediate] Kinematically Redundant Robots: The Promise of Human-like Dexterity   Shimon Y. Nof (Purdue University), [introductory/intermediate] Cyber-augmented Collaborative Robotics   Stefano Nolfi (Institute of Cognitive Sciences and Technologies – CNR), [introductory/intermediate] Evolutionary Robotics   Wilfrid Perruquetti (École Centrale de Lille), [introductory/intermediate] Path Planning/Tracking of Wheeled Mobile Robots   Jan Peters (Technical University of Darmstadt), [introductory/advanced] Robot Learning   José Santos-Victor (Instituto Superior Técnico), [introductory/advanced] Biological and Computational Vision   Richard Satava (University of Washington), [introductory/intermediate] Robotic Surgery and Beyond: Near and Far Future Technologies and Training   Dan Stoianovici (Johns Hopkins University), [introductory/intermediate] Medical Robotics   Garnette Sutherland (University of Calgary), [intermediate] Image Guided Robotic Surgery   Michael Y. Wang (Hong Kong University of Science and Technology), [intermediate/advanced] Soft Robotics   Simon Yang (University of Guelph), [introductory/advanced] Biologically Inspired Robotics   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 at irdta.eu by March 31, 2019.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical developments in robotics. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. Expressions of interest have to be submitted to david at irdta.eu by March 31, 2019.   EMPLOYER SESSION:   Firms searching for personnel well skilled in robotics 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. Expressions of interest have to be submitted to david at irdta.eu by March 31, 2019.   ORGANIZING COMMITTEE:   Corneliu Burileanu (Bucharest, co-chair) Nicolae Georgian (Bucharest) Sara Morales (Brussels) Anna Neacsu (Bucharest) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://robotic2019.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 approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available on the event website.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   University Politehnica of Bucharest   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From akalenkova at gmail.com Thu Dec 20 10:57:29 2018 From: akalenkova at gmail.com (Anna Kalenkova) Date: Thu, 20 Dec 2018 10:57:29 +0100 Subject: MacsPro 2019 -- Call for papers Message-ID: *MacsPro'2019 (Modeling and Analysis of Complex Systems and Processes) *conference will be held on *March 21-23, 2019 *in Vienna. http://macspro.club Application deadline*: 15 January 2019 *on EasyChair. The topics include, but are not limited to: · Big data analytics · Business processes modeling and analysis · Distributed ledger technologies and blockchain · Fuzzy Multi-Criteria Decision Making · Machine learning algorithms and applications · Multi-agent systems · Process mining · Software testing and verification · Simulation modeling · Visual analysis of complex structures One can choose between two types of submissions: full papers (up to 12 pages, Springer LNCS style), or short papers (max 6 pages) for posters or demo session. Please use the EasyChair system to submit a paper: https://easychair.org/conferences/?conf=macspro2019. The proceedings of the conference will be published online through CEUR Workshop Proceedings service, CEUR-WS.org. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tsd2019 at tsdconference.org Thu Dec 20 10:57:29 2018 From: tsd2019 at tsdconference.org (TSD 2019) Date: Thu, 20 Dec 2018 10:57:29 +0100 Subject: TSD 2019 - First Call for Papers Message-ID: ************************************************************************** TSD 2019 - FIRST CALL FOR PAPERS ************************************************************************** The twenty-second International Conference on TEXT, SPEECH and DIALOGUE (TSD 2019) Ljubljana, Slovenia September 10-13, 2019 http://www.tsdconference.org TSD HIGHLIGHTS * Invited speakers: Denis Jouvet (Loria, Nancy, France), and more to come. * TSD is traditionally published by Springer-Verlag and regularly listed in all major citation databases: Thomson Reuters Conference Proceedings Citation Index, DBLP, SCOPUS, EI, INSPEC, COMPENDEX, etc. * TSD offers a high-standard transparent review process - double blind, final reviewers' discussion. * TSD is going to take place in the beautiful centre of Ljubljana, the capital of Slovenia. * The conference is organized in cooperation with the Faculty of Electrical Engineering, University of Ljubljana, Slovenia. * TSD provides an all-service package (conference access and material, all meals, one social event, etc.) for an easily affordable fee. PRELIMINARY DATES March 31, 2019 ............... Deadline for submission of contributions May 10, 2019 ................. Notification of acceptance or rejection May 31, 2019 ................. Deadline for submission of camera-ready papers September 10-13, 2019 ........ TSD2019 conference date The proceedings will be provided on flash drives in form of navigable content. Printed books will be available for extra fee. TSD SERIES The TSD series has evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of the TSD conference form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. The TSD proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC, or COMPENDEX. TOPICS Topics of the 22nd conference will include (but are not limited to): Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modeling). Corpora and Language Resources (monolingual, multilingual, text, and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries). Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing). Tagging, Classification and Parsing of Text and Speech (multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution). Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection). Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies). Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues). Multimodal Techniques and Modeling (video processing, facial animation, visual speech synthesis, user modeling, emotion and personality modeling). PROGRAMME COMMITTEE All programme committee members are listed on the conference web pages https://www.kiv.zcu.cz/tsd2019/index.php?page=committees OFFICIAL LANGUAGE The official language of the event is English, however, papers on issues related to text and speech processing in languages other than English are strongly encouraged. LOCATION Ljubljana, the Slovenian capital - a city, whose name means `The beloved', is a great place to visit, although you will not find world renowned attractions here. Nevertheless, it has history, tradition, style, arts & culture, an atmosphere that is both Central European and Mediterranean; many also add the adjectives multilingual and hospitable. Being close to many of the major sights and attractions of Slovenia, Ljubljana can also be your starting point to discover the country's diversity. Ljubljana is situated about halfway between Vienna and Venice. Its character and appearance have been shaped by diverse cultural influences and historical events. While in winter it is remarkable for its dreamy Central European character, it is the relaxed Mediterranean feel that stands out during summer. Ljubljana is a picturesque city full of romantic views, with a medieval castle towering over its historical city centre and a calm river spanned by a series of beautiful bridges running right through it. It's a city with a medieval heart, a city of the Baroque and Art Nouveau, with an old castle resting above it like a sleeping beauty. In Ljubljana eastern and western cultures met; and the Italian concept of art combined with the sculptural aesthetics of Central European cathedrals. The city owes its present appearance partly to Italian baroque and partly to Art Nouveau, which is the style of the numerous buildings erected immediately after the earthquake of 1895. The central point of interest in Ljubljana is the Ljubljana Castle, watching over the city from the centrally located castle hill. The beginnings of the medieval castle go back to the 9th century, although the castle building is first mentioned only in 1144. It gained its present image after the earthquake of 1511 and following further renovations at the beginning of the 17th century. At present, a funicular connects the Old Town to the castle hill, adding an even more convenient access alternative to the tourist train. Ljubljana lies at the centre of Slovenia. In the morning you can visit the stunningly beautiful Lake Bled, Lake Bohinj or Soca Valley in the high mountainous region of the Alps, and in the evening enjoy the sunset in one of the charming little towns on the Adriatic coast. It only takes minutes to reach the peaceful and unspoiled countryside of the city's green surrounding areas, which offer endless opportunities for hiking, cycling, fishing and horse riding. We are very excited of the fact that the TSD conference leaves the Czech Republic for the first time within its 22-year history and that the TSD2019 is going to take place in such a wonderful location as Ljubljana. ABOUT CONFERENCE The conference is organized by the Faculty of Applied Sciences, University of West Bohemia, Pilsen, the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Electrical Engineering, University of Ljubljana. VENUE Faculty of Electrical Engineering - University of Ljubljana Trzaska cesta 25 SI-1000 Ljubljana CONTACT The preferred way of contacting the conference organizing committee is writing an e-mail to: Ms Lucie Tauchenova, TSD2019 Conference Secretary E-mail: tsd2019 at tsdconference.org Phone: +420 702 994 699 All paper correspondence regarding the conference should be addressed to: TSD2019 - NTIS P2 Fakulta aplikovanych ved Zapadoceska univerzita v Plzni Univerzitni 8 CZ-306 14 Plzen Czech Republic Fax: +420 377 632 402 - Please, mark the faxed material with large capitals 'TSD' on top. TSD2019 conference web site: http://www.tsdconference.org/ From irdta at irdta.eu Thu Dec 27 10:14:38 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 27 Dec 2018 10:14:38 +0100 Subject: AlCoB 2019: 3rd call for papers Message-ID: AlCoB 2019: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 6th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2019   Berkeley, California, USA   May 28-30, 2019   Co-organized by:   University of California, Berkeley   Institute for Research Development, Training and Advice, Brussels/London   http://alcob2019.irdta.eu/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, and Hong Kong.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2019 will take place in Berkeley, home to the oldest campus in the highly prestigious University of California system. The venue will be:   University of California, Berkeley   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2019 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   Igor Jurisica (University of Toronto), Explanable AI for Data-driven Medicine   Lior Pachter (California Institute of Technology), Algorithms for Single-cell Genomics   Pavel A. Pevzner (University of California, San Diego), Bioinformatics: A Servant or the Queen of Molecular Biology?   Teresa Przytycka (National Center for Biotechnology Information), tba   Tandy Warnow (University of Illinois, Urbana-Champaign), Advances in Mathematical Approaches to Constructing the Tree of Life   PROGRAMME COMMITTEE:   Can Alkan (Bilkent University, TR) Stephen Altschul (National Center for Biotechnology Information, US) Philipp Bucher (Swiss Institute for Experimental Cancer Research, CH) Ken Chen (MD Anderson Cancer Center, US) Keith A. Crandall (George Washington University, US) Colin Dewey (University of Wisconsin, Madison, US) Eytan Domany (Weizmann Institute of Science, IL) Robert Edgar (independent, US) Dmitrij Frishman (Technical University of Munich, DE) Susumu Goto (Research Organization of Information and Systems, JP) Desmond Higgins (University College Dublin, IE) Karsten Hokamp (Trinity College Dublin, IE) Ian Holmes (University of California, Berkeley, US) Fereydoun Hormozdiari (University of California, Davis, US) Daniel Huson (University of Tübingen, DE) Martijn Huynen (Radboud University Medical Centre, NL) Peter Karp (SRI International, US) Kazutaka Katoh (Osaka University, JP) Anders Krogh (University of Copenhagen, DK) Doron Lancet (Weizmann Institute of Science, IL) Alla Lapidus (Saint Petersburg State University, RU) Ming Li (University of Waterloo, CA) Gerard Manning (Genentech, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David H. Mathews (University of Rochester Medical Center, US) Aaron McKenna (University of Washington, US) Jason Rafe Miller (Shepherd University, US) Aleksandar Milosavljevic (Baylor College of Medicine, US) Yasukazu Nakamura (National Institute of Genetics, JP) Zemin Ning (Wellcome Trust Sanger Institute, UK) William Stafford Noble (University of Washington, US) Sandra Orchard (European Bioinformatics Institute, UK) William Pearson (University of Virginia, US) Matteo Pellegrini (University of California, Los Angeles, US) Mihaela Pertea (Johns Hopkins University, US) Steve Rozen (Duke-NUS Medical School, SG) David Sankoff (University of Ottawa, CA) Russell Schwartz (Carnegie Mellon University, US) Wing-Kin Sung (National University of Singapore, SG) Alfonso Valencia (Barcelona Supercomputing Centre, ES) Arndt von Haeseler (Center for Integrative Bioinformatics Vienna, AT) Kai Wang (Children's Hospital of Philadelphia, US)   ORGANIZING COMMITTEE:   Ian Holmes (Berkeley, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=alcob2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI 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://alcob2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: January 12, 2019 Notification of paper acceptance or rejection: February 19, 2019 Final version of the paper for the LNCS/LNBI proceedings: February 26, 2019 Early registration: February 26, 2019 Late registration: May 14, 2019 Submission to the journal special issue: August 30, 2019   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGEMENTS:   University of California, Berkeley   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leon.vandertorre at uni.lu Thu Dec 27 10:14:38 2018 From: leon.vandertorre at uni.lu (Leon VAN DER TORRE) Date: Thu, 27 Dec 2018 10:14:38 +0100 Subject: Postdoc position in Social/Autonomous Robotics at the University of Luxembourg Message-ID: The University of Luxembourg invites applications for a *Postdoc position in Social/Autonomous Robotics (M/F) * * * in the Computer Science and Communications Research Unit of the Faculty of Science, Technology and Communication (FSTC). * Ref: Postdoc F1-110044 AI Robolab * Duration: 24 months initial contract, extendable by 6 months, full-time (40h/week). * Start: Early 2019. Your Role The AI RoboLab, headed by Prof. Leon van der Torre, is seeking an outstanding postdoc to strengthen its research team in the area of AI-based robotics contributing to our vision of developing and deploying autonomous robots able to meaningfully interact with and assist humans. The application areas of interest include social robotics and robotics for healthcare and education. The postdoc is expected to pursue state of the art research activities in social robotics, write research proposals, assist in supervision, teaching and public dissemination activities of AI-Robolab and collaborate with local spin-offs. Your Profile * PhD in any discipline relevant to this area of research * Expertise in autonomous / social robotics * Experience in writing successful research proposals. * Experience in managing research projects as well as hands on experience with robotic software. * Fluent written and verbal communication skills in English. * Commitment, creativity, and teamwork skills. We offer * The salary is very competitive. * You will work in a stimulating international and interdisciplinary environment. * The University of Luxembourg is an equal opportunity employer. Further Information Please prepare the following documents in English : * send a detailed CV (contact address, studies with grades, work experience, publication list), * an abstract of your thesis, * a list of 3 referees, * a motivation letter, * a description of possible research interests/ideas Further Information Applications are processed until the vacancy is filled. Please apply ONLINE by December 31st, 2018. http://emea3.mrted.ly/20j0g Early submission is encouraged ; applications will be processed upon arrival. Applications sent by e-mail will not be considered. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: