Theory Announcements

Tuesday, April 23, 2024

[DMANET] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Video Track First Call for Papers

VIDEO TRACK FIRST CALL FOR PAPERS KR 2024
21st International Conference on
Principles of Knowledge Representation and Reasoning, KR 2024
November 2 - November 8, 2024, Hanoi, Vietnam

Deadline for submissions (1st call) : 28 June 2024
Conference web site: www.kr.org/KR2024

[Apologies if you receive multiple copies]

*********************************************************************
First call for videos for the KR 2024 video track
*********************************************************************

We are very excited to announce the PC for the first edition of a
video track as part of the 21st International Conference on Principles
of Knowledge Representation and Reasoning (KR 2024). The aim of the
video track is twofold. First, it wants to encourage KR groups to
make the outcome of their work more accessible to a wider public and
to foster good practice for KR outreach. Second, it provides
researchers with a prominent platform to showcase interesting
applications and insights and to make them available to a diverse
audience from science, industry and the general public.

All accepted videos will be made available from the KR Inc website
(www.kr.org/) and promoted on the KR Inc social media channels
including the YouTube channel of the KR conference series
(www.youtube.com/@krconferenceseries9472). There will be
awards for the best received videos. The winners will be announced at
the KR 2024 conference.

*********************************************************************
Topics of Interest
*********************************************************************

The topic of the video can be from all subfields of knowledge
representation and reasoning. We want to encourage, in particular,
submissions that can be useful educational resources for the community
or make KR results, projects or even software more approachable for a
broader audience. This includes videos targeted at undergraduate and
post-graduate students, high-school students or the general public.
Possible video topics include, but are not limited to
- Introduction to a particular research area or a research project
relevant to KR.
- Visualization of methods or research results relevant to KR.
- Introduction of non-commercial software tools developed for KR or
relevant for KR researchers.

*********************************************************************
Technical Requirements for the video
*********************************************************************
- Video must be relevant for KR (if in doubt, please consult the
topics of interest at www.kr.org/KR2024/call_for_papers.php or send us
an email using kr2024.video@cse.unsw.edu.au).
- Videos must be in English or include English subtitles.
- Video length should be 3 - 15 minutes.
- Video format: AVI or MPEG4.
- Videos must adhere to copyright laws.

*********************************************************************
Submission Information
*********************************************************************
A submission to the video track consists of two items:
the [link to the] video
A one-page document with information on the video, including:
- Names, affiliations and email addresses of video authors.
- Title of the video.
- Brief abstract describing the video's content (one paragraph).
- Description who the targeted audience of this video is (1-3 sentences).
Details on the exact submission procedure will be published in a
follow-up call for videos.

*********************************************************************
Evaluation Criteria
*********************************************************************
- Presentation quality: does the video make good use of the visual
medium? For instance, submissions of static, one-shot recordings
of a talk are not encouraged.
- Educational value: Is the presented material conducive to learning
and understanding?
- Suitability for target audience: how suitable is the presentation
style for the target audience?
- Entertainment value: Is the video enjoyable and fascinating to
watch?
Video authors of accepted videos are not obliged to register for the
KR'24 conference. However, authors of award winning videos are
encouraged to register for the conference.

*********************************************************************
Video Track Program Committee
*********************************************************************
Fabio Cozman (Universidade de São Paulo, Brazil)
Annette Leßmöllmann (KIT Karlsruhe, Germany)
Carsten Lutz (Universität Leipzig, Germany)
Nico Potyka (coChair; Cardiff University, UK)
Anni-Yasmin Turhan (coChair; Paderborn University, Germany)
Mary Anne Williams (UNSW Sydney, Australia)

*********************************************************************
Important Dates
*********************************************************************
- Submission site opens: June 1, 2024
- Video Submission Deadline: June 28, 2024
- Notification of acceptance: August 1, 2024

Should you have any questions regarding the video track, please send
an email to the video chairs via kr2024.video@cse.unsw.edu.au. We look
forward to receiving your submissions!

Further details can be found via the conference web site:
www.kr.org/KR2024/dates.php

Best regards,
Anni-Yasmin Turhan & Nico Potyka

KR Inc., not for profit Scientific Foundation, , Massachusetts, USA , ,

Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-LDW3SQDdb2qQN_rW4ftbCG2vQqLLW3dcQkF2TRLjbW3W41zf1_rw9gW32HGrm2-kQPJW2x-NPZ3M9PzVW3j7Mxn2r7JDLW2xR3RH1BfjN0W1W_S7n23f5s3W2xZ6GV43B61CW4fG9Ly3d2F-NW4fGYRh4ff0ZwW2vSxwd2MRXJLW3Sy4WD4pqdNXW41LM2d41JbX6W3F74Cr3JSHpfW2MBYNC41tyJVW30mMlv3_Rr8NW2TpPzh3ZC97cW2FKq1r3R2McXW4t8wfS308-9TW41K1fR2HF0_8W3ZwfRg2PwDzZW3LS3sT36lh1LW21s8-H3ZY-VTW3M7kpn4rjb-8W23fyCy215Qj3W2H-q9f4rm5SHW3ZD4Ff3Y2yHgW1SbDXC2q_0sVW25hkR03DYhd6W34h_Pf41P-cSW2xQc7434xY8qW4cN-qV3dwKPMW3XVm6F2KJf8jW3LFdPG4fK2kpW3d35_c38cWlfW3NBW-M4pmQxgW2HPMr845Fg9wW2vMWXR3bhqtRW3C7N6D32lgDvW4r8lv_1Nwg1dW47PRcs2p0X1cW2zMvTk3FcjNCW4tGDWr25g6MLf49x5Yf04&_hsenc=p2ANqtz-9uFuSlQIUDjYRkj4WbQtVxUGmQSkiEJylRhvmLkjRmla1PIbQl_ppVfXrSW42vo8_rdZGuRnYNtRw2Kc_ixaimty8Spg&_hsmi=303904622 )

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Monday, April 22, 2024

[DMANET] [CFP][Firm deadline: May 8] IEEE Annual Congress on Artificial Intelligence of Things (AIoT), 24–26 July 2024, Melbourne, Australia

*************************************************************************************

IEEE Annual Congress on Artificial Intelligence of Things (AIoT)

24–26 July 2024, Melbourne, Australia

https:// <https://healthcom2024.ieee-healthcom.org/>www.ieee-aiot.org

*************************************************************************************

*Submission Link: *https://easychair.org/my/conference?conf=aiot2024

*Best Paper Award and Journal Special Issues*

Three accepted papers will be selected for best paper awards. Selected
papers will be recommended to *IEEE Internet of Things Journal (IF: 10.238)
and Digital Communications and Networks (IF: 7.9) *for potential fast-track
publications.

*Important Dates:*

Paper Submission: *8* *May** 2024** (FIRM)*

Notification of Acceptance: 10 June 2024

Final Manuscript (Camera Ready): 3 July 2024

IEEE AIoT 2024 aims at bringing together interested parties (universities,
research centers, industries and stakeholders) from around the world
working in the fields of AI and Internet of Things to exchange opinions,
discuss brand-new ideas, developing innovative and emerging solutions, and
establishing new collaborations.

Artificial Intelligence (AI) and the Internet of Things (IoT) are two of
the most rapidly evolving and interdependent fields of technology. The
convergence of these two fields is leading to the creation of an emerging
interdisciplinary field, dubbed the Artificial Intelligence of Things
(AIoT). The AIoT represents the integration of AI technologies into IoT
systems and devices, enabling them to interact with their environment in
more sophisticated and intelligent ways. By combining IoT with AI, the data
collected by distributed nodes can be utilized by applying AI techniques
such as machine learning and deep learning. As a result, machine learning
capabilities are moved closer to the data source.

The IEEE AIoT Conference aims to explore the integration of artificial
intelligence (AI) technologies into the Internet of Things (IoT) systems
and devices, enabling them to interact with their environment in more
sophisticated and intelligent ways. The conference will focus on the
following areas:

l AIoT Architectures, Frameworks, and Algorithms: Developing
novel AIoT architectures, frameworks, and algorithms for deploying
state-of-the-art machine learning and deep learning algorithms on IoT and
edge devices, realising the so-called Edge AI or Edge Intelligence;

l AIoT Applications: Identifying and exploring new AIoT applications,
including healthcare, smart homes, industrial automation, transportation,
and digital agriculture;

l Standards and Interoperability: Developing standards and protocols
for AIoT systems and ensuring interoperability between different platforms
and devices; and

l Ethics and Security: Addressing ethical and security concerns related
to AIoT, such as privacy, transparency, and accountability.

Authors are cordially invited to submit their original papers within the
eHealth area. The topics include but are not limited to:

1. 1. Edge AI and Distributed Intelligence

2. Machine Learning for IoT Applications

3. Mobile deployment of LLMs

4. Generative AI and LLMs for IoT applications

5. AI-empowered Robotics and Sensing for IoT

6. Smart Cities: AI and IoT Solutions

7. Security and Privacy in AI-driven IoT Systems

8. 5G and its Impact on AI and IoT

9. Blockchain Technology for Securing IoT Devices

10. Human-Machine Interaction in IoT Environments

11. IoT Sensors and Actuators: Innovations and Advances

12. AI-driven Data Analytics and Decision-making

13. Energy-Efficient AI Algorithms for IoT Devices

14. IoT in Healthcare: Applications and Challenges

15. Industrial IoT (IIoT) and AI for Manufacturing

16. Smart Agriculture: AI and IoT in Precision Farming

17. Ethical Considerations in AI-powered IoT Systems

18. IoT Standards and Interoperability

19. Robotic Process Automation (RPA) in IoT

20. AI-driven Automation in Supply Chain Management

21. IoT Analytics and Big Data Processing

22. AI in Edge Devices: Challenges and Solutions

23. Wireless Sensor Networks in AI and IoT

24. IoT for Environmental Monitoring and Sustainability

25. AI and IoT in Transportation and Logistics

26. Cross-domain Integration of AI and IoT Technologies

27. Privacy, Security, and Trustworthiness

28. Standardization and Interoperability

29. Demonstrations, Proof-of-Concepts, and Deployments

*Paper Format and Submission*

Perspective authors are invited to submit their papers using EDAS. A full
paper should not have more than six (6) IEEE style pages including results,
figures and references. One (1) extra page is allowed with an extra charge
of $100. Papers will be reviewed with the standard reviewing procedure
(with at least 3 independent anonymous reviews). All of the accepted papers
will be published on IEEE Xplore®. Articles selected for publication in
journals must meet the conditions against self-plagiarism.

The submitted manuscripts shall be prepared in LaTeX or Word using the
official IEEE templates. Final submission of the manuscript will be in PDF
format, and make sure that the file will print on a printer that uses
letter size (8.5 x 11) paper. The official language of the meeting is
English.

*Organization Committee*

*General Chairs:*

Wei Xiang, La Trobe University, Australia

Carla Fabiana Chiasserini, Politecnico di Torino, Italy

*TPC Chairs:*

Dusit Niyato, Nanyang Technological University, Singapore

Ruidong Li, Kanazawa University, Japan

Prasad Kodaypak, The XMG, USA

*Keynote Chair:*

Song Guo, Hong Kong University of Science and Technology, China

*Tutorial Chair:*

Flora Salim, University of New South Wales, Australia

JaeSeung Song, Sejong University, South Korea

*Industry Forum Chair:*

Henry Leung, University of Calgary

*Workshop Chairs:*

Teng Joon Lim, University of Sydney, Australia

Jia Hu, University of Exter, U. K.

*Poster Chairs:*

Pietro Manzoni, Universidad Politécnica de Valencia, Spain

Xiang Sun, University of Mexico, USA

*Publicity Chairs:*

Zhengxin Yu, Lancaster University, U. K.

*Publication Chairs:*

Constandinos X. Mavromoustakis, University of Nicosia, Cyprus

Peng Cheng, La Trobe University, Australia

*Registration Chair:*

Wei Wang, San Diego State University

*Web Chair:*

Haihan Nan, Kanazawa University, Japan

*Financial Chair:*

Kang Han, La Trobe University, Australia

*Local Chair:*

Kan Yu, La Trobe University, Australia

Phu Lai, La Trobe University, Australia

[DMANET] 2nd call for contributions: 8th Workshop on Geometry and Machine Learning (CG Week '24)

We would like to announce the 8th Workshop on Geometry and Machine
Learning http://www.cs.utah.edu/~jeffp/WaGoML/index.html
which will take place in the afternoon of

Thursday, June 13, 2024

in Athens, Greece, at the Eugenides Foundation as part of the CG Week
that includes the Symposium on Computational Geometry (SoCG).

The aim of the workshop is to highlight and strengthen connections
between geometry and machine learning. We define machine learning
broadly to include related areas of data analysis such as data mining,
information retrieval, and AI.

*2nd call for contributions*

We are soliciting contributed talks of 10-20 minutes (depending on time
parameters of the workshop). These can highlight recent work at the
intersection of geometry and machine learning, demonstrations, or open
problems. To submit an abstract for a contributed talk, please send an
email to WoGeomML@gmail.com by April 26, 2024.

The email should contain
- a short (e.g., 2 page) abstract, or preferably a link to permanent,
publicly available version (e.g., on arXiv)
- the title of the paper/talk
- the names of the authors, indicating the intended presenter

We will send out notifications of the program by May 3, 2024.

Alexander Munteanu & Jeff M. Phillips
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Sunday, April 21, 2024

[DMANET] 3 year Postdoctoral Fellow in Mathematical Phylogenetics at UNSW Sydney

Location: UNSW Sydney
Term: 3 years
Closing: May 20, 2024
URL: https://external-careers.jobs.unsw.edu.au/cw/en/job/524013/postdoctoral-fellow-mathematics-statistics

I am recruiting a postdoctoral researcher to work with me on the mathematics of phylogenetic trees and networks. This is a fast-changing field and so the exact research program is likely to evolve, but is likely to include questions arising from bijections between trees and networks on the one hand, and partitions and covers of finite sets on the other. Likewise, the mathematics required for making progress can be diverse, but certainly capacity in discrete mathematics, especially combinatorics and graph theory, will be needed.

The role will suit someone who loves solving problems, floating speculative ideas, coming up with new questions and angles on problems, and finding solutions. It will suit someone who likes to collaborate but will also be happy to work independently at times due to my governance responsibilities.

To enquire informally about the role please email me. Applications need to go through the UNSW system as described in the official advertisement linked in the URL above.

Contact: Andrew Francis
Email: a.francis@unsw.edu.au<mailto:a.francis@unsw.edu.au>

--
Prof Andrew Francis, FAustMS
School of Mathematics and Statistics,
UNSW Sydney
(from May 6th 2024).

[DMANET] IEEE CSF 2024 - Call for Participation

*****************************************************************************
CSF 2024 - Call for Participation

37th IEEE Computer Security Foundations Symposium

July 8-12, 2024

*** Early registration deadline: June 14, 2024 ***

University of Twente
Enschede, The Netherlands

https://csf2024.ieee-security.org
*****************************************************************************

Registrations are now open for CSF 2024, 37th IEEE Computer Security
Foundations Symposium, which will take place between July 8-12 2024 at
the U Parkhotel, located in the campus of the University of Twente in
the Netherlands.

The Computer Security Foundations Symposium (CSF) is an annual
conference for researchers in computer security, to examine current
theories of security, the formal models that provide a context for those
theories, and techniques for verifying security. It was created in 1988
as a workshop of the IEEE Computer Society's Technical Committee on
Security and Privacy, in response to a 1986 essay by Don Good entitled
"The Foundations of Computer Security—We Need Some." The meeting became
a "symposium" in 2007, along with a policy for open, increased
attendance. Over the past two decades, many seminal papers and
techniques have been presented first at CSF. For more details on the
history of the symposium, visit CSF's home.

The program includes papers, panels, and a poster session. Topics of
interest include access control, information flow, covert channels,
cryptographic protocols, database security, language-based security,
authorization and trust, verification techniques, integrity and
availability models, and broad discussions concerning the role of formal
methods in computer security and the nature of foundational research in
this area.

REGISTRATION INSTRUCTIONS AND DEADLINES

See https://csf2024.ieee-security.org/registration.html for the
registration instructions and fees.

Registration link: https://www.aanmelder.nl/155183/registration

*** The early registration deadline is: June 14, 2024 ***

LOCATION

The conference will be held at the U Parkhotel, located in the campus of
the University of Twente, Enschede, The Netherlands.

See https://csf2024.ieee-security.org/venue.html for further information
on how to reach the conference venue.

ACCOMMODATION

Rooms have been reserved at the following hotels:

- U Parkhotel (the conference venue)
- Intercity Hotel (located in the city center of Enschede)

Further information on room rates and how to book them are available at:

https://csf2024.ieee-security.org/accommodation.html

KEYNOTE SPEAKERS

- TBA

ACCEPTED PAPERS

The list of accepted papers is available here:

https://csf2024.ieee-security.org/accepted.html

GENERAL CHAIRS

- Kaitai Liang, TU Delft, The Netherlands
- Luca Mariot, University of Twente, The Netherlands

PROGRAM CHAIRS

- Toby Murray, University of Melbourne, Australia
- Tamara Rezk, INRIA, France

STEERING COMMITTEE

- Toby Murray (PCC 2024-25)
- Tamara Rezk (PCC 2023-24)
- Stefano Calzavara (PCC 2022-23)
- David Naumann (PCC 2021-22)
- Ralf Kuesters (PCC 2020-21, Publicity Chair)
- Kaitai Liang (GC 2024)
- Luca Mariot (GC 2024)
- Ante Đerek (GC 2021-23)
- Tajana Ban Kirigin (GC 2021-23)
- Marco Guarnieri (Publication Chair)
- Luca Viganò (Finance Chair)
- TCSP Chair/TCSP Vice Chair
- Andrei Sabelfeld (member at large)
- Limin Jia (member at large)
- Catalin Hritcu (member at large)
- Matteo Maffei (SC chair)

PROGRAM COMMITTEE

- Mário Alvim (UFMG - Universidade Federal de Minas Gerais)
- Timos Antonopoulos (Yale University)
- Arthur Azevedo de Amorim (Rochester Institute of Technology)
- Musard Balliu (KTH Royal Institute of Technology)
- Tajana Ban Kirigin (Faculty of Mathematics, University of Rijeka)
- Sébastien Bardin (CEA LIST, Université Paris-Saclay)
- Lennart Beringer (Princeton University)
- Abhishek Bichhawat (IIT Gandhinagar)
- Roberto Blanco (Max Planck Institute for Security and Privacy)
- Yinzhi Cao (Johns Hopkins University)
- Cas Cremers (CISPA Helmholtz Center for Information Security)
- Mads Dam (KTH)
- Lesly-Ann Daniel (KU Leuven)
- Stéphanie Delaune (Univ Rennes, CNRS, IRISA, France)
- Ante Derek (University of Zagreb, Faculty of Electrical Engineering
and Computing)
- Dominique Devriese (KU Leuven)
- Ni Ding (University of Melbourne)
- Dominic Duggan (Stevens Institute of Technology)
- Michael Emmi (Amazon Web Services)
- Matt Fredrikson (Carnegie Mellon University)
- Klaus v. Gleissenthall (VU Amsterdam )
- Benjamin Gregoire (INRIA)
- Chris Hawblitzel (Microsoft Research)
- Jana Hofmann (Microsoft Azure Research)
- Catalin Hritcu (MPI-SP)
- Justin Hsu (Cornell University)
- Marieke Huisman (University of Twente)
- Elisavet Kozyri (UiT The Arctic University of Norway)
- Robert Künnemann (CISPA Helmholtz Center for Information Security)
- Steve Kremer (Inria Nancy)
- Peeter Laud (Cybernetica AS)
- Flaminia Luccio (University Ca' Foscari, Venice, Italy)
- Ning Luo (Northwestern University)
- Sergio Maffeis (Department of Computing, Imperial College London)
- Pasquale Malacaria (Queen Mary University of London)
- Piotr Mardziel (Independent)
- Andrea Marin (University Ca' Foscari of Venice)
- Sjouke Mauw (Sjouke Mauw)
- Catherine Meadows (NRL)
- Scott Moore (Galois, Inc.)
- Carroll Morgan (UNSW and Trustworthy Systems)
- Greg Morrisett (Cornell Tech)
- Sebastian Mödersheim (DTU - Technical University of Denmark)
- Johannes Müller (University of Luxembourg)
- Sabine Oechsner (VU Amsterdam)
- Corina Pasareanu (NASA Ames, KBR, Carnegie Mellon University (CyLab))
- Marco Patrignani (University of Trento)
- Frank Pfenning (Carnegie Mellon University)
- Andrei Popescu (University of Sheffield. UK)
- Jonathan Protzenko (Microsoft Research)
- Aseem Rastogi (Microsoft Research)
- Xavier Rival (INRIA)
- Peter Y A Ryan (University of Luxembourg)
- Ralf Sasse (ETH Zurich)
- Clara Schneidewind (MPI-SP)
- Dominique Schröder (Friedrich-Alexander University Erlangen-Nürnberg)
- Alley Stoughton (Boston University)
- Nikhil Swamy (Microsoft Research)
- Tachio Terauchi (Waseda University)
- Mayank Varia (Boston University)
- Kirsten Winter (Defence Science and Technology Group, Australia and
The University of Queensland, Australia)

TEST-OF-TIME AWARDS COMMITTEE

- Catalin Hritcu (MPI-SP, Bochum, Germany) – Outgoing ToT Awards Chair
- David A. Naumann (Stevens Institute of Technology, USA) – Incoming ToT
Awards Chair
- David A. Basin (ETH Zürich, Switzerland)
- Bruno Blanchet (Inria Paris, France)
- Véronique Cortier (CNRS, Nancy, France)
- Limin Jia (CMU, USA)
- Heiko Mantel (TU Darmstadt, Germany)
- Frank Piessens (KU Leuven, Belgium)
- David Sands (Chalmers University, Gothenburg, Sweden)

ORGANIZING COMMITTEE

- Toby Murray, University of Melbourne, Australia (program chair)
- Tamara Rezk, INRIA, France (program chair)
- Kaitai Liang, TU Delft, The Netherlands (general chair)
- Luca Mariot, University of Twente, The Netherlands (general chair)
- Luca Viganò, King's College London, UK (financial chair)
- Marco Guarnieri, IMDEA Software Institute, Spain (publication chair)
- Ralf Küsters, University of Stuttgart, Germany (publicity chair)
- Musard Balliu, KTH Royal Institute of Technology, Sweden (workshop chair)
- Marina Krcek, TU Delft, The Netherlands (web chair)
- Marc Damie, University of Twente, The Netherlands (local organizer)
- Matteo Grella, University of Twente, The Netherlands (local organizer)
- Stefano Simonetto, University of Twente, The Netherlands (local organizer)

CONTACT

- Kaitai Liang (kaitai.liang@tudelft.nl)
- Luca Mariot (l.mariot@utwente.nl)

Saturday, April 20, 2024

[DMANET] AICCSA'24 CFP-Sousse Tunisia

Dear colleagues,

Please find below the ACS/IEEE AICCSA 2024 Call for Papers. Feel free to
distribute it to various mailing lists and social media groups. We highly
encourage you to motivate your colleagues and students to submit their
research work to the ACS/IEEE AICCSA 2024.

Kind regards,

Khouloud Boukadi

*The ACS/IEEE 21st International Conference on Computer Systems and
Applications (AICCSA 2024)*

22-26 October 2024

Sousse, Tunisia

https://aiccsa.net/AICCSA2024/call-for-papers/

The ACS/IEEE International Conference on Computer Systems and Applications
(AICCSA) is the premier conference covering all contemporary areas in
computer systems and applications. It implements an international forum for
academics, industry researchers, developers, and practitioners to report
and share groundbreaking contributions in various IT fields that range from
distributed computing to data science, security, and machine learning.

AICCSA 2024 will be held in Sousse, Tunisia, home to stunning Mediterranean
beaches and the well-preserved UNESCO World Heritage Site of Medina.

The organizing committee members are pleased to invite you to submit
original contributions to AICCSA 2024 through the Easychair submission
system. Submissions may include, technical and experimental study,
theoretical study, conceptual study, or a survey. All submissions will be
peer-reviewed based on relevance, originality, importance, and clarity. The
submissions should be assigned to one of the following tracks:

Track 1: Ubiquitous, Parallel, and Distributed Computing (including cloud,
IoT, network, sensors, and blockchain technologies)

Track 2: Security, Privacy, and Trust

Track 3: Data science, knowledge engineering, and ontologies (including
Information Retrieval, Big Data, Databases, and Knowledge Systems)

Track 4: Artificial Intelligence & Cognitive Systems

Track 5: Natural Language Processing

Track 6: Multimedia, Computer Vision, and Image Processing

Submission Guidelines and Proceedings

Manuscripts should be prepared in 10-point font using the IEEE 8.5″ x 11″
two-column conference format. All papers should be in PDF format and
submitted electronically on EasyChair at:
https://easychair.org/conferences/?conf=aiccsa2024

Plagiarism and acknowledging the use of AI tools

All the accepted submissions will be cross-checked for plagiarism by IEEE.
The papers found to be plagiarized will be rejected and not considered for
publication in the proceedings.

If applicable, the authors must acknowledge the use of generative AI in
developing ideas and concepts and/or in generating content (e.g., images,
text) for their paper. The authors must provide a description of the AI
tool used, how the information was generated, including the prompts they
used, and the date accessed. The acknowledgment could be added as a
footnote or at the end of the reference section.

Committees

General co-chairs

Sami Yangui, LAAS-CNRS, Toulouse, France

Takoua Abdellatif, SERCOM Lab, ENISO/University of Sousse, Tunisia

Cihan Tunc, University of North Texas, USA

Program co-chairs

Khouloud Boukadi, University of Sfax, Tunisia

Ilaria Matteucci, Istituto di Informatica e Telematica – CNR, Italy

Workshop co-chairs

Sina Namaki-Araghi, University of Technology of Tarbes, France

Cheima Ben Njima, ISSAT Sousse, Tunisia

Ibtissem Brahmi, University of Kairouan, Tunisia

PhD Forum co-chairs

Ali Akoglu, University of Arizona, USA

Najoua Ben Amara, University of Sousse, Tunisia

Poster Co-Chairs

Sarra Abidi, ESPRIT, TUNISIA

Mohamed Ali Mahjoubi, University of Sousse, Tunisia

Publicity Chair

Nadia Kabachi, Claude Bernard University LYON 1

Important Dates (Anywhere on Earth)

Main Conference

• Paper submission due date: 05 May, 2024

• Notification to authors: 12 July, 2024

• Camera-ready papers and registration: 13 September, 2024

Workshops

• Workshop proposals due: 29 March, 2024

• Notification of acceptance: 19 April, 2024

• Camera-ready papers and registration: TbC

Tutorial Proposals

• Tutorial proposals due: 30 June, 2024

• Notification of acceptance: 31 July, 2024

PhD Forum and Posters

• Paper proposals due: 30 June, 2024

• Notification of acceptance: 31 July, 2024

Best Paper and Distinguished Papers Awards

The Best Paper Award will be given to the paper that the Program Committee
judges to be the best in quality, execution, and impact among all the
accepted papers in the conference. For this purpose, a selection of
candidate papers will be made, which will also be awarded with a diploma of
Distinguished Papers.

Proceedings

Accepted papers will be submitted for inclusion in IEEE Xplore, provided
they meet IEEE Xplore's scope and quality requirements.

[DMANET] M-PREF 2024: 2nd CALL FOR PAPERS

======================================================================
M-PREF 2024: CALL FOR PAPERS
======================================================================

15th Multidisciplinary Workshop on Advances in Preference Handling

October 19 or 20, 2024, Santiago de Compostela, Spain
in conjunction with ECAI 2024

https://mpref2024.mpref.org

======================================================================
Submission deadline: May 15, 2024
======================================================================

TOPICS

The workshop on Advances in Preference Handling addresses all
computational aspects of preference handling. This includes methods
for the elicitation, learning, modeling, representation, aggregation,
and management of preferences and for reasoning about preferences. The
workshop studies the usage of preferences in computational tasks from
decision making, database querying, web search, personalized human-
computer interaction, personalized recommender systems, e-commerce,
multi-agent systems, game theory, social choice, combinatorial
optimization, planning and robotics, automated problem solving,
perception and natural language understanding and other computational
tasks involving choices. The workshop seeks to improve the overall
understanding of and best methodologies for preferences in order to
realize their benefits in the multiplicity of tasks for which they are
used. Another important goal is to provide cross-fertilization between
the numerous sub-fields that work with preferences.

- Preference handling in artificial intelligence
- Preference handling in database systems
- Preference handling in multiagent systems
- Applications of preferences
- Preference elicitation and learning
- Preference representation and modeling
- Properties and semantics of preferences
- Practical preferences

FORMAT

The program will consist of presentations of peer-reviewed papers,
panel discussions about future challenges, and an invited talk.

SUBMISSION

We invite interested researchers to submit papers on any computational
aspect of preference handling. Submissions should be formatted
according to the ECAI formatting instructions and not exceed 7 pages
(plus 1 extra page for references).

The purpose of workshop presentations is to get early feedback on new
ideas and to stimulate discussions between researchers interested in
preference handling. As such, there will be no formal proceedings, but
we may post accepted papers on the workshop website for the benefit of
the workshop participants if the authors agree to this and the paper
has not already been published.

Original submissions: Submissions about unpublished ideas will be
reviewed by a double-blind process and should be anonymous.

Multiple submissions: Authors who are seeking a broader forum for
already published work and who are interested in giving a
presentation to the workshop's audience may submit their work
non-anonymously while indicating where this work has been
published. We will only accept work which has been published in
the last calendar year (e.g., ECAI 2023, AAAI 2024, and any
conference held after May 2023).

Transferred papers: In addition to regular paper submissions, we
also consider accepting papers rejected from the main
conference. Decisions about acceptance of these transferred
papers will be based on the reviews of the ECAI PC.

FORMATTING INSTRUCTIONS

https://ecai2024.eu/download/ecai-template.zip

SUBMISSION WEBSITE

https://chairingtool.com/conferences/15MPREFH/MainTrack

IMPORTANT DATES

- Submission deadline (regular papers): May 15, 2024.
- Author notification (regular papers): July 1, 2024.
- Submission deadline (transferred papers): July 11, 2024.
- Author notification (transferred papers): July 18, 2024
- Camera-ready: August 1, 2024.
- M-PREF Workshop: October 19 or 20, 2024.

WORKSHOP ORGANIZERS

Ulrich Junker, France
Anaëlle Wilczynski, Université Paris-Saclay, France

CONTACT EMAIL

inquiries@mpref2024.mpref.org

WORKSHOP URL

https://mpref2024.mpref.org
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] iMETA 2024: The 2nd International Conference on Intelligent Metaverse Technologies & Applications, Dubai, UAE

*The 2nd International Conference on Intelligent Metaverse Technologies &
Applications (**iMETA2024)*

24–26 November, 2024 – Dubai, UAE

https://imeta-conference.org/

Over the years, technology has advanced significantly, and the creation of
the virtual environments (i.e., metaverse) is one of the latest innovations
that is set to revolutionize how we interact, process, and connect our
real-life to other lifes. With the metaverse, we are presented with a new
realm that blurs the lines between the physical and digital world,
providing a new space for communication, commerce, services, and
entertainment.

The International Conference on Intelligent Metaverse Technologies &
Applications (iMeta) is to bring together leading researchers, academics,
and industry experts to explore the various aspects of the distributive
metaverse, including its technologies, applications, and implications for
various industries. Attendees can expect to participate in exciting keynote
speeches, panel discussions, and presentations on cutting-edge research
field. Throughout the conference, there will be ample opportunities for
attendees to network, share their knowledge, and collaborate on future
initiatives that will drive the development of the metaverse forward. We
are confident that iMeta conference will inspire new ideas, foster
innovation, and spark collaborations that will push the boundaries of the
metaverse and its potential to change the world as we know it.

Overall, the iMETA conference aims to provide attendees with comprehensive
understanding of the communication, computing, and system requirements of
the metaverse. Through keynote speeches, panel discussions, and
presentations, attendees will have the opportunity to engage with leading
experts and learn about the latest developments and future trends in the
field. The conference will also provide ample opportunities for networking,
sharing knowledge, and collaborating with others in the metaverse community.

*List of Tracks:*

Researchers are encouraged to submit original research contributions in all
major areas, which include, but not limited to:

1. AI

2. Security and Privacy

3. Networking and Communications

4. Systems and Computing

5. Multimedia and Computer Vision

6. Immersive Technologies and Services

7. Storage and Processing

*Publication*

*IEEE is a technical sponsor of iMETA 2024*. All accepted papers in iMETA
2024 and the workshops co-located with it will be submitted to IEEEXplore,
dblp and Scopus for inclusion.

*Important Dates:*

- Papers due: May 30, 2024
- Acceptance notification: Sept 1, 2024
- Camera-ready paper due: Oct 10, 2024
- Workshop Proposal due: April 30, 2024

*Submission Guidelines:*

There are three categories of submission:

- *Long papers:* 7-8 pages.
- *Short papers:* 5-6 pages.

§ *Poster papers: 1-2 pages (undergraduate).*

*Submission Link: *https://easychair.org/my/conference?conf=imeta2024

*Organizing Committee*

* Steering Committee*

§ Albert Zomaya, University of Sydney, Australia

§ Giancarlo Fortino, University of Calabria, Italy

§ Ian F. Akyildiz, Truva Inc., USA

§ Merouane Debbah, TII, UAE

§ Nirwan Ansari, New Jersey Institute of Technology, USA

§ Salil Kanhere, UNSW Sydney, Australia

§ Walid Saad, Virginia Tech, USA

*General Co-Chair*

§ Farina (Nadia) Bhuiyan, Zayed University, UAE

§ Moayad Aloqaily, MBZUAI, UAE

*Program Co-Chairs*

§ Madhusanka Liyanage, University College Dublin, Ireland

§ Xiaokang Zhou, Shiga University, Japan

§ Vinayaka Pandit, IBM India Research Lab, India

§ Safa Otoum, Zayed University, UAE

--Regards,

Friday, April 19, 2024

[DMANET] CSF 2024 - Call for Participation

*****************************************************************************
CSF 2024 - Call for Participation

37th IEEE Computer Security Foundations Symposium

July 8-12, 2024

*** Early registration deadline: June 14, 2024 ***

University of Twente
Enschede, The Netherlands

https://csf2024.ieee-security.org
*****************************************************************************

The Computer Security Foundations Symposium (CSF) is an annual
conference for researchers in computer security, to examine current
theories of security, the formal models that provide a context for
those theories, and techniques for verifying security. It was created
in 1988 as a workshop of the IEEE Computer Society's Technical
Committee on Security and Privacy, in response to a 1986 essay by Don
Good entitled "The Foundations of Computer Security—We Need Some." The
meeting became a "symposium" in 2007, along with a policy for open,
increased attendance. Over the past two decades, many seminal papers
and techniques have been presented first at CSF. For more details on
the history of the symposium, visit CSF's home.

The program includes papers, panels, and a poster session. Topics of
interest include access control, information flow, covert channels,
cryptographic protocols, database security, language-based security,
authorization and trust, verification techniques, integrity and
availability models, and broad discussions concerning the role of
formal methods in computer security and the nature of foundational
research in this area.

REGISTRATION INSTRUCTIONS AND DEADLINES

See https://csf2024.ieee-security.org/registration.html for the
registration instructions and fees.

Registration link: https://www.aanmelder.nl/155183/registration

*** The early registration deadline is: June 14, 2024 ***

LOCATION

The conference will be held at the U Parkhotel, located in the campus
of the University of Twente, Enschede, The Netherlands.

See https://csf2024.ieee-security.org/venue.html for further
information on how to reach the conference venue.

ACCOMMODATION

Rooms have been reserved at the following hotels:

- U Parkhotel (the conference venue)
- Intercity Hotel (located in the city center of Enschede)

Further information on room rates and how to book them are available at:

https://csf2024.ieee-security.org/accommodation.html

KEYNOTE SPEAKERS

- TBA

ACCEPTED PAPERS

The list of accepted papers is available here:

https://csf2024.ieee-security.org/accepted.html

GENERAL CHAIRS

- Kaitai Liang, TU Delft, The Netherlands
- Luca Mariot, University of Twente, The Netherlands

PROGRAM CHAIRS

- Toby Murray, University of Melbourne, Australia
- Tamara Rezk, INRIA, France

STEERING COMMITTEE

PROGRAM COMMITTEE

- Mário Alvim (UFMG - Universidade Federal de Minas Gerais)
- Timos Antonopoulos (Yale University)
- Arthur Azevedo de Amorim (Rochester Institute of Technology)
- Musard Balliu (KTH Royal Institute of Technology)
- Tajana Ban Kirigin (Faculty of Mathematics, University of Rijeka)
- Sébastien Bardin (CEA LIST, Université Paris-Saclay)
- Lennart Beringer (Princeton University)
- Abhishek Bichhawat (IIT Gandhinagar)
- Roberto Blanco (Max Planck Institute for Security and Privacy)
- Yinzhi Cao (Johns Hopkins University)
- Cas Cremers (CISPA Helmholtz Center for Information Security)
- Mads Dam (KTH)
- Lesly-Ann Daniel (KU Leuven)
- Stéphanie Delaune (Univ Rennes, CNRS, IRISA, France)
- Ante Derek (University of Zagreb, Faculty of Electrical Engineering and
Computing)
- Dominique Devriese (KU Leuven)
- Ni Ding (University of Melbourne)
- Dominic Duggan (Stevens Institute of Technology)
- Michael Emmi (Amazon Web Services)
- Matt Fredrikson (Carnegie Mellon University)
- Klaus v. Gleissenthall (VU Amsterdam )
- Benjamin Gregoire (INRIA)
- Chris Hawblitzel (Microsoft Research)
- Jana Hofmann (Microsoft Azure Research)
- Catalin Hritcu (MPI-SP)
- Justin Hsu (Cornell University)
- Marieke Huisman (University of Twente)
- Elisavet Kozyri (UiT The Arctic University of Norway)
- Robert Künnemann (CISPA Helmholtz Center for Information Security)
- Steve Kremer (Inria Nancy)
- Peeter Laud (Cybernetica AS)
- Flaminia Luccio (University Ca' Foscari, Venice, Italy)
- Ning Luo (Northwestern University)
- Sergio Maffeis (Department of Computing, Imperial College London)
- Pasquale Malacaria (Queen Mary University of London)
- Piotr Mardziel (Independent)
- Andrea Marin (University Ca' Foscari of Venice)
- Sjouke Mauw (Sjouke Mauw)
- Catherine Meadows (NRL)
- Scott Moore (Galois, Inc.)
- Carroll Morgan (UNSW and Trustworthy Systems)
- Greg Morrisett (Cornell Tech)
- Sebastian Mödersheim (DTU - Technical University of Denmark)
- Johannes Müller (University of Luxembourg)
- Sabine Oechsner (VU Amsterdam)
- Corina Pasareanu (NASA Ames, KBR, Carnegie Mellon University (CyLab))
- Marco Patrignani (University of Trento)
- Frank Pfenning (Carnegie Mellon University)
- Andrei Popescu (University of Sheffield. UK)
- Jonathan Protzenko (Microsoft Research)
- Aseem Rastogi (Microsoft Research)
- Xavier Rival (INRIA)
- Peter Y A Ryan (University of Luxembourg)
- Ralf Sasse (ETH Zurich)
- Clara Schneidewind (MPI-SP)
- Dominique Schröder (Friedrich-Alexander University Erlangen-Nürnberg)
- Alley Stoughton (Boston University)
- Nikhil Swamy (Microsoft Research)
- Tachio Terauchi (Waseda University)
- Mayank Varia (Boston University)
- Kirsten Winter (Defence Science and Technology Group, Australia and The
University of Queensland, Australia)

ORGANIZING COMMITTEE

CONTACT

- Kaitai Liang (kaitai.liang@tudelft.nl)
- Luca Mariot (l.mariot@utwente.nl)

[DMANET] First Announcement: Kolkom 2024 in Heidelberg

The 41st Colloquium on Combinatorics in held in Heidelberg on 11th and
12th October 2024.

Conference webpage: https://web.ifi.uni-heidelberg.de/kolkom24

Confirmed invited plenary speakers:
Julia Böttcher, LSE
Zdenek Dvorak, Charles University Prague
Torsten Mütze, University of Kassel

We welcome contributed 20 minutes talks. Abstract submission deadline:
24th September 2024

Early registration deadline 8th September 2024
Registration deadline: 22nd September 2024

Conference fee: 90€/100€
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] PhD position in 0ptimization at the University of Augsburg

There is a PhD position in Optimization available at the University of
Augsburg, Department of Mathematics, Chair for Discrete Mathematics,
Optimization and Operations Research. Some teaching in German is part of
this PhD position. The application deadline is May 5, 2024.

For more details contact Elisabeth Gaar (elisabeth.gaar@uni-a.de) or see
https://www.uni-augsburg.de/de/jobs-und-karriere/stellenangebote/2024/04/11/wissenschaftliche-mitarbeiterin-wissenschaftlicher-mitarbeiter-mwd-mathematisch-naturwissenschaftlich-technische-fakultat_346/

--
Prof. Dr. Elisabeth Gaar
Department of Mathematics
University of Augsburg
86135 Augsburg, Germany

P: +49 821 598 2234
E: elisabeth.gaar@uni-a.de
W: www.uni-augsburg.de/de/fakultaet/mntf/math/prof/opt/team/gaar/

[DMANET] Deadline: April 30, 2024 for submissions special issue on Scheduling Theory and Algorithms for Sustainable Manufacturing

Extended deadline for submissions to the special issue on

https://www.mdpi.com/journal/algorithms/special_issues/7C92M715OY

The aim of this Special Issue is to present state-of-the art
mathematical models and algorithms providing efficient solutions for
practical planning and scheduling issues in sustainable manufacturing
and logistics. Currently, the production and logistics systems for goods
and services are faced with both production cost optimization and
scarcity of resources. Scheduling plays a central role and offers the
possibility to:

* Reduce production waste,
* Manage efficiently and limit the consumption of material resources
and energy,
* use efficiently new energy sources, especially renewable ones.

Potential topics to be addressed in this issue on the contributions of
scheduling theory and algorithm for sustainable manufacturing include,
but are not limited to, the following:

* Consideration of energy constraints in scheduling and planning;
* Green scheduling approaches in Industry 4.0;
* Advanced scheduling and planning algorithms for minimization of waste;
* Contributions of scheduling and planning theory for minimization of
the carbon emissions;
* Multi-objective scheduling problems taking into account the
sustainability criteria.
* Exact and approximate models and methods for sustainable scheduling
and planning;
* Industrial applications of advanced scheduling and planning algorithms.

https://www.mdpi.com/journal/algorithms/special_issues/7C92M715OY

Deadline: April 30, 2024 (if you need more time please contact me)

--
____________________________________________________________________________

Alexandre Dolgui, Dr.habil., Ph.D., IISE Fellow,
Professor and Head

Automation, Production and Computer Sciences Dept.
IMT Atlantique, LS2N-CNRS
La Chantrerie, 4, rue Alfred Kastler - B.P. 20722
F-44307 NANTES Cedex 3, France
E-mails:alexandre.dolgui@imt-atlantique.fr
URL:www.imt-atlantique.fr/en/person/alexandre-dolgui

Editor-in-Chief
International Journal of Production Research
https://www.tandfonline.com/toc/tprs20/current

New Book: Supply Network Dynamics and Control
https://link.springer.com/book/9783031091780

The 60th Anniversary of IJPR was celebrated at the
10th IFAC MIM conference, June 22 to 24, 2022, Nantes, France
www.mim2022.com (with 767 attendees)
_____________________________________________________________________________

[DMANET] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FINAL CALL FOR PAPERS (April 24, 2024)

FINAL CALL FOR PAPERS KR 2024 (Deadline: April 24, 2024)
21st International Conference on
Principles of Knowledge Representation and Reasoning, KR 2024
November 2 - November 8, 2024, Hanoi, Vietnam

Deadline for submissions (final call) : 24 April 2024
Conference web site: www.kr.org/KR2024

-- Final Call for Papers --

Knowledge Representation and Reasoning (KR) is a well-established and
vibrant field of research within Artificial Intelligence. KR builds
on the fundamental thesis that knowledge can often be represented in
an explicit declarative form, suitable for processing by dedicated
symbolic reasoning engines. This enables the exploitation of knowledge
that would otherwise be implicit through semantically grounded
inference mechanisms. KR has contributed to the theory and practice of
various areas of AI, including agents, automated planning, robotics
and natural language processing, and to fields beyond AI, including
data management, semantic web, verification, software engineering,
computational biology, and cybersecurity.

The KR conference series is the leading forum for timely in-depth
presentation of progress in the theory and practice of the
representation and computational management of knowledge.

KR 2024 will consist of a number of tracks and events. It will include
a KR in the Wild, a Reasoning, Learning and Decision Making track and
a recently published research (RPR) track, tutorials, workshops,
competitions, and a doctoral Consortium. Details about all these
events and the corresponding calls can be found on the website
(www.kr.org/KR2024) .

We solicit papers presenting novel results on the principles of KR,
which clearly contribute to the formal foundations of the field, or
show the applicability of KR techniques to implemented or
implementable systems. We welcome papers from other areas that
demonstrate clear use of, or contributions to, the principles or
practice of KR. We also encourage "reports from the field" of
applications, experiments, developments, and tests. Further details
about the submission guidelines and the selection criteria can be
found on the website (www.kr.org/KR2024/submission.php) .

-- Important Dates --

• Submission of title and abstract: April 24, 2024
• Paper submission deadline: May 1, 2024
• Author response period: June 25 - July 1st
• Author notification: July 10, 2024
• Camera-ready papers: July 31, 2024
• Conference: November 2-8, 2024

-- Submission Guidelines --

Contributions may be regular papers (up to 9 pages) or short papers
(up to 4 pages), including abstract, figures, and appendices (if any)
but excluding references and acknowledgements.

Both full and short papers must describe original, previously
unpublished research and should not be simultaneously submitted
elsewhere. These restrictions do not apply to papers already accepted
in workshops with a limited audience and without archival proceedings,
or to papers available in public repositories (e.g., arXiv). Note
that extended abstracts of recently published works can be submitted
to the recently published research track, which has a separate call.

Papers must be written in English and formatted using the style files
provided in the submission page. Submissions are not anonymous (i.e.,
reviewing is single-blind) and must be submitted in PDF format.

The paper title, author names, contact details, and a brief abstract
must be submitted electronically through the conference system by the
abstract submission deadline. It will be possible to make minor edits
to the title and abstract until the full paper submission deadline.
Submissions with "placeholder" abstracts will be removed without
consideration.

Full papers must be submitted through the same site by the paper
submission deadline. The list of author names provided at submission
time is final. Authors may not be added to or removed from papers
after submission.

Authors may submit a separate PDF with additional information
supporting their claims (such as proof details, additional
experimental results, further details on experimental design, etc).
Such supplementary material should be submitted via the conference
management system. The paper must be self contained, as the
supplementary material will not be published. Reviewers will have the
option, but not the obligation, to consult the supplementary material.

-- Selection Process --

The program committee consists of PC members (reviewers) and Area
Chairs (ACs), who overview the reviewing and meta-reviewing process.
Selection criteria include the novelty and originality of ideas,
correctness, clarity, significance of results, potential impact and
quality of the presentation. Papers violating the format (e.g., by
decreasing margins or font sizes) or describing contributions that do
not significantly meet the topics of the conference will be desk
rejected by the program chairs, without any opportunity to submit
an author response. By submitting a paper, authors acknowledge that
they are aware of the possibility of receiving a summary rejection
notification.

Papers that are not desk rejected will be reviewed by a group of
PC members (PCs) and the reviewing process will be supervised by an
Area Chair (AC).

During the reviewing period, authors will have the opportunity to
respond to reviews by pointing out factual errors and answering
specific questions. Author responses should be concise, and are not
intended to create a dialogue between reviewers and authors. Author
responses will be visible to PCs and ACs. The program co-chairs will
make the final decisions and there are no appeals.

Accepted papers will be published in the KR 2024 proceedings. At least
one author of each accepted paper is required to participate in the
conference and present the work.

Prizes for best papers (the Ray Reiter Best Paper Prize and the Marco
Cadoli Best Student Paper Prize) may be awarded, and runners-up may be
mentioned. Top papers from KR 2024 will be invited to the
award-winning paper tracks of Artificial Intelligence (AIJ) and of the
Journal of Artificial Intelligence Research (JAIR). Thus, award
winners will have the possibility of choosing between AIJ and JAIR.

All submissions will be treated confidentially until the publication
date.

-- Topics of Interest --

Typical topics of interest include the following, but the list is not
exhaustive. The conference welcomes all topics concerned with the
explicit representation or management of knowledge, and with the
automated inference on the basis of such knowledge.

• Argumentation
• Belief revision and update, belief merging
• Common-sense reasoning
• Computational aspects of knowledge representation
• Concept formation, similarity-based and contextual reasoning
• Description logics
• Explanation finding, diagnosis, causal reasoning, abduction
• Geometric, spatial, and temporal reasoning
• Inconsistency- and exception-tolerant reasoning
• Knowledge acquisition
• Ontologies and reasoning in the semantic web
• Knowledge representation languages
• Knowledge compilation, automated reasoning, satisfiability and
model counting
• Logic programming, answer set programming
• Reasoning about preferences
• Reasoning in multi-agent systems
• Non-monotonic logics, default logics, conditional logics
• Qualitative reasoning, reasoning about physical systems
• Reasoning about plans, actions and change, action languages
• Reasoning about constraints and preferences
• Reasoning about knowledge, beliefs, and other mental attitudes
• Uncertainty, vagueness, many-valued and fuzzy logics

-- Submission Site --

Papers should be in English and must be submitted electronically to
the Main track of KR 2024.

The submission site will open on Thursday 15 February 2024.

Further details can be found via the conference web site:
www.kr.org/KR2024/dates.php

KR Inc, not for profit Scientific Foundation, , Massachusetts, USA , ,

Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-H2W38DtNm4htMPVW2zwFTC3LYYcSW1_ty952xHyb1W2-BFsQ3ZZnpcW1BL36l2vK0FPW1Nn57T2sBz6XW3DVRcx3P2wPkW3GHkCy4mbqL7W2nFqvp30CbRtW1-ZfNl3ZCCzBW2FXKZX4fFGxwW2-bNzc1VfH3hW2YG3r12sT6B7W2ThYw232lggwW3M16-T3LNjBkW4tGwtC2TCfMLW41Rg5G30sJSkW3DZyxD2YG_cxW34fs1b3by9tdW36Cn9q3ZZQ_XW47C1DK32pcNvW4pHR501S3B3WW4ffWT_1_5f51W4tn-rk4tvqh9W3d8ynJ2MMMTtW34f24R32h0H1W3drvJZ41qJ5KW2xPLYF3_XqdXW3gtnht41XKM8W4pb_m33ZPFflW34mgT63j0HncW47QGl82zwfCZW49rvZX2Tt4f-W1Xvsbj3VZlp3W49Jcpc23jpNDW3gmYK42Wnl2yW1QzqlZ3XJRjDW3KcHf32nW7KRW2MSlqz23lVGgW2PC8l54kt4BTW2TyK0G49S5xCW3b52653_RTV7W3M4lh52qLfjYW3VQS8g2s-lWxW41zx-93R15njf1BL4BQ04&_hsenc=p2ANqtz-_IWJUxUUQP2tWKN5fvtgwewr6ffhV-eO8F7sht6Ft1kUNOkznXPcsSQ0-ebF1E5IxyWlOk4TsXNDZN2dL9PkOtpnIbHA&_hsmi=303400097 )

Thursday, April 18, 2024

[DMANET] CFP: 29th IEEE Pacific Rim International Conference on Dependable Computing (PRDC 2024) Osaka, Japan November 13-15, 2024

==============CALL FOR PAPERS=================
29th IEEE Pacific Rim International Conference on Dependable Computing (PRDC 2024)
Osaka, Japan
November 13-15, 2024
https://prdc.dependability.org/PRDC2024/

PRDC 2024 is the 29th event in a series of symposia started in 1989 devoted to dependable and fault-tolerant computing; it encompasses fundamental theoretical approaches, practical experimental projects, and commercial components and systems. This symposium is recognized as the main event in the Pacific Rim area, and it provides a forum for countries around the world to exchange ideas for improving the dependability of computing systems.

*** Topics of interest include (but not limited to) ***

- Software and hardware reliability, resilience, safety, security, testing, verification, and validation
- Dependability measurement, modeling, evaluation, and tools
- Self-healing, self-protecting, and fault-tolerant systems
- Architecture and system design for dependability
- Prognostics in Complex Systems
- Reliability analysis of Complex Systems
- Fault-tolerant algorithms and protocols
- Cloud computing resiliency, security and privacy
- Software defined networks architectures and protocols
- Dependability issues in computing systems (e.g. computer networks and communications, high performance computing, real-time systems, storage and databases systems, cyber-physical systems, socio-technical systems, and blockchain and smart contracts).
- Emerging technologies (autonomous systems including autonomous vehicles, human machine teaming, smart devices/Internet of Things)

*** Submission and Publication Information ***

Manuscripts should use the IEEE double-column format (https://www.ieee.org/conferences/publishing/templates.html) in 10 pages for full papers and 6 pages for short papers. The references are not included in the page limit. Regardless of full or short papers, the authors can choose either one of the following two submission categories: (i) Regular Research Papers and (ii) Practical Experience Reports.
Regular Research Papers should describe original research (not submitted or published elsewhere).
Practical Experience Reports should describe an experience or a case study, such as the design and deployment of a system or actual failure and recovery field data.

- All submissions must be made electronically (in PDF format) on the submission website. Please note that all submissions will undergo a double-blind review. Please ensure that you have removed any references that could lead to identifying the authors of the paper. Failure to do so may result in the rejection of the paper regardless of the paper's contributions. Papers will be reviewed internationally and selected based on their originality, significance, relevance, and clarity of presentation. All accepted papers will be published by the IEEE Computer Society Press (EI Indexed).
- The submission website: https://prdc24.hotcrp.com/

*** Paper Award ***

One outstanding paper will be selected to receive the Best Paper Award, and one outstanding paper first-authored by a student will receive the Best Student Paper Award. A few excellent papers will be recommended to have their extended versions submitted to an international journal. The name of the Journal will be announced later.

*** Important Dates ***

- Abstract submission: July 24th, 2024 (AoE)
- Paper submission: July 31st, 2024 (AoE)
- Author notification: August 31st, 2024 (AoE)
- Camera-ready version: September 13th, 2024 (AoE)

*** Program Committee Co-Chairs ***

Valerio Schiavoni, Universite de Neuchatel, Switzerland
Fumio Machida, University of Tsukuba, Japan

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Postdoctoral Position Available In Computational Psychiatry at the University of Alberta

Postdoctoral Position In Computational Psychiatry
(Real-World Applications of AI and Machine Learning on Health Data)

The Department of Psychiatry at the University of Alberta in Edmonton is
recruiting two postdoctoral fellows in computational psychiatry focusing on
Real-World Applications of Artificial Intelligence (AI) and Machine
Learning (ML) on Health Data (e.g., claims, prescriptions, emergency
visits, hospitalization records, laboratory tests, clinical, behavioral and
cognitive assessments, surveys). The aim of the projects is to improve
health outcomes and facilitate evidence-based decision making about mental
and substance use disorders and other adverse outcomes (e.g., overdose) for
clinicians, health service providers and policymakers through translation
and implementation of AI and ML in the real world beyond research settings.

The successful applicants will participate and lead research that applies
advanced statistical, AI and ML techniques to large populational health
data of patients with mental and substance use disorders. Current and
potential projects include two main directions: 1) Individualized
prediction of mental and substance use disorders and overdoses and
associated health and economical outcomes in the population using health,
survey and biological data; 2) Implementation of ML models through
interactions with multiple stakeholders and people with living and lived
experiences. Applicants must possess a doctoral degree (PhD or MD/PhD) in
relevant disciplines, such as computer science, mathematics, neuroscience,
physics, psychiatry, psychology or statistics. Clinical or health research
experience and strong coding or analytical skills are required. Previous
experience in structured and/or unstructured large-scale health data, a
vision in future precision and personalized mental health, strong
scientific writing and communication skills and capability to work
collaboratively in an interdisciplinary team and dynamic environment are
desired.

The successful applicants will have the opportunity of supervised access to
several public and government/institution owned datasets, including large
(over 4 million people) de-identified health data from Alberta. In this
context, there are excellent opportunities for shared mentorship and
collaboration with several PIs in psychiatry and computing science,
including the Alberta machine intelligence institute (Amii). The successful
applicant will play a leadership role for several research projects in
computational psychiatry, develop and participate in preparation of
research grant proposals, assist in the supervision and training of other
personnel including technologists, graduate students, other lab members and
scientific collaborators. The successful applicant will also have the
opportunity to work directly with our partners in Ministries of Alberta
Government, Alberta Health Services (AHS) and Canadian Mental Health
Association Edmonton, as well as international partners. The ideal
applicant will exhibit a high level of motivation to pursue data-driven
research in mental disorders, to publish in excellent peer-reviewed
journals, and to seek prestigious fellowships and research awards, as
appropriate.

The stipend will be commensurate with the experience of the successful
candidate. The positions are available immediately and funding is
sufficient to support the initial position for at least two years.

Fluency in English is a requirement and for applicants who did not complete
training in an accredited English language institution, IELTS scores will
normally be required as evidence of proficiency.

The University of Alberta acknowledges that we are located on Treaty 6
territory, and respects the histories, languages and cultures of First
Nations, Metis, Inuit and all First Peoples of Canada, whose presence
continues to enrich our vibrant community.

The Faculty of Medicine & Dentistry at the University of Alberta is one of
Canada's premiere health-sciences institutes, and in recent years has
ranked among the top 50 medical schools in the Times Higher Education World
University Rankings. The University of Alberta is home to more than 40,000
students in 200+ undergraduate and 500+ graduate programs, over 13,000
faculty and staff, more than 300,000 alumni worldwide and have been
recognized as one of Canada's Greenest Employers for over a decade.

The University of Alberta is located in Edmonton, a vibrant metropolitan
area of 1.5M and the provincial capital for Alberta. This friendly city
offers a rich cultural life and diverse recreational opportunities. The
campus on which the Faculty of Medicine & Dentistry is located is adjacent
to the North Saskatchewan River with one of the largest municipal park
systems in North America. Edmonton is approximately 3.5 hours by car from
Jasper and from Banff in the Canadian Rockies.

To Apply:

Candidates should submit a cover letter, a statement of career goals,
research interests (e.g., preferred research direction) and vision for
research track if applicable; a complete CV (Canadian Common CV is
acceptable) including a summary of graduate thesis research and
post-doctoral research (if applicable), undergraduate and graduate
transcripts, and the names and contact information (address, phone number
and email address) of three referees to:

Dr. Bo Cao
Associate Professor, Canada Research Chair & Co-Director of Computational
Psychiatry Group
Department of Psychiatry, Faculty of Medicine & Dentistry
Adjunct Professor, Department of Computing Science, Faculty of Science
University of Alberta
Edmonton, Alberta T6G 2B7, Canada
Email address: bcao2@ualberta.ca
Webpage: https://www.ualberta.ca/medicine/about/people/Bo-Cao

We thank all applicants for their interest; however, only those individuals
selected for an interview will be contacted.

The University of Alberta is committed to an equitable, diverse, and
inclusive workforce. We welcome applications from all qualified persons. We
encourage women; First Nations, Métis and Inuit; members of visible
minority groups; persons with disabilities; persons of any sexual
orientation or gender identity and expression; and all those who may
contribute to the further diversification of ideas and the University to
apply.

[DMANET] Seeking Postdoctoral Fellow (PDF) in Machine Learning at the University of Alberta

Position Title: Postdoctoral Fellow (PDF) in Machine Learning
Duration: 2 years
Start Date: May 2024 (negotiable)
Research Group: The Greiner Lab, University of Alberta (Edmonton) & Amii
(the Alberta Machine Intelligence Institute)

Summary
We are looking for a talented, knowledgeable and ambitious candidate to
research several interesting medical-informatics tasks related to
epidemiology (population disease forecasting) and bio-chemical analysis, as
well as foundational topics, especially survival prediction and
counterfactual reasoning, towards effectively learning personalized
treatment effects.

Expectations
1. Participate in relevant research and direct several projects
2. Work with (and perhaps co-supervise) various students
3. Collaborate with many colleagues, in both machine learning and
medicine/healthcare
4. (Co)write high-impact scientific publications
5. Present your work at leading conferences
6. Develop tools that can be used by researchers and practitioners

Requirements
1. PhD in computing science or a related area, with a focus on machine
learning and statistics
2. Experience in Medical Informatics is a asset
3. Evidence of high-quality research, such as publications in relevant
top-tier venues
4. Effective communicator in English, both written and spoken

How to Apply
Please send the following information (preferably in a single PDF file) to
rgreiner+PDF2024@ualberta.ca, with subject "PDF Medical Informatics 2024"
1. A cover letter summarizing your past work and insights on this topic,
and perhaps specific future directions
2. Your curriculum vitae, including a list of publications
3. Contact information for (at least) two references

[DMANET] [CFP] Sensing and Data Platforms: what is ahead of us (Special Session 11), IEEE MetroAgriFor Workshop

[Apologies if you receive multiple copies of this message]

Dear Researchers/Authors,
You are invited to submit your high-quality research findings to the
Special Session 11: "Sensing and Data Platforms: what is ahead of us" of
the 2024 IEEE International Workshop on Metrology for Agriculture and
Forestry (MetroAgriFor).

October 29-31, 2024 - Padua, Italy

Website: https://www.metroagrifor.org/special-session-11

Aims and Scope
The role of sensing, including in-situ, proximity and remote, is increasingly crucial for agriculture and forestry.
Huge investments have been made in this field - consider for instance satellite constellations for remote sensing, the thriving UAV sector, and the dawning sector of terrestrial rovers - and benefits are evident in several application areas.
The other side of the coin is represented by the data platforms used to collect, store, and process the huge amount of data coming from sensing platforms.
Such data platforms should, among others, provide interoperable data through open interfaces (APIs) to different classes of users, but such functionality has not yet reached its full potential.

In Europe, there have been several recent initiatives focused on enhancing data sharing and processing.
One key effort is the European Strategy for Data, which introduces the concept of a Common European Data Space and includes actions to deploy Agriculture and Green Deal sectorial data spaces.
Additionally, the Horizon Europe framework is providing funding for the establishment of European Partnerships that bring together the European Commission with private and/or public partners to address pressing challenges through collaborative research and innovation projects.
One such partnership, the European Partnership for Agriculture of Data, aims to support sustainable agriculture in the EU and improve policy monitoring and implementation by leveraging digital and data technologies for environmental observation.

The goal of this special session is to investigate the potential and the challenges of both sensing and data platforms, looking to future developments, and also considering economic and legal aspects to be carefully taken into consideration.

Contributions are expected to contribute to, but are not limited to, the following topics:

- sensing systems, both local and remote, and recent developments;
- state of the art of data platforms linked to sensing systems, standards, interoperability enablers, and sustainability of their business model;
- GEOSS Data Sharing and Management Principles, FAIR principles, and other interoperable solutions with the potential to further push the use of sensing data;
- economic and legal aspects that can fuel or limit the use of such systems.

Important dates
- Extended Abstract Submission: June 10, 2024
- Extended Abstract Notification: September 1, 2024
- Final Paper Submission: September 20, 2024

Submission Instruction
Authors should prepare an Extended Abstract (4-5 pages) that clearly
indicates the originality of the contribution and the relevance of the
work. The Extended Abstract should include the title of the paper, names
and affiliations of the authors, an abstract, keywords, an introduction
describing the nature of the problem and the state of the art in the field
of interest, a description of the contribution, the results achieved and
their applicability, conclusions, and references.
When the review process has been completed, authors receive a notification
of either acceptance or rejection of the submission. If the paper has been
accepted, the authors can prepare a final paper that incorporates the
reviewers' suggestions.
The format for the final paper is identical to the format for the extended
abstract except for the number of pages: the full paper has a required
minimum length of five (5) pages and a maximum of six (6) pages.

Special Session Organizers
- Manlio Bacco
Institute of Information Science and Technologies (ISTI), CNR, Italy
manlio.bacco@isti.cnr.it

- Federico Coro'
University of Perugia, Italy
federico.coro@unipg.it

- Paolo Mazzetti
Institute of Atmospheric Pollution Research - National Research Council, Italy
paolo.mazzetti@cnr.it

- Lorenzo Palazzetti
University of Perugia, Italy
lorenzo.palazzetti@unifi.it

- Cristina Domingo-Marimon
CREAF, Spain
cristina.domingo@uab.cat

- Margherita Di Leo
Arcadia SIT
Margherita.DI-LEO@ext.ec.europa.eu

Thank you for your consideration.

[DMANET] [CFP] 1st IEEE LCN Special Track on Algorithmic Solutions for Drone- and Robot-based Networks (ASDRoNet) 2024

[Apologies if you receive multiple copies of this message]

**CALL FOR PAPERS**

Dear Researchers/Authors,

You are invited to submit your high-quality research findings to the 1st IEEE LCN Special Track on Algorithmic Solutions for Drone- and Robot-based Networks (ASDRoNet) 2024

Date: October 8-10, 2024

Location: Caen, Normandy, France

ASDRoNet co-located with IEEE LCN 2024

Website: https://asdronet2024.github.io/

Submission link: https://edas.info/index.php?c=32354

**SCOPE**

Drones have transformed into versatile tools with applications across agriculture, environmental monitoring, delivery, and surveillance, revolutionizing operations through real-time data collection and efficient task execution in diverse industries.
As technology continues to evolve, the integration of robots alongside drones further enhances their capabilities.
Robots can collaborate with drones to perform complex tasks and navigate challenging terrains, increasing efficiency and expanding the scope of applications.

However, challenges impede their optimal performance. Limited energy capacity restricts operational time, especially in extended or remote missions. Moreover, the integration of robots introduces additional complexities in coordination, communication, and task distribution between heterogeneous agents.
Such challenges can be solved based on a broad spectrum of algorithms, ranging from traditional combinatorial optimization methods to modern machine learning techniques.
Algorithms play a pivotal role in enhancing the efficiency and autonomy of drone and robot systems, enabling them to adapt to dynamic environments, optimize resource utilization, and make intelligent decisions in real-time.

For this Special Track, ASDRoNet 2024, we seek submissions of high-quality papers addressing both theoretical and practical aspects of drone and robot research.
Topics of interest include, but are not limited to, route planning, task allocation, resource management, scheduling, and network design for integrated drone and robot fleets. Furthermore, submissions are encouraged to delve into algorithmic advancements, computational complexity analyses, and real-world case studies that demonstrate the synergy between drones and robots in various applications.

**TOPICS OF INTEREST**

- Autonomous sensing

- Topology monitoring

- Remote sensing networks

- Communication protocols

- Modeling and analysis

- Precision agriculture

- Crops monitoring in agriculture

- Bugs monitoring in agriculture

- Environmental monitoring

- Autopilot and UAS autonomy

- Path planning and scheduling

- Parcel delivery

- Cellular networks

- Constrained and multi-objective problems

- Sensors localization

- Tracking techniques

- Cooperative control of multiple vehicles

- Cyber-security communications

- Optimal deployment strategies

- Test-beds and experimental results

- Energy-efficient communications

- Machine learning for communications

**IMPORTANT DATES**

Abstract Submission: June 2, 2024

Paper Submission: June 15, 2024

Acceptance Notification: July 13, 2024

Camera Ready: TBD

Early Registration: TBD

**SPECIAL ISSUE**

Selected papers will be invited to the special issue Applications-Driven UAV Routing and Scheduling Algorithms for Autonomous Transportation Systems of ACM Journal on Autonomous Transportation Systems.

We look forward to seeing you at the 1st IEEE LCN Special Track on Algorithmic Solutions for Drone- and Robot-based Networks (ASDRoNet) 2024.

Sincerely,

Lorenzo Palazzetti

PhD Student

Computer Science

University of Florence, Italy

[DMANET] [WiL] Women in Logic 2024 -- Final call for papers

Apologies for cross posting
--> Please feel free to forward this e-mail to interested persons! <--

Are you a woman working in logic?
Please join us on July 9, 2024 at WiL, give a talk, and enjoy a day with
Women in Logic!

Please submit an abstract of 1-2 pages by April 30, 2024 (AoE), via
EasyChair.

-----------------------------------------------------------------------------------------------------
Call for Contributions
WiL 2024: 8th Women in Logic Workshop
July 9, 2024
Co-located with LICS/ICALP/FSCD 2024
https://sites.google.com/view/wil24
-----------------------------------------------------------------------------------------------------
Women in Logic 2024 is a satellite event of the 9th International
Conference on Formal Structures for Computation and Deduction (FSCD 2024)
to be held in Tallinn, Estonia, from July 10 to July 13, 2024.

The Women in Logic workshop (WiL) provides an opportunity to increase
awareness of the valuable contributions made by women in the area of logic
in computer science. Its main purpose is to promote the excellent research
done by women, with the ultimate goal of increasing their visibility and
representation in the community. Our aim is to:

* provide a platform for women researchers to share their work and
achievements;
* increase the feelings of community and belonging, especially among junior
faculty, post-docs and students through positive interactions with peers
and more established faculty;
* establish new connections and collaborations;
* foster a welcoming culture of mutual support and growth within the logic
research community.

We believe these aspects will benefit women working in logic and computer
science, particularly early-career researchers.

Previous versions of Women in Logic (Reykjavík 2017, Oxford 2018, Vancouver
2019, Paris 2020, Rome 2021, Haifa 2022, Rome 2023) were very successful in
showcasing women's work and as catalysts for a recognition of the need for
change in the community.

Topics of interest include but are not limited to: automata theory,
automated deduction, categorical models and logics, concurrency and
distributed computation, constraint programming, constructive mathematics,
database theory, decision procedures, description logics, domain theory,
finite model theory, formal aspects of program analysis, formal methods,
foundations of computability, games and logic, higher-order logic, lambda
and combinatory calculi, linear logic, logic in artificial intelligence,
logic programming, logical aspects of bioinformatics, logical aspects of
computational complexity, logical aspects of quantum computation, logical
frameworks, logics of programs, modal and temporal logics, model checking,
probabilistic systems, process calculi, programming language semantics,
proof theory, real-time systems, reasoning about security and privacy,
rewriting, type systems and type theory, and verification.

INVITED SPEAKERS
* TBA

IMPORTANT DATES
* Abstract submission deadline: April 30, 2024
* Notification: May 13, 2024
* Easrly registration: May 17, 2024
* Contribution for Informal Proceedings: June 25, 2024
* Workshop: July 9, 2024

SUBMISSIONS
Abstracts should be written in English (1-2 pages), and prepared using the
Easychair style (https://easychair.org/publications/for_authors). The
abstracts should be uploaded to the WiL 2024 Easychair page
https://easychair.org/my/conference?conf=wil2024

as a PDF file before the submission deadline on April 30, 2024, anywhere on
Earth.

ORGANIZING AND PROGRAM COMMITTEE
* Suguman Bansal (Georgia Institute of Technology)
* Agata Ciabattoni (Vienna University of Technology)
* Lourdes Del Carmen González Huesca (Universidad Nacional Autónoma de
México)
* Amy Felty (University of Ottawa)
* Maria Keet (University of Cape Town)
* Delia Kesner (Université Paris Cité)
* Daniele Nantes (Co-chair, University of Brasília/Imperial College)
* Thaynara Arielly de Lima (Federal University of Goiás)
* Valeria de Paiva (Topos Institute)
* Catuscia Palamidessi (INRIA)
* Elaine Pimentel (Co-chair, UCL)
* Tephilla Prince (Co-chair, IIT Dharwad)
* Krishna S. (IIT Bombay)

GRANTS
A limited number of travel grants is available for students/young
researchers who would not otherwise have resources to attend WiL, and whose
attendance would benefit both the applicant and the event. We expect to be
able to help with registration/local/travel expenses. Applicants should
note that grants are limited, and that costs in excess of the grant will
not be reimbursed.

Grants will be awarded to (co-)authors of accepted papers, based on the
grant committee's assessment of the applicant's genuine financial need, the
potential benefit to the applicant's education and research, and the
potential benefit to WiL.

Applications should be sent by May 14th 2024 via the form:

https://forms.gle/UZkgGz53X6CYy2Tg6

The award notification date is May 15th, 2024.

The grants will be presented at the conferences; in case a grantee does not
attend, the chairs may transfer the grant to another student or give no
award.

The grants are kindly offered by ACM SIGLOG and Jane Street.

Theory Announcements

Tuesday, April 23, 2024

[DMANET] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Video Track First Call for Papers

Monday, April 22, 2024

[DMANET] [CFP][Firm deadline: May 8] IEEE Annual Congress on Artificial Intelligence of Things (AIoT), 24–26 July 2024, Melbourne, Australia

[DMANET] 2nd call for contributions: 8th Workshop on Geometry and Machine Learning (CG Week '24)

Sunday, April 21, 2024

[DMANET] 3 year Postdoctoral Fellow in Mathematical Phylogenetics at UNSW Sydney

[DMANET] IEEE CSF 2024 - Call for Participation

Saturday, April 20, 2024

[DMANET] AICCSA'24 CFP-Sousse Tunisia

[DMANET] M-PREF 2024: 2nd CALL FOR PAPERS

[DMANET] iMETA 2024: The 2nd International Conference on Intelligent Metaverse Technologies & Applications, Dubai, UAE

Friday, April 19, 2024

[DMANET] CSF 2024 - Call for Participation

[DMANET] First Announcement: Kolkom 2024 in Heidelberg

[DMANET] PhD position in 0ptimization at the University of Augsburg

[DMANET] Deadline: April 30, 2024 for submissions special issue on Scheduling Theory and Algorithms for Sustainable Manufacturing

[DMANET] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FINAL CALL FOR PAPERS (April 24, 2024)

Thursday, April 18, 2024

[DMANET] CFP: 29th IEEE Pacific Rim International Conference on Dependable Computing (PRDC 2024) Osaka, Japan November 13-15, 2024

[DMANET] Postdoctoral Position Available In Computational Psychiatry at the University of Alberta

[DMANET] Seeking Postdoctoral Fellow (PDF) in Machine Learning at the University of Alberta

[DMANET] [CFP] Sensing and Data Platforms: what is ahead of us (Special Session 11), IEEE MetroAgriFor Workshop

[DMANET] [CFP] 1st IEEE LCN Special Track on Algorithmic Solutions for Drone- and Robot-based Networks (ASDRoNet) 2024

[DMANET] [WiL] Women in Logic 2024 -- Final call for papers

Mailing Lists

Search This Blog

Blog Archive

Theory Announcements

Tuesday, April 23, 2024

Monday, April 22, 2024

Sunday, April 21, 2024

Saturday, April 20, 2024

Friday, April 19, 2024

Thursday, April 18, 2024

Mailing Lists

Subscribe To

Search This Blog

Blog Archive