Wednesday, April 24, 2024

[DMANET] Stream "Continuous and Global Optimization" at GOR 2024

The OR 2024 will take place between September 3rd and September 6th, 2024, at the TUM in Munich. The OR 2024 is an international conference and is jointly organized by the GOR, ÖGOR and SVOR this year.

More information on the conference can be found at https://or2024.de/.

I would like to invite you to give a presentation in our stream on "Continuous and Global Optimization". To submit a presentation to this stream, please go to https://www.conftool.com/or2024/. Please choose "Continuous and Global Optimization" in the "Submit Contribution" field.

Abstract submission deadline is April 30th, 2024.

Martin Schmidt
(on behalf of the stream organizers)
**********************************************************
*
* 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] BCCA 2024: Sixth International Conference on Blockchain Computing and Applications, Dubai, UAE [Special Track]

*T**he 6th International Conference on Blockchain Computing and
Applications* *(*BCCA 2024*)*

https://bcca-conference.org/ <https://bcca-conference.org/2024/index.php>

26–29 November 2024 – Dubai, UAE

Blockchain is a revolutionary technology in decentralized systems that
enables secure decentralized transaction processing while ensuring data
privacy and authenticity. It is now playing a significant role in several
areas such the Internet of Things, supply-chain management, manufacturing,
cyber-physical systems, healthcare systems, and much more. Unlike
centralized transaction processing solutions, blockchain uses a distributed
ledger mechanism to record data transactions on multiple devices, this will
prevent data breach, identity theft, and a plethora of cyber-related
attacks, in essence, leading to a sustainability in data privacy and
security. This conference aims at to attract work of both researchers and
practitioners in the area of cyber-security to share and exchange their
experiences and research studies in both academia and industry in the field
of blockchain.

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

· *Track 01: Artificial Intelligence and Machine Learning*

· *Track 02: IoT and Cyber-Physical Systems*

· *Track 03: Big Data*

· *Track 04: Security and Privacy on the Blockchain*

· *Track 05: Metaverse and Digital Twin*

· *Track 06: IoT Network Security*

· *Track 07: Blockchain Research & Applications for Innovative
Networks and Services*

*Publication*

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

*Submission Guidelines*

There are three categories of submission in the Main track:

- *Long papers:* 7-8 pages.
- *Short papers:* 5-6 pages.
- *Poster papers (Undergrad):* 1-2 pages.

*Submission Link: *https://edas.info/N31868

*Special Track **Important dates*

- Paper submission deadline: June 20th,2024
- Notification of paper acceptance: July 31st , 2024
- Submission of camera-ready papers due: August 10th, 2024

*Workshop Papers **Important dates**:*

- Submission Due: August 1st, 2024
- Notification: October 1st, 2024
- Camera-ready: October 20th,2024

*Organizing Committee*

*Honorary Chair*

- Marwan Al Zarouni, CEO of Dubai Blockchain Center (DBCC), Dubai

*General Co-Chair*

- Omar Alfandi, Zayed University, UAE

*Program Co-Chairs*

- Flavia Delicato, Fluminense Federal University, Brazil
- Qiang Ye, Dalhousie University, Canada
- Ouns Bouachir, ZU, UAE
- Sami Souihi, University of Paris-Est Créteil (UPEC), France

**********************************************************
*
* 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/
*
**********************************************************

Tuesday, April 23, 2024

[DMANET] ICCNS2024 CFP (Co-Sponsored by IEEE): The International Conference on Intelligent Computing, Communication, Networking and Services, Dubrovnik, Croatia.

[Apologies if you got multiple copies of this invitation]

The International Conference on Intelligent Computing, Communication,
Networking and Services (ICCNS2024)

https://iccns-conference.org/2024/index.php

24-27 Sept. 2024 | DUBROVNIK, CROATIA.

Technically Co-Sponsored by IEEE Croatia section

*ICCNS 2024 CFP:*

With the advancements in wireless communication systems like Fifth
Generation (5G), beyond 5G (B5G) and the Sixth Generation (6G), new and
unprecedent services will be available for users with nearly unlimited
capacity. These services will be the core driver of the future digital
transformation of our cities and communities. This will be accompanied by a
ubiquities deployment of the Internet of Things (IoT) infrastructure and
supported by computing capacity that will be available at the edge of the
network and at the cloud. The computing infrastructure will be handling the
processing of the data generated by the users and services. Such a complex
and diverse system will require an efficient and sustainable applications
running on the computing\Networking infrastructure and also a smart control
and automation systems to integrate and manage its different components.
Artificial Intelligence (AI) and its applications will play a significant
role on the design, deployment, automation and management of the future
services. This will include the applications that will be running on the
edge and the cloud servers, the networking applications to handle the flow
of data between the users and the computing system and the intelligent
automation and management software operating on the system. The
International Conference on Intelligent Computing, Networking and Services
is aiming to provide an opportunity to present the state of the art
research in the intersections of Computing, Networking and Services that is
supported by Artificial Intelligence. Researchers from both the industry
and academia are encouraged to submit their original research contributions
in all major areas, which include, but not limited to:

- Track 1: Artificial Intelligence Fundamentals
- Track 2: Intelligent Internet of Things and Cyber-Physical Systems
- Track 3: Edge Intelligence and Federated Learning
- Track 4: Intelligent Networking in Beyond 5G (B5G) and 6G Wireless
Communication
- Track 5: Intelligent Big Data Management and Processing
- Track 6: Intelligent Security and Privacy
- Track 7: Blockchain Research & Applications for Intelligent Networks
and Services

*Submissions Guidelines and Proceedings*

Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11"
two-column format. All papers should be in PDF format, and submitted
electronically at Paper Submission Link. A full paper can be up to 8 pages
(including all figures, tables and references). Submitted papers must
present original unpublished research that is not currently under review
for any other conference or journal. Papers not following these guidelines
may be rejected without review. Also submissions received after the due
date, exceeding length limit, or not appropriately structured may also not
be considered. Authors may contact the Program Chair for further
information or clarification. All submissions are peer-reviewed by at least
three reviewers. Accepted papers will appear in the ICCNS Proceeding, and
be published by the IEEE Computer Society Conference Publishing Services
and be submitted to IEEE Xplore for inclusion.

Submitted papers must include original work, and must not be under
consideration for another conference or journal. Submission of regular
papers up to 8 pages and must follow the IEEE paper format. Please include
up to 7 keywords, complete postal and email address, and fax and phone
numbers of the corresponding author. Authors of accepted papers are
expected to present their work at the conference. Submitted papers that are
deemed of good quality but that could not be accepted as regular papers
will be accepted as short papers. Length of short papers can be between 4
to 6 pages.

*Important Dates:*

- *Paper submission deadline: May 15, 2024 *
- Notification of acceptance: August 5, 2024
- Camera-ready Submission: August 25, 2024

*Contact:*

Please send any inquiry on ICCNS to: <emergingtechnetwork@gmail.com>
info@iccns-conference.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] SEA 2024: Call for participation

***************************************************************************
* SEA 2024: 22nd Symposium on Experimental Algorithms *
* Vienna, Austria *
* July 24-26, 2024 *
* https://sea2024.univie.ac.at *
***************************************************************************


SEA aims to attract papers from the Computer Science community, the
Operations Research/Mathematical Programming community and any other
scientific community that is concerned with the main theme of the
symposium, namely the role of experimentation and of algorithm engineering
techniques in the design and evaluation of algorithms and data structures.
Submissions should present significant contributions supported by
experimental evaluation, methodological issues in the design and
interpretation of experiments, the use of (meta-)heuristics, or
application-driven case studies that deepen the understanding of the
complexity of a problem.
A main goal of SEA is also the creation of a friendly environment that can
lead to and ease the establishment or strengthening of scientific
collaborations and exchanges among attendees.


INVITED SPEAKERS

- Pascal Schweitzer (TU Darmstadt, Germany)
- Yllka Velaj (University of Vienna, Austria)


ACCEPTED PAPERS

> https://sea2024.univie.ac.at/accepted-papers/


REGISTRATION

> https://sea2024.univie.ac.at/registration/

Deadlines:
*Early registration: May 31, 2024*
*Late registration: July 3, 2024*
Afterwards, only on-site registration is possible.

Registration fees:
Student registration
early: EUR 300
late: EUR 350
on site: EUR 400

Regular registration
early: EUR 415
late: EUR 465
on site: EUR 515

The fee covers the following:
- Welcome reception
- Attendance to all sessions and invited talks
- Coffee breaks
- Lunches
- Social Event
- Conference Dinner

It is necessary for at least one co-author of each accepted paper to
register to the conference in order for the paper to be included in the
proceedings book.
Extra tickets covering the Social Event and Conference Dinner for
accompanying persons will be available in June.

Payment is by credit card or bank transfer. Student registration covers the
same as regular registration. Note that a participant must be a full-time
student in order to benefit from the reduced fee (a certificate or
equivalent proof will have to be uploaded during the registration process).


SPONSORS

We thank our sponsors:

- Wiener Tourismusverband
- Google Research


If you have any questions about the conference organization, including the
registration procedure, please email us at sea24.taa@univie.ac.at
**********************************************************
*
* 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] EuroS&P 2024- 2nd Call for Posters

*EuroS&P 2024 -- 2nd Call for Posters*

9th IEEE European Symposium on Security and Privacy

July 8--12, 2024

University of Vienna,
Vienna, Austria.

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

SCOPE

The IEEE European Symposium on Security and Privacy (EuroS&P) is a premier
forum for computer security research, presenting the latest developments
and bringing together researchers and practitioners.

Presenting a poster at EuroS&P is a great chance for researchers to share
recent work and to obtain valuable feedback on their ongoing work from
knowledgeable participants at the conference.

Posters are solicited that present novel, recent, and work-in-progress security
and privacy research. To submit a poster, authors should provide an
abstract using the IEEE conference proceedings template. Poster abstracts
should briefly describe the research challenge and detail your approach to
the problem. The abstract should identify the key contributions of the work
being presented in the poster. Poster abstracts can present research ideas
and works in their early stages as well as evaluations. Providing
preliminary results is suggested but not required. Poster abstracts will
not be part of the IEEE Euro S&P proceedings. It is planned, however, that
accepted abstracts will be included in informal proceedings that will
be published
in Zenodo, an open repository.

Posters from students or researchers in their early career stage on new and
exciting problems in security and privacy are especially encouraged. At
least one author of each accepted poster is expected to register and attend
the conference to present the poster and engage other conference attendees
in extended conversations about their ongoing work.

Authors of papers from the EuroS&P 2024 symposium are invited to present
their papers as posters at EuroS&P 2024.

IMPORTANT DATES

All deadlines are Anywhere on Earth (AoE = UTC-12h)

- Submission open: April 3, 2024 (Wednesday)
- Poster abstract due: May 3, 2024 (Friday)
- Acceptance notification: May 21, 2024 (Tuesday)
- Final abstracts and poster slides due: June 28, 2024 (Friday)
- Conference: Monday, 8 July -- Friday, 12 July 2024

SUBMISSION INSTRUCTIONS

New poster submissions must include a three-page poster abstract (including
references) submitted as a PDF file. Upon acceptance, the authors must
submit a one-page PDF slide with the poster contents by the same deadline
as for the final poster abstract. The one-page slide will be presented at
the poster session at the conference.

Poster papers must be typeset in LaTeX in A4 format (not "US Letter") using
the IEEE conference proceeding template

The abstract title should begin with the keyword "Poster:".

No anonymous submissions are necessary, so please include a list of authors
with contact information and institutional affiliation.

All posters, including abstract and one-page slides, must be submitted
through https://posters.eurosp2024.ieee-security.org/.

Kind regards,
Google Scholar: https://scholar.google.com/citations?user=fQ2lwesAAAAJ&hl=en
Orcid Id: *http://orcid.org/0000-0002-0802-4280
<http://orcid.org/0000-0002-0802-4280>*
Research Gate: *https://www.researchgate.net/profile/Dipti_Sarmah2
<https://www.researchgate.net/profile/Dipti_Sarmah2>*
Linkedin: https://nl.linkedin.com/in/dipti-kapoor-sarmah-ph-d-96358a153

**********************************************************
*
* 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] Postdoc position in Theoretical CS @ King's College London

## Postdoc position in Theoretical CS @ King's College London

A postdoctoral research position in theoretical computer science is
available at King's College London. The successful candidate will be
hosted by Hubie Chen and will be expected to work on topics related to the
themes of complexity, database theory, structural decomposition methods,
and logic. Research interest and experience in the following areas will be
valued: logic in computer science, database theory, finite model theory,
structural decomposition methods, term rewriting, and parameterized
complexity theory.

Key dates: the application deadline is June 6, 2024; it is hoped that the
successful applicant will start in or around October 2024, but there is
some flexibility concerning the start date. If the position is started in
October 2024, it can be held for 1.5+ years. The exact starting date and
duration can be set in a way that takes into account the successful
candidate's needs and schedule.

Informal enquiries and discussion are strongly encouraged prior to
application (e-mail contact: hubie.chen@kcl.ac.uk). To apply, please see:

https://www.kcl.ac.uk/jobs/088046-post-doctoral-research-associate

**********************************************************
*
* 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] 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

**********************************************************
*
* 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] 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).

**********************************************************
*
* 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] 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)


**********************************************************
*
* 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/
*
**********************************************************

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.

**********************************************************
*
* 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] 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,

**********************************************************
*
* 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/
*
**********************************************************

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
*****************************************************************************

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)


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)

**********************************************************
*
* 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] 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/

**********************************************************
*
* 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] 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)
_____________________________________________________________________________

**********************************************************
*
* 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] 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 )

**********************************************************
*
* 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/
*
**********************************************************

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.

**********************************************************
*
* 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/
*
**********************************************************