[UAI] New MSc course: EXtended Artificial Intelligence (XtAI)

[Extended Artificial Intelligence Contact]

The University of Würzburg, Germany, and the Center for Artificial  
Intelligence and Data Science (CAIDAS) now offer a new, specialized  
Master's course "eXtended Artificial Intelligence".


The tuition-free course focuses on the design and development of  
complex AI systems, with an emphasis on combining AI with extended  
(virtual and augmented) reality.


A brief overview of XtAI can be found in the flyer:
https://go.uniwue.de/xtaiflyer

For more detailed information and requirements, please visit:
https://go.uniwue.de/xtai

The application period for winter semester 2022/23 has already started  
and runs until the 15th of March.


Forwarding this message to interested students is much appreciated.

Kind regards,
XtAI

___
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai

[UAI] CFP: PAIR2Struct: Privacy, Accountability, Interpretability, Robustness, Reasoning on Structured Data @ICLR 2022

[Di Wang]

PAIR2Struct: Privacy, Accountability, Interpretability, Robustness,
Reasoning on Structured Data @ICLR 2022

*https://pair2struct-workshop.github.io/*



IMPORTANT DATES:

*Submission deadline:* February 26, 2022 at 12:00 AM UTC

*Author notifications:* March 26, 2022

*Workshop:* April 29, 2022, virtually

**

*OVERVIEW*

In these years, we have seen principles and guidance relating to
accountable and ethical use of artificial intelligence (AI) spring up
around the globe. Specifically, Data *P*rivacy, *A*ccountability, *I*
nterpretability, *R*obustness, and *R*easoning have been broadly recognized
as fundamental principles of using machine learning (ML) technologies on
decision-critical and/or privacy-sensitive applications. On the other hand,
in tremendous real-world applications, data itself can be well represented
as various structured formalisms, such as graph-structured data (e.g.,
networks), grid-structured data (e.g., images), sequential data (e.g.,
text), etc. By exploiting the inherently structured knowledge, one can
design plausible approaches to identify and use more relevant variables to
make reliable decisions, thereby facilitating real-world deployments.

In this workshop, we will examine the research progress towards accountable
and ethical use of AI from diverse research communities, such as the ML
community, security & privacy community, and more. Specifically, we will
focus on the limitations of existing notions on *P*rivacy, *A*
ccountability, *I*nterpretability, *R*obustness, and *R*easoning. We aim to
bring together researchers from various areas (e.g., ML, security &
privacy, computer vision, and healthcare) to facilitate discussions
including related challenges, definitions, formalisms, and evaluation
protocols regarding the accountable and ethical use of ML technologies in
high-stake applications with structured data. In particular, we will
discuss the *interplay* among the fundamental principles from theory to
applications. We aim to identify new areas that call for additional
research efforts. Additionally, we will seek possible solutions and
associated interpretations from the notion of causation, which is an
inherent property of systems. We hope that the proposed workshop is
fruitful in building accountable and ethical use of AI systems in practice.

*CALL FOR PAPERS*

All submissions are due by Feb 26 '22 12:00 AM UTC.

*Topics include but are not limited to:*

• Privacy-preserving machine learning methods on structured data (e.g.,
graphs, manifolds, images, and text).
• Theoretical foundations for privacy-preserving and/or explainability of
deep learning on structured data (e.g., graphs, manifolds, images, and
text).
• Interpretability and accountability in different application domains
including healthcare, bioinformatics, finance, physics, etc.
• Improving interpretability and accountability of black-box deep learning
with graphical abstraction (e.g., causal graphs, graphical models,
computational graphs).
• Robust machine learning methods via graphical abstraction (e.g., causal
graphs, graphical models, computational graphs).
• Relational/graph learning under robustness constraints (robustness in
face of adversarial attacks, distribution shift, environment changes, etc.).

*Paper submissions:* To format your paper for submission please use the main
conference LaTeX style files
.
The workshop has a strict maximum page limit of 5 pages for the main text
and 3 pages for the supplemental text. Citations may use additional,
unlimited pages.

*Submission page:* ICLR 2022 PAIR2Struct Workshop
.

Please note that ICLR policy states: "Workshops are not a venue
for work that has been previously published in other conferences on machine
learning. Work that is presented at the main ICLR conference should not
appear in a workshop."

*Submission deadline:* February 26, 2022 at 12:00 AM UTC

*Author notifications:* March 26, 2022

*Workshop:* April 29, 2022
___
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai

[UAI] [Announcements] IJCAI-22 Awards: Call for Nominations

[Vesna Sabljakovic-Fritz via Announcements]

IJCAI calls for nominations for its 2022 awards. These awards include 
the Computer and Thought Award, the John McCarthy Award, and the 
Research Excellence Award. The 2022 IJCAI Award Committee Chair is 
Professor Maria Gini, University of Minnesota, USA.


Nominations for IJCAI awards may be made by any member of the AI 
community.  Nominations should take the form of a **single** PDF 
document, uploaded to the relevant nomination website (see below). The 
nomination on the first page should state the name of the candidate 
being nominated, their email address and website (if available), and the 
name and contact details of the nominator. The nomination should contain 
a statement (no more than 2000 words) clearly specifying why the nominee 
is deserving of the award.  The nomination should contain letters of 
support from up to 3 supporters from the AI community, who should also 
clearly state why they believe the nominee is deserving of the award 
(each supporting statement should be no more than 1000 words and should 
identify the supporter).


Nominations must be uploaded no later than March 21, 2022 at the 
relevant nomination web site:


Computers and Thought nomination site:  
https://forms.gle/r8nB7NQyFq3D6kTC6


John McCarthy nomination site: https://forms.gle/GbWMsfJwKn44QeAx9

Research Excellence nomination site: https://forms.gle/vjHBQ5zsyEtLAUP6A

Nominations received after this date will not be considered. Informal 
enquiries or requests for clarification should be sent to the chair of 
the IJCAI-2022 awards committee: Maria Gini  (subject 
line: "IJCAI 2022 Awards").


Details on the awards and previous winners

IJCAI-22 Computers and Thought Award

The Computers and Thought Award is presented at IJCAI conferences to 
outstanding young scientists in artificial intelligence. The award was 
established with royalties received from the book, Computers and 
Thought, edited by Edward Feigenbaum and Julian Feldman. It is currently 
supported by income from IJCAI funds. Past recipients of this honor have 
been: Terry Winograd (1971), Patrick Winston (1973), Chuck Rieger 
(1975), Douglas Lenat (1977), David Marr (1979), Gerald Sussman (1981), 
Tom Mitchell (1983), Hector Levesque (1985), Johan de Kleer (1987), 
Henry Kautz (1989), Rodney Brooks (1991), Martha Pollack (1991), Hiroaki 
Kitano (1993), Sarit Kraus (1995), Stuart Russell (1995), Leslie 
Kaelbling (1997), Nicholas Jennings (1999), Daphne Koller (2001), Tuomas 
Sandholm (2003), Peter Stone (2007), Carlos Guestrin (2009), Andrew Ng 
(2009), Vincent Conitzer (2011), Malte Helmert (2011), Kristen Grauman 
(2013), Ariel Procaccia (2015), Percy Liang (2016), Devi Parikh (2017) 
and Stefano Ermon (2018), Guy Van den Broeck (2019), Piotr Skowron 
(2020) and Fei Fang (2021).






IJCAI-22 John McCarthy Award

The IJCAI John McCarthy Award is intended to recognize established 
mid-career researchers, typically between 15 to 25 five years after 
obtaining their Ph.D., that have built up a major track record of 
research excellence in artificial intelligence. Nominees of the award 
will have made significant contributions to the research agenda in their 
area and will have a first-rate profile of influential research results. 
The award is named after John McCarthy (1927-2011), who is widely 
recognized as one of the founders of the field of artificial 
intelligence. As well as giving the discipline its name, McCarthy made 
fundamental contributions of lasting importance to computer science in 
general and artificial intelligence in particular, including 
time-sharing operating systems, the LISP programming languages, 
knowledge representation, common-sense reasoning, and the logicist 
paradigm in artificial intelligence.  The award was established with the 
full support and encouragement of the McCarthy family. Past recipients 
of this honor have been: Bart Selman (2015), Moshe Tennenholtz (2016), 
Dan Roth (2017), Milind Tambe (2018), Pedro Domingos (2019), Daniela Rus 
(2020) and Tuomas Sandholm (2021).


IJCAI-22 Award for Research Excellence

The Research Excellence award is given to a scientist who has carried 
out a program of research of consistently high quality throughout an 
entire career yielding several substantial results. Past recipients of 
this honor are the most illustrious group of scientists from the field 
of Artificial Intelligence.  Past recipients are John McCarthy (1985), 
Allen Newell (1989), Marvin Minsky (1991), Raymond Reiter (1993), 
Herbert Simo(1995), Aravind Joshi (1997), Judea Pearl (1999), Donald 
Michie (2001), Nils Nilsson (2003), Geoffrey E. Hinton (2005), Alan 
Bundy (2007), Victor Lesser (2009), Robert Anthony Kowalski (2011), 
Hector Levesque (2013), Barbara Grosz (2015), Michael I. Jordan (2016), 
Andrew Barto (2017) and Jitendra Malik (2018), Yoav Shoham (2019), 
Eugene Charles Freuder (2020) and Richard Sutton (2021).


Information available at https://www.ijcai.org/awards




--
Vesna Sabljakovic-Fritz

[UAI] [Call For Participation] IEEE PerCom 2022

[Mirko Nardi]

[Apologies if you receive multiple copies of this message]

==



*

*   The 20th International Conference on Pervasive Computing and

*   Communications (PerCom 2022), March 21-25, 2022

*   Pisa, Italy (virutal)

*   http://www.percom.org

*



*

* FREE REGISTRATIONS FOR STUDENTS

*   IEEE PerCom 2022 is delighted to offer 100 student FREE registrations,

*   based on a First-Come-First-Served basis. Please refer to the section

*   "Free registrations for students" in the registration instructions page

*   for details http://www.percom.org/registration/

*



*

* FULL PROGRAM PUBLISHED

*   http://www.percom.org/full-program/

*   Pisa, Italy (virtual) March 21 - 25, 2022

*

* Highlights:

*   Two keynote speeches

*   19 Full Papers and 5 Concise Contributions - see below

*   1 Panel session

*   Best Papers Session

*   2 Work-in-Progress Panels Sessions

*   Industry session

*   Demonstration Session

*   PhD Forum

*   17 Workshops - see http://www.percom.org/list-of-workshops/

*

* Program Outline

*   March 22: Pre-conference Workshops

*   March 22-24: Main Conference

*   March 22-23: Keynotes

*   March 24: Panel

*   March 22 - 24: Industry, Demo and WiP sessions

*   March 22: Best Papers Session, PhD Forum

*   March 26: Post Conference Workshops

*



*

Keynote 1



Date: 22 March @14.30 CET

Title: Engineering the New Fabric of the Distributed Compute Continuum

Speaker: Prof. Schahram Dustdar, TU Wien, Austria

*



*

Keynote 2



Date: 23 March @14.30 CET

Title: One Robot for Every Task

Speaker: Prof. Daniela Rus, MIT, USA

*



*

Panel



Date: 24 March @14.30 CET

Title: "Pervasive Autonomy: Humans-in-the-Loop, or Forget-about-Them?"

Panel Chair: Prof. Franco Zambonelli, Università di Modena e Reggio Emilia,
Italy

Panelists:

   Prof. Virginia Dignum, Umea University, Sweden

   Prof. Jeremy Pitt, Imperial College London, UK

   Prof. Giovanni Sartor, University of Bologna, Italy

   Prof. Gregor Schiele, Universität Duisburg-Essen, Germany

*



PerCom is the premier annual scholarly venue in pervasive computing

and communications. Pervasive computing has found its way into many

commercial systems due to tremendous advances in a broad spectrum

of technologies and topics such as wireless networking, mobile and

distributed computing, sensor systems, ambient intelligence, and

smart devices.



Out of 811 ranked conferences, the CORE 2021 conference ranking

assessment positioned PerCom in the top 7% of academic conferences and

receiving the highest-ranking assessment of A*.

Source: http://portal.core.edu.au/conf-ranks/669/



The single-track main program includes the latest research in the

various field of pervasive and mobile computing, featuring 8 sessions on

machine learning, multimedia, healthcare, smart cities, IoT, sensing,

crowdsensing, privacy, activity recognition.



This year's program includes two keynote talks by

Prof. Schahram Dustdar (TU Wien, Austria) and Prof. Daniela Rus (MIT, USA)

and one Panel, chaired by Prof. Franco Zambonelli, University of Modena and
Reggio Emilia, Italy

on cutting-edge PerCom topics.



Work-in-proress panels, an industry session, demonstrations and a PhD forum
complete

this year's technical program.



IEEE PerCom 2022 also features 17 workshops spread on the pre-conference
and post-conference days,

on March 21st and 25th, respectively.



Detailed program: http://www.percom.org/full-program/



Registration: http://www.percom.org/registration/



Due to the persistent pandemic conditions, the conference will take place

as a virtual event, supported through Whova and Zoom.

Detailed instructions for participants will be posted at percom.org



For any additional information feel free to contact the

General Chairs at percom2...@iit.cnr.it
___
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai

[UAI] Call for Papers - International Workshop on Data Management and Analytics for Medicine and Healthcare (DMAH 2022)

[GANG LUO]

   -- Call for Papers --   

   The Eighth International Workshop on Data Management and Analytics 
for Medicine and Healthcare (DMAH 2022) 
   In Conjunction with VLDB 2022
Sydney, Australia  - virtual event
 September 9, 2022
  https://sites.google.com/view/vldbdmah2022/
  
The format of the workshop is to be decided, but a virtual format will be 
provided for remote participation. 

Healthcare enterprises are producing large amounts of data through electronic
medical records, medical imaging, health insurance claims, surveillance, and 
others. Such data have high potential to transform current healthcare to 
improve healthcare quality and prevent diseases, and advance biomedical 
research. Medical Informatics is an interdisciplinary field that studies 
and pursues the effective use of medical data, information, and knowledge 
for scientific inquiry, problem solving and decision making, driven by efforts
to improve human health and well being.

The goal of the workshop is to bring people in the field cross-cutting 
information management and medical informatics to discuss innovative data 
management and analytics technologies highlighting end-to-end applications, 
systems, and methods to address problems in healthcare, public health, and 
everyday wellness, with clinical, physiological, imaging, behavioral, 
environmental, and omic- data, and data from social media and the Web. It 
will provide a unique opportunity for interaction between information 
management researchers and biomedical researchers for the interdisciplinary
field. 

This workshop welcomes papers that address fundamental research issues 
for complex medical data environments, data management and analytical 
methods, systems and applications. 

Topics of interest include, but not limited to:

Big data management for medical data; 
Blockchain for healthcare; 
Biomedical data integration;
Biomedical knowledge management and decision support;
Semantics and interoperability for healthcare data;
Clinical natural language processing and text mining;
Predictive modeling for diagnosis and treatment;
Visual analytics for medical data;
Medical image analytics;
Data privacy and security for healthcare data;
Hospital readmission analytics;
Medical fraud detection;
Social media and Web data analytics for public health
(public health 2.0); 
Data analytics for pervasive computing for medical care.  


DMAH 2022 accept two types of papers: 
1) Regular research papers reporting original research results or significant 
   case studies (18 pages).
2) Short papers will be 6 pages. 
3) Abstracts will be 2 pages


Important Dates:

Abstract (optional): May 10, 2022
Individual Workshop Papers: May 16, 2022
Notification of Acceptance: June 10, 2022
Camera Ready: June 25, 2022
Workshop date: September 9, 2022



All submitted papers will be rigorously reviewed. All accepted papers will 
be made available as a workshop proceedings to be published by Springer LNCS.

Workshop Chairs:

Chairs:
Fusheng Wang, Stony Brook University, USA
Gang Luo, University of Washington, USA 
Dejun Teng, Alibaba Inc., China 
Jun Kong, Georgia State University, USA


___
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai

[UAI] Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022): First Call for Papers

[George A. Papadopoulos]

*** First Call for Papers ***

Second International Conference on ICT for Health, Accessibility and
Wellbeing (IHAW 2022)

December 5-7, 2022, Golden Bay Beach Hotel 5*, Larnaca, Cyprus

https://cyprusconferences.org/ihaw2022

ICT for Health, Accessibility and Wellbeing (IHAW 2022) is the second of the
series of International Conferences on "ICT for Societal Challenges". It is a
showcase for high quality oral and poster presentations and demonstrations
sessions. This conference aims to be a platform for multi and interdisciplinary
research at the interplay between Information and Communication
Technologies, Biomedical, Neuro-cognitive, and Experimental research.

This research includes the design, experimental evaluation and
standardization of new ICT scalable systems and in-silico systems for new
and future inclusive and sustainable technologies that benefit all: healthy
people, people with disabilities or other impairments, people having chronic
diseases, etc. User-centered design and innovation, new intuitive ways of
human -computer interaction, and user acceptance are the topics of
particular interest.


Conference Topics

Relevant topics include (but are not limited to) the following:

Artificial Intelligence, Computation and Data Analytics
• Artificial Intelligence methods for medical device testing.
• Algorithms, methods and services for condition-specific intervention (e.g., 
diabetes, obesity, dementia, post cancer treatment, allergies, mental health).

• Algorithms, methods and services for predicting and monitoring infectious 
disease.
• Crowd-sourcing and social media analysis for predicting and monitoring 
infectious
disease.
• Medical Data and/or Medical Image Analysis.
• Electronic Medical Records Analysis.
• Computational methods for medical devices.

Human Computer Interaction and Cognition
• Human-Machine Interaction for healthcare and well-being.
• Cognitive Mechatronics for healthcare and well-being.
• Models for human-device interaction for medicine.
• Cobotics for healthcare and well-being.
• Model-based design and configuration tools for healthcare and well-being.

Assistive Devices
• Precision medicine.
• ICT for in-silicon trials.
• Implantable medical devices.
• Multimodal assistive ICT devices to empower people with sensory, cognitive,
motor, balance and spatial impairments.

ICT & Wellbeing
• Age-friendly systems for active and healthy ageing (telepresence, robotics
solutions, innovative solutions for independent living, innovative elderly care,
integrated care, age-related risks prevention/detection).
• ICT systems to improve the quality of life and for daily life activities assistance 
(education, recreation, and nutrition).

• Smart living homes and wearables (Intelligent and personalized digital 
solutions
for sustaining and extending healthy and independent living; personalized early 
risk
detection and intervention).
• Smart Systems and services promoting access to the socio-economical and 
cultural
environment.
• IoT and smart real-time surveillance systems for monitoring, auditing and 
control
to prevent the spread of the pandemic.
• eHealth smart solutions in the fight against a COVID-19 like pandemic.
• IoT and Smart Healthcare systems with an environmentally friendly and sustainable 
footprint.


Health Infrastructure and Healthcare Operation Services
• Distributed and connected digital healthcare services.
• IoT services for real-time monitoring of health data and status of patients and/or 
older adults.

• Wearable devices and IoT systems for remote monitoring of health data and 
status
of patients and/or older adults.
• mHealth services and applications using mobile and wearable devices to collect 
community and clinical health data, and deliver healthcare information to 
practitioners, researchers and patients.

• Sustainable city environments for emergency health management.
• 5G and beyond for healthcare in sustainable smart cities.
• Wireless Sensor Networks for advanced smart healthcare in sustainable cities.

Quality in Healthcare Systems
• New experimental validation methods with end-users.
• Systems and services for ensuring patient’s commitment to the medication 
schedule.

• Digital health systems and tools for health care professional training and
workforce development.
• Communication systems and services improving the quality of patient and 
healthcare provider contact before, during and after admission.

• Methods and Technology for Improving the quality of services-oriented care
delivery systems.
• Methods, Digital Tools and/or Services for inclusive-for-all healthcare 
systems.
• Co-Creation of healthcare systems for social well being of people with special 
needs, older adults and/or deprivileged or disadvantaged people.
• Systems for management of health and care (mental health, pain, neurological 
disorders, sight, hearing, balance, space awareness; sensory based physiological
and psychological non-invasive measurements, preventive healthcare, m

[UAI] ACM International Conference on Information Technology for Social Good (GoodIT 2022): Fourth Call for Contributions

[George A. Papadopoulos]

*** Fourth Call for Contributions ***

ACM International Conference on Information Technology for Social Good
(GoodIT 2022)

7–9 September, 2022, 5* St. Raphael Resort & Marina, Limassol, Cyprus

https://cyprusconferences.org/goodit2022/


Scope

The ACM GoodIT conference seeks papers describing significant research
contributions related to the application of information technologies (IT) to 
social
good. Social good is typically defined as something that provides a benefit to the 
general public. In this context, clean air and water, Internet connection, education, 
and healthcare are all good examples of social goods. However, new media 
innovations and the explosion of online communities have added new meaning to the
term. Social good is now about global citizens uniting to unlock the potential of 
individuals, technology, and collaboration to create a positive societal impact.


GoodIT solicits papers that address important research challenges related to, 
but not
limited to:
• Citizen science
• Civic intelligence
• Decentralized approaches to IT
• Digital solutions for Cultural Heritage
• Environmental monitoring
• Ethical computing
• Frugal solutions for IT
• Game, entertainment, and multimedia applications
• Health and social care
• IT for automotive
• IT for development
• IT for education
• IT for smart living
• Privacy, trust and ethical issues in ICT solutions
• Smart governance and e-administration
• Social informatics
• Socially responsible IT solutions
• Sustainable cities and transportation
• Sustainable IT
• Technology addressing the digital divide


Paper Submission

The papers should not exceed six (6) pages (US letter size) double-column,
including figures, tables, and references in standard ACM format
(https://cyprusconferences.org/goodit2022/index.php/authors/ ).

They must be original works and must not have been previously published.

At least one of the authors of all accepted papers must register and present the
work at the conference; otherwise, the paper will not be published in the
proceedings. All accepted and presented papers will be included in the 
conference
proceedings published in the ACM Digital Library.

In addition to a Main Track, the conference features 9 additional Special 
Tracks.
More information on these tracks is available on the conference web site.


Journal Special Issues and Best Paper Award

Selected papers will be invited to submit an extended version to two special
journal issues:

• FGCS, Elsevier
• MDPI Sensors, where the theme of the special issue will be "Application of 
Information Technology (IT) to Social Good"
(https://www.mdpi.com/journal/sensors/special_issues/topical_collection_goodit ). 
Specifically 5 papers will be invited free of charge and another 5 papers will get a

20% discount on the publication fees.

Furthermore, MDPI Sensors will sponsor a Best Paper Award with the amount of
400 CHF.


Work-in-Progress and PhD Track

Inside ACM GoodIT, the Work-in-Progress and PhD Track provides an opportunity to
showcase interesting new work that is still at an early stage. We encourage 
practitioners and researchers to submit to the Work-in-Progress venue as it provides
a unique opportunity for sharing valuable ideas, eliciting feedback on early-stage 
work, and fostering discussions and collaborations among colleagues. Moreover, this 
track provides a platform for PhD students to present and receive feedback on their 
ongoing research. Students at different stages of their research will have the
opportunity to present and discuss their research questions, goals, methods and 
results. This is an opportunity to obtain guidance on various aspects of their research
from established researchers and other PhD students working in research areas 
related to technologies for social good.


Important: For this specific track, papers must not exceed four (4) pages
(US letter size) double column, including figures, tables, and references in 
standard
ACM format (https://cyprusconferences.org/goodit2022/index.php/authors/ ).


Submission Instructions

All papers must be submitted electronically via the hotcrp web site
(https://goodit2022.hotcrp.com ). Once on the submission page, you will be able 
to
select the track where to submit your paper.


Important Dates

• Submission deadline for all types of contributions: 23 May 2022
• Notification of acceptance: 20 June 2022
• Camera-ready submission and author registration: 11 July 2022


Conference Committees

https://cyprusconferences.org/goodit2022/committees/
___
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai

[UAI] FORMATS'22: second call for papers

[Gethin Norman]

FORMATS 2022: SECOND CALL FOR PAPERS

20th International Conference on Formal Modeling and Analysis of Timed Systems

https://conferences.ncl.ac.uk/formats2022/

12-17 September 2022, Warsaw, Poland
co-located with CONCUR, FMICS and QEST as part of CONFEST 2022

SCOPE & TOPICS

FORMATS (International Conference on Formal Modeling and Analysis of Timed 
Systems) is an annual conference which aims to promote the study of fundamental 
and practical aspects of timed systems, and to bring together researchers from 
different disciplines that share interests in the modelling, design and 
analysis of timed computational systems. The conference aims to attract 
researchers interested in real-time issues in hardware design, performance 
analysis, real-time software, scheduling, semantics and verification of 
real-timed, hybrid and probabilistic systems.

Typical topics include (but are not limited to):

• Foundations and Semantics: Theoretical foundations of timed systems, 
languages and models (e.g., timed automata, timed Petri nets, hybrid automata, 
timed process algebra, max-plus algebra, probabilistic models).
• Methods and Tools: Techniques, algorithms, data structures, and software 
tools for analyzing timed systems and resolving temporal constraints (e.g., 
scheduling, worst-case execution time analysis,optimization, model checking, 
testing, constraint solving).
• Applications: Adaptation and specialization of timing technology in 
application domains in which timing plays an important role (e.g., real-time 
software, hardware circuits, scheduling in manufacturing and telecommunication, 
robotics).

New for this year, FORMATS will incorporate a special track on:

• Learning-based and data-driven systems: We particularly encourage papers that 
exploit synergies between the formal analysis of timed systems and data-driven 
techniques (such as reinforcement learning or deep learning), or which target 
application domains where learning is important (such as robotics or autonomous 
systems).

In 2022, FORMATS celebrates its 20th anniversary and we plan to commemorate 
this with a special session at the conference.

INVITED SPEAKERS

FORMATS 2022 will feature two invited speakers:

• Thao Dang (CNRS & VERIMAG, Université Grenoble-Alpes)
• Joël Ouaknine (Max Planck Institute for Software Systems)

PAPER SUBMISSION

FORMATS 2022 solicits high-quality papers reporting research results, 
experience reports and/or tools related to the topics mentioned above. 
Submitted papers must contain original, unpublished contributions, not 
submitted for publication elsewhere. The papers should be submitted 
electronically in PDF, following the Springer LNCS style guidelines. Two 
categories of papers are invited:

• Regular papers, which should not exceed 15 pages in length
• Short papers, which should not exceed 7 pages in length

Both page limits exclude references, which are not limited in length. If 
necessary, the paper may be supplemented with a clearly marked appendix, which 
will be reviewed at the discretion of the program committee. Each paper will 
undergo a thorough review process. Papers should be submitted electronically 
via the EasyChair online submission system: 
https://easychair.org/conferences/?conf=formats2022 

ARTIFACT EVALUATION

This year, FORMATS is encouraging authors to submit artifacts where 
appropriate, for example to demonstrate how to reproduce experimental data in a 
research paper or to examine the usability and applicability of a software 
tool. Artifacts will be submitted and evaluated only for papers accepted for 
publication. These will be evaluated by the Artifact Evaluation Committee and 
those that are accepted will receive a repeatability badge to be displayed on 
the first page of the published version. For more details, see: 
https://conferences.ncl.ac.uk/formats2022/artifactevaluation/

PUBLICATION AND BEST PAPER AWARD

The proceedings of FORMATS 2022 will be published by Springer in the Lecture 
Notes in Computer Science series. The best paper of the conference will be 
awarded the Oded Maler Award in Timed Systems.

IMPORTANT DATES

• Abstract submission: 19 April 2022
• Paper submission: 22 April 2022
• Acceptance notification: 17 June 2022
• Artifact submission deadline: 24 June 2022
• Camera-ready copy deadline: 15 July 2022
• Conference: 12-17 September 2022

CONFEST 2022, which includes FORMATS 2022, is currently planned as a physical, 
in-person event with support for remote presence for speakers and participants. 
Depending on the pandemic situation, a decision whether to cancel the physical 
component of CONFEST or not will be made by the end of June 2022.

​​For any questions, feel free to contact the program chairs Sergiy Bogomolov 
(sergiy.bogomo...@ncl.ac.uk) and David Parker (d.a.par...@cs.bham.ac.uk).

ORGANISATION

Program Chairs
• Sergiy Bogomolov (UK)
• David Parker (UK)

Artifact Evaluation Chairs
• Akshay Rajhans (USA)
• Paolo Zuliani (UK)

Publicity Chair
• G

[UAI] IPMU 2022 - deadline 25th February

[Davide Elio Ciucci]

 PLEASE APOLOGIZE FOR MULTIPLE COPIES 

The submission deadline is extended to February, 25th 2022



19th International Conference on Information Processing and
   Management of Uncertainty in Knowledge-Based Systems 
  (IPMU 2022)

July 11th-15th, 2022, Milano, Italy
https://ipmu2022.disco.unimib.it/ 


The conference will be in presence and in case of international 
travel restrictions we will switch to hybrid mode


The  IPMU  conference  is  organized  every  two  years  with  the  aim of 
bringing together scientists working on information processing and the 
management of the many aspects of uncertainty.
It also serves as an ideal forum for the exchange of ideas between 
theoreticians and practitioners in these and related areas.
The next edition of IPMU will be held in Milano, Italy from July 11th to 15th, 
2022.

On behalf of the Organizing Committee of the 19th IPMU Conference, we invite 
researchers to submit original  research  contributions  (theoretical, 
methodological, applications) and/or to organize a special session on a 
specific topic within the scope of the conference which includes (but is not 
limited to) the following topics:

Theory,  Methods  and  Tools:
Measures of Information and Uncertainty 
Bayesian and Probabilistic  Methods
Evidence, Possibility and Utility Theories  
Fuzzy, Rough, Intuitionistic, etc. sets and operators
Fuzzy Logic and other non-classical Logics  
Multiple Criteria Decision Methods
Aggregation Methods 
Knowledge Acquisition, Representation and Reasoning
Graphical Models
Machine Learning  
Evolutionary Computation
Neural Networks
Data Analysis and Data Science.

Application  Fields:
Big Data
Smart Cities
Image Processing 
Intelligent Systems and Information Processing, 
Logistics, Transportation and Routing
Information Retrieval  and  Fusion
Agents
E-Health, Medicine and Bioinformatics
Finance
Fuzzy Optimization



IMPORTANT DATES
Please notice that these are strict deadlines

Submission of full papers: February, 25th, 2022
Notification of acceptance: April 1st, 2022
Camera ready copies due: April 22nd, 2022

Conference: July 11th-15th, 2022

___
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai

[UAI] Faculty Opening -- Department of Computer Science -- University of Cyprus

[George A. Papadopoulos]

VACANCY ANNOUNCEMENT FOR AN ACADEMIC POSITION

The University of Cyprus was founded in 1989 and admitted its first students in
1992. Within a short time, the University of Cyprus achieved international
distinctions.  Today, it is ranked as the 108th young university (under 50 years) and 
among the #401-500 best universities worldwide by the Times Higher Education 
Rankings.


These notable distinctions, achieved in the highly competitive field of 
research, are
the result of commitment and dedication to continuous development and
research excellence, the promotion and strengthening of which constitutes a
key strategic objective of the University of Cyprus. Moreover, the University 
continually extends and develops its undergraduate and graduate programs of 
studies.

To best serve its research and educational aims, the University recruits 
high-caliber
academic staff who can make significant contributions to the development of 
internationally competitive research projects and to the design and delivery of new 
curricula.

DEPARTMENT OF COMPUTER SCIENCE

The University of Cyprus invites applications for one (1) tenure-track academic 
position at the rank of Lecturer or Assistant Professor in the Department of

Computer Science, in the field of “Artificial Intelligence with emphasis in
machine learning”.
For all academic ranks, a Doctoral degree from an accredited University is 
required.

The minimum requirements for each academic rank are available at
http://www.cs.ucy.ac.cy/~george/GPLists_2021/lm.php?tk=CQlBSQl1YWlAZW5nci5vcnN0LmVkdQlGYWN1bHR5IE9wZW5pbmcgLS0gRGVwYXJ0bWVudCBvZiBDb21wdXRlciBTY2llbmNlIC0tIFVuaXZlcnNpdHkgb2YgQ3lwcnVzCTQ4NwlHZW9yZ2UJMTUJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.ucy.ac.cy%2Facad.staff.procedures and include: previous academic 
experience, outstanding research achievements and notable scientific contributions, 
experience in developing and teaching of high quality undergraduate and graduate 
curricula.


Candidates do not need to be citizens of the Republic of Cyprus.

The official languages of instruction are Greek and Turkish.  For the above 
position,
fluency in the Greek language is necessary.

In case the selected candidate is not proficient in the Greek language, the candidate 
and the Department shall ensure that the former acquires sufficient knowledge of the

Greek language within 3 years from the date of appointment. Each Department sets
its own criteria concerning the required level of fluency in the Greek language.

In accordance with the applicable legislation, the annual gross salary (including the 
13th salary) for full-time employment is:


Assistant Professor   (Scale A13-A14).  €59.173,18- €79.802,36
Lecturer   (Scale A12-A13)   €44.975,98- €73.185,96

Employee contributions to the various State funds will be deducted from the above 
amounts.


Candidates are invited to submit their applications electronically by uploading the 
following documents in English and in PDF format at the following link:

http://www.cs.ucy.ac.cy/~george/GPLists_2021/lm.php?tk=CQlBSQl1YWlAZW5nci5vcnN0LmVkdQlGYWN1bHR5IE9wZW5pbmcgLS0gRGVwYXJ0bWVudCBvZiBDb21wdXRlciBTY2llbmNlIC0tIFVuaXZlcnNpdHkgb2YgQ3lwcnVzCTQ4NwlHZW9yZ2UJMTUJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fapplications.ucy.ac.cy%2Frecruitment

1. Cover Letter
2. Curriculum Vitae
3. Copy of ID/Passport
4. Copies of degree certificates
5. Review of previous research work and a brief description of future research
projects (up to 3 pages)
6. List of publications
7. Representative publications (up to 3 publications which should be submitted 
separately). For the rank of Lecturer, the submission of representative publications

is optional.
8. The names and email addresses of three academic referees, who, upon 
submission
of the application, will be automatically notified to provide recommendation 
letters
(in English), up to seven days following the deadline for submission of 
applications.

The above documents (1-7) must be uploaded as separate PDF documents.

No change can be possible upon submission of your application.

The deadline for applications is on Wednesday 18th of May 2022.

The selected applicants will be required to submit copies of degree certificates 
certified by the Ministry of Education (if the degrees were obtained from universities 
n Cyprus) or from the Issuing Authority (if the degrees were obtained from foreign 
universities).


Applications, supporting documents and recommendation letters submitted in 
response to previous vacancy announcements will not be considered and must be

resubmitted.

Applications not providing all the required documents specified in the online 
application form at the above link will not be considered.


The applicant shall ensure that their application has been successfully submitted. 
Upon submission, the candidate will receive an automated confirmation email.


For more information, please contact the Human Resources Services
(tel.: 00357 22 89 4146) or the Department of Computer Sci

[UAI] UAI 2022 - 3rd Call for Papers

[James Cussens]

UAI 2022 - Call for Papers

https://www.auai.org/uai2022/

The Conference on Uncertainty in Artificial Intelligence (UAI) is one
of the premier international conferences on research related to
learning and reasoning in the presence of uncertainty. The conference
has been held every year since 1985. The upcoming 38th edition (UAI
2022) will be an in-person conference with virtual elements taking
place in Eindhoven, The Netherlands from 1 to 5 August 2022.

We invite papers that describe novel theory, methodology and
applications related to artificial intelligence, machine learning and
statistics. Papers will be assessed in a rigorous double-blind
peer-review process, based on the criteria of technical correctness,
novelty, clarity of writing, and potential impact. Authors are strongly
encouraged to make code and data available.

All accepted papers will be presented in poster sessions and spotlight
presentations. Selected papers will have longer presentations and an
assigned discussant to foster debate. All accepted papers will be
published in a volume of Proceedings of Machine Learning Research (PMLR).

Important dates for authors:

25 February 2022 (23:59 UTC): Paper submission deadline
19-28 April 2022: Author response and discussion period
16 May 2022: Author notification
Papers should be submitted on OpenReview at
https://openreview.net/group?id=auai.org/UAI/2022/Conference.

We are looking forward to building an exciting program and we aim to
make the most of the advantages that a hybrid conference can
create. If you have any particular positive or negative experiences
that you would like to share with us, please do not hesitate to email
us.

If you are interested in giving a tutorial or organising a workshop at
UAI 2022 please contact the tutorial chairs (uai2022chairs+tutori...@gmail.com)
or workshop chairs (uai2022chairs+works...@gmail.com) by 11 March 2022.

Here are the relevant dates:

1 August: Tutorials
2-4 August: Main conference
5 August: Workshops

James Cussens and Kun Zhang
UAI 2022 Program Chairs
uai2022programcha...@gmail.com

I am currently working in California which is 8 hours behind the UK
James Cussens
Dept of Computer Science, University of Bristol
https://jcussens.github.io/
Funded PhDs available in Bristol in the following areas: Data 
Science, Interactive 
AI, Cyber 
Security or Digital 
Health.
___
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai