Theory Announcements: August 2024

Saturday, August 31, 2024

[DMANET] Last CFP - IEEE HONET 2024

- Apologies for any cross-posting -

--- LAST CALL FOR PAPERS - IEEE HONET 2024- Deadline August 31' 2024 ---

2024 IEEE 21st International Conference on Smart Communities: Improving Quality of Life using AI, Robotics and IoT (HONET)
December 03-05, 2024
University of Doha for Science & Technology
Doha, Qatar
https://honet-ict.org

We are delighted to announce our keynote speakers:
- Dr. Gordon Cheng: Fellow IEEE, Professor and Coordinator Center of Competence Neuro-Engineering in ECE Department, Technical University Munich, Germany
- Dr. James Won-Ki Hong: Professor, Dept. of Computer Science and Engineering, Dir. Distributed Processing & Networks Management Lab, Pohang University of Science and Technology (POSTECH), Korea
- Dr. Mohammad Shahidehpour: Fellow IEEE, Bodine Chair Professor and Director, Galvin Center for Electricity Innovation, Illinois Institute of Technology

SPONSORS:
- University of Doha for Science & Technology, Doha, Qatar
- HONET-ICT cf. Center for Opto-electronics and Optical Communication, UNC Charlotte, Charlotte NC 28223, USA
- IEEE Qatar Section
- IEEE North Carolina Council

TOPICS OF INTEREST:
Authors are invited to submit R&D and concept papers presenting original research work related to the practice and theory related to the scope of HONET thematic areas. Related proposals for Workshops and Tutorials will be considered. All submissions must describe original and pertinent research, development, and future vision. The topics of interest include, but are not limited to the ones shown below.

These topics should be discussed in terms of research findings, concepts, state-of-the-art, standards, implementations, developments, field trials/experiments, educational goals, and new applications. Submitted or substantially similar papers must not be under review currently for any other publication.

1. AI & IoT
a. Enhancing the capabilities of Smart Communities using AI
b. Machine Learning models for Smart Cities (LSTM, Deep Learning, Transformers)
c. Realizing Smart Localities using IoT
2. Robotics
a. Robotics & Automation
b. Autonomous Vehicles and Charging Technologies
c. Computer Vision
3. Computer and Communication Networks and Network Security
a. Wireless Networks
b. Photonic Networks
c. 5G Communication and beyond
d. Software Defined Networks (SDN)
e. Network Security and Forensic Analysis
4. Energy and Power Technologies
a. Renewable Energy Sources
b. Smart-Grids and Robust Infrastructure
c. Smart Storage and Demand & Response
d. Micro Grid Analytics and Management
e. Smart Grid and Smart Cities
5. Photonics
a. LEDs, Lasers and Solar Cells and Panels
b. Packaging

STEERING COMMITTEE
M. Yasin Akhtar Raja, Senior Member IEEE, Optica and Fellow SPIE, Prof. Phys. & Optical Science,
Optoelectronics & Optical Communication, UNC Charlotte, NC, USA

Rachid Benlamri, Prof. & VP Academics, University of Doha for Science & Technology, Doha, Qatar

Glenn D. Boreman, Prof. and Chair Physics & Optical Science, Fellow IEEE, SPIE and Optica,
Dir. Center for Optoelectronics & Optical Communication, UNC Charlotte, USA

M. Iqbal Choudhary, Prof., Coordinator General COMSATS, Islamabad, Pakistan

GENERAL CHAIRS
Rachid Benlamri, Prof. & VP Academics, University of Doha for Science & Technology, Doha, Qatar

M. Yasin Akhtar Raja, Senior Member IEEE, Optica and Fellow SPIE, Prof. Physics & Optical Science,
Optoelectronics & Optical Communication, UNC Charlotte, NC, USA

CONFERENCE CHAIRS
Zakaria Maamar, Prof., University of Doha for Science & Technology, Doha, Qatar

Mohammad Ilyas, SMIEEE, Prof., Dept. EE & CS, College of Engineering and Computer Science, Florida Atlatic University, Boca Raton, Florida, USA

IMPORTANT DATES:
Full Len Papers Due: 31 Aug 2024
Short Papers Due: 31 Aug 2024
Acceptance Notification: from 31 Aug 2024
Camera Ready Due: 15 Sep 2024
Registration Deadline: 15 Sep 2024
Program Available: 01 Oct 2024

Accepted and presented papers will be published in the conference proceedings and submitted to IEEE Xplore as well as other Abstracting and Indexing (A&I) databases.

Visit https://honet-ict.org for more details and instructions on paper submission.
Instructions for paper submission: https://honet-ict.org/author-inst.html
Submit your paper: https://edas.info/N32390

Accepted Workshops and Symposiums:
- Smart Sensing for e-Healthcare Applications using IoT, AI and ML Technologies (Symposium website https://honet-ict.org/symp-smart-ehealth.html )
- Smart City and IoT Applications to Urban Mobility (SCIAUM'24) (Symposium website https://honet-ict.org/symp-smart-city.html )
- Secure and Efficient AI on the Edge (Workshop website https://honet-ict.org/wksp-secure-ai.html )

IEEE HONET 2024
TPC Chairs

**********************************************************
*
* 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] CFP- ICICIP2025, Muscat, Oman, February 6-11, 2025

*Call for Papers*
Conference website: https://conference.cs.cityu.edu.hk/icicip/

The 13th International Conference on Intelligent Control and Information
Processing (ICICIP2025) will be held in Muscat, Oman, February 6-11, 2025,
following the successes of previous events. As the capital of Oman, Muscat
is Oman's largest city with a population of over four million people and
numerous tourist attractions. ICICIP2025 aims to provide a high-level
international forum for scientists, engineers, and educators to present the
state of the art of research and applications in related fields. The
conference will feature plenary speeches given by world-renowned scholars,
regular sessions with broad coverage, special sessions focusing on popular
topics, and post-conference workshops/tutorials in the region.

Prospective authors are invited to contribute high-quality papers to
ICICIP2025. In addition, proposals for special sessions within the
technical scopes of the symposium are solicited. Special sessions, to be
organized by internationally recognized experts, aim to bring together
researchers in special focused topics. Papers submitted for special
sessions are to be peer-reviewed with the same criteria used for the
contributed papers. Researchers interested in organizing special sessions
are invited to submit formal proposals to ICICIP2025. A special session
proposal should include the session title, a brief description of the scope
and motivation, names, contact information, and brief biographical
information on the organizers.

Authors are invited to submit full-length papers (8 pages maximum) by the
submission deadline through the online submission system. Potential
organizers are also invited to enlist five or more papers with cohesive
topics to form special sessions. The submission of a paper implies that the
paper is original and has not been submitted under review or is not
copyright-protected elsewhere and will be presented by an author if
accepted. All submitted papers will be refereed by experts in the field
based on the criteria of originality, significance, quality, and clarity.
The authors of accepted papers will have an opportunity to revise their
papers and take consideration of the referees' comments and suggestions.
All accepted papers will be submitted for inclusion into IEEE Xplore
subject to meeting IEEE Xplore's scope and quality requirements. Selected
high-quality papers will be included in several journal special issues.

The paper submission system is now open.

Submission link:
https://openreview.net/group?id=IEEE.org/ICICIP/2025/Conference&referrer=%5BHomepage%5D(%2F)#tab-your-consoles

*Submission deadline: November 1, 2024*

[DMANET] PhD position in Logic and Complexity, Sheffield (UK), Deadline: 30 September 2024

*******************************************************
* PhD position in Quantitative logics and complexity theory
* University of Sheffield, UK
* Fully funded for 3.5 years (both UK Home and International rates)
* Possible times to start: preferably February 2025 or earlier
*******************************************************

I am looking for a motivated PhD student to join the Foundations of Computation group (https://www.sheffield.ac.uk/cs/research/groups/foundations-computation) of The University of Sheffield (https://www.sheffield.ac.uk/cs). The topic of the PhD project is quite flexible, but should relate to my current research directions in quantitative logics and complexity theory. Here possible directions are temporal logics, logical foundations of neural networks, and logical foundations of database theory (for more details: https://www.jobs.ac.uk/job/DJK909/phd-studentship-quantitative-logics-and-complexity-theory).

This PhD studentship will fund the full (UK or Overseas) tuition fee and provide a tax-free stipend at the standard UKRI rate (currently £19,237 for 2024/25) for 3.5 years. In addition, both the Department and research group provide funding for attending conferences.

Interested candidates are encouraged to contact me directly by email for further details (j.t.virtema@sheffield.ac.uk). For more details on the possible topics, the candidate may refer to my recent works at http://www.virtema.fi/.

Best wishes,
Jonni
**********************************************************
*
* 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] CFP - CloudAM 2024

*** CALL FOR PAPERS ***
13th International Workshop on Cloud and Edge Computing, and Applications Management (CloudAM 2024)
In conjunction with the 17th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2024)
16-19 December 2024
Sharjah, UAE

https://sites.google.com/unizar.es/cloudam2024

### Background ###
Cloud computing, virtualization and virtualized (eScience) applications have been generating substantial interest in the community for more than a decade, and this interest enabled the development of several architectures, techniques, and mechanisms for cloud and edge computing. With the actual deployment of edge computing infrastructures, exemplified with Fog Computing and Mobile Cloud Computing, the interest in these developments is currently still prominent. Cloud and edge infrastructures can work together to fulfill requirements from a variety of applications, composing the so-called Cloud Continuum to the edge. Clouds must provide appropriate levels of performance to large groups of diverse users, and those clouds are accessed through virtualized wide area networks, where edge/fog devices can act as a first layer of computing capacity closer to the user. Management systems are essential for that and thereby for the future success of the fog-cloud hierarchy. New systems, methods, and approaches for cloud and edge computing, virtualization and (eScience) applications management are to be discussed at this workshop.

Overall topics of interest include but are not limited to:

- Cloud and fog computing environments
- Cloud and fog service orchestration
- Cloud and fog APIs
- Cloud and fog data management
- Cloud and fog scalable monitoring
- Cloud and fog load balancing
- Multi-cloud/Inter-clouds
- Customer cloud management
- Managing data centers
- Management as a service
- Management of virtual slices
- *aaS Management
- Cloud and fog scheduling
- Hybrid clouds
- Fog and Edge computing
- Cloud surveys and taxonomies
- Social clouds
- Business models for cloud and fog computing
- Managing cloud services
- Management of virtualized hardware resources
- Network-specific mechanisms for optimized cloud access
- Performance modeling & evaluation
- QoS/QoE management in the cloud
- Security and privacy in the cloud-edge hierarchy
- Management tools for infrastructure virtualization
- Automated resource slicing
- Policy-driven service/resource life-cycle management
- Applications and services enabled by virtualized infrastructure
- Optimization of data center and workload energy consumption
- Green cloud computing
- Scientific workflows on clouds
- Mobile clouds and mobile edge computing
- Big data / complex event processing in the cloud-edge hierarchy
- Autonomic cloud computing
- Cloud Continuum - IoT/Smart Cities integration

Important Dates
Paper submission due: 31 August, 2024
Notification to authors: 10 October, 2024
Camera-ready papers due: 20 October, 2024
Workshop date: 16-19 December 2024

Submission Guidelines
The CloudAM workshop invites authors to submit original and unpublished work. Manuscripts are submitted in PDF format and may not exceed should not exceed 6 pages single-spaced double-column, using IEEE format. Additional pages might be purchased upon the approval of the proceedings chair.

Submission Link on Easychair: https://easychair.org/conferences/?conf=cloudam2024

Submission is double-blind. This means that author information shouldn't be indicated in any part of the submission including acknowledgements, citations, discussion of related work, etc.that would make the authorship apparent. Submissions containing author identifying information may be subject to rejection without review.

Submission requires the willingness of at least one of the authors to register as author, non-student rate and present the paper in person.

At least one author of each paper must be registered for the conference for the paper to be published in the proceedings. The conference proceedings will be published by the IEEE and made available online via the IEEE Xplore Digital Library and ACM Digital Library.

Please check the CloudAM website for updated information: https://sites.google.com/unizar.es/cloudam2024

WORKSHOP TECHNICAL COMMITTEE (TBC)
Abderrahmane Maaradji, UDST, Qatar
Adel Serhani, Sharjah University, UAE
Amel Benna, CERIST, Algeria
Andrey Brito, Federal University of Campina Grande, Brazil
Antonio Brogi, University of Pisa, Italy
Ashiq Anjum, University of Leicester, UK
Agustin Caminero, Universidad Nacional de Educacion a Distancia, Spain
Brij Gupta, NIT Kurukshetra, India
Claudio Geyer, Federal Univeristy of Rio Grande do Sul, Brazil
Felix Freitag, Universitat Politècnica de Catalunya, Spain
Fabio Costa, Federal University of Goias, Brazil
Gabriel G. Castañ, University College of Cork, UK
Gleb Radchenko, South Ural State University, Russia
Ioan Petri, Cardiff University, UK
Ivan Rodero, University of Utah, USA
Jeremy Mechouche, Devoteam, France
Laurent Lefevre, INRIA, France
Luciano Baresi, Politecnico di Milano, Italy
Marco Netto, Microsoft, USA
Michael Bauer, University of Western Ontario, Canada
Mohamed Sellami, Telecom-Sud Paris, France
Pedro Valderas, UPV, Spain
Roberto Rodrigues Filho, Federal University of Santa Catarina, Brazil
Vladimir Vlassov, KTH Royal Institute of Technology, Sweden
Yacine Challal, UDST, Qatar
Wilson Akio Higashino, Google, USA

WORKSHOP CHAIRS
Carlo Puliafito - University of Pisa, Italy
Luiz Bittencourt - Universidade Estadual de Campinas (UNICAMP), Brazil
Zakaria Maamar - University of Doha for Science and Technology, Qatar

WORKSHOP HONORARY CHAIRS
Bruno Schulze - LNCC, BR
Rafael Tolosana-Calasanz - UNIZAR, ES

[DMANET] CFP: 23rd IEEE International Conference on Ubiquitous Computing and Communications (IUCC-2024), China, 20-22 December 2024

[Please accept our apologies if you receive multiple copies of this CFP]

******************************* IUCC-2024 CFP *****************************

*The 23rd International Conference on Ubiquitous Computing and
Communications (IUCC-2024)*

https://smartconf24.org/iucc2024/

*Chengdu, China, 20-22 December 202**4*

INTRODUCTION
=============

Ubiquitous Computing and Communications is a revolutionary paradigm that
aims to provide pervasive and reliable computing solutions and
communication services anytime and anywhere. This emerging technology is
built upon the rapid research and development advances in a wide range of
key areas including wireless and sensor networks, mobile and distributed
computing, embedded systems, agent technologies, autonomic communication,
and information security. Ubiquitous Computing and Communications has drawn
significant interests from both academia and industry and continues to
attract tremendous research efforts due to its promising new business
opportunity in information technology and engineering. The conference
offers an important international platform and brings together the
scientists, engineers, researchers, and students from academy and industry
all over the world to share their latest work, exchange experiences and
discuss the state-of-the-art challenges of ubiquitous computing and
communications. IUCC-2024 is soliciting original and previously unpublished
papers addressing research challenges and advances towards the design,
implementation and evaluation of ubiquitous computing and communications
technologies, systems and applications.

IUCC-2024 is planned to be hosted in Chengdu, China, the capital of
southwestern China's Sichuan province. The city is also home to the famous
Chengdu Research Base of Giant Panda Breeding, a conservation center where
visitors can view endangered giant pandas in a natural habitat. All
accepted papers are expected to be included in IEEE Xplore and will be
indexed by Engineering Index (EI). The authors of selected best papers will
be invited post conference to extend their contributions for special issues
of prestigious journals to be planned in conjunction with the conference.

SCOPE AND TOPICS

================

Topics of interest include, but are not limited to:

Track 1: Ubiquitous Computing

Track 2: Ubiquitous Communications

Track 3: Ubiquitous System, Services and Applications

Track 4: Ubiquitous Media and Signal Processing

IMPORTANT DATES
================

· Paper Submission Deadline: 15
September 2024

· Authors Notification: 1
November 2024

· Final Manuscript Due: 28
November 2024

· Early Registration Due: 28
November 2024

· Conference Date:
20-22 December 2024

PAPER SUBMISSION GUIDELINE
==========================

All papers need to be submitted electronically through the conference
submission website (https://conf.smartconf24.org/iucc2024/ ) with PDF
format. The materials presented in the papers should not be published or
under submission elsewhere. Each paper is limited to 8 pages (or 10 pages
with over length charge) including figures and references using IEEE
Computer Society Proceedings Manuscripts style (two columns, single-spaced,
10 fonts).

Once accepted, the paper will be included into the IEEE conference
proceedings published by IEEE Computer Society Press (indexed by EI). At
least one of the authors of any accepted paper is requested to register the
paper at the conference.

[DMANET] Save the date - SIGOPT2025

Dear Colleagues

Ladies and Gentlemen,

I am very honoured to send you this email to announce the next
SIGOPT2025 conference in Siegen, Germany.

Please make a note of this conference date in your diary. Please feel
free to forward this e-mail to colleagues who you think would also be
interested in a joint exchange at this level.

*Save the date - Save the date - Save the date*

*SIGOPT2025 International Conference on Optimization*

www.sigopt2025.uni-siegen.de

*March 04-06, 2025*

*University of Siegen, Campus Unteres Schloss, Siegen, Germany*

The Special Interest Group in Optimization (SIGOPT) was created in 1993
with the purpose of encouraging cooperation and communication between
its members to enrich the scientific network of mathematical
optimization. In this regard, a series of conferences has been
established in order to conglomerate all the different aspects of
mathematical optimization within one event of familiar atmosphere, and
it is our pleasure to announce the 5th SIGOPT conference to be held during

*March 04 - 06, 2025 in Siegen, Germany.*

The conference is scheduled to take place at the Zentralcampus of the
University of Siegen. Participants are invited to arrive in Siegen on
Monday, March 3rd, to join the welcome reception at the Campus Unteres
Schloss in Siegen. Further up-to-date information can be found at the
conference website www.sigopt2025.uni-siegen.de

Kind regards

Your local orga team

Program Commitee:
Ulf Lorenz
Erwin Pesch
Alfred Müller
Rob van Stee
Armin Fügenschuh

Friday, August 30, 2024

[DMANET] Call For Participation: ADT 2024 -- The 8th International Conference on Algorithmic Decision Theory

All

[Apologies for multiple postings]

The 8th International Conference on Algorithmic Decision Theory (ADT 2024;
https://preflib.github.io/adt2024/) will take place October 14 - 16, at the
Center for Discrete Mathematics and Theoretical Computer Science (DIMACS)
at Rutgers University, Piscataway, NJ.

*Registration:* A link to the registration portal is available at the
conference website: https://preflib.github.io/adt2024/attending/. The early
registration deadline is September 13, after which fees will increase.

*Aims and Scope:* The 8th International Conference on Algorithmic Decision
Theory (ADT 2024) focuses on algorithmic decision theory broadly defined,
seeking to bring together researchers and practitioners coming from diverse
areas of Computer Science, Economics, and Operations Research in order to
improve the theory and practice of modern decision support. The conference
topics include research in: preference modeling and elicitation, voting,
preference aggregation, fair division and resource allocation, coalition
formation, game theory, and matching.

*Invited Talks: *We have three great invited speakers lined up - Tracy Liu,
Jenn Wortman Vaughan, and Hervé Moulin.

*Program: *A schedule overview is available at the conference website:
https://preflib.github.io/adt2024/program/. A detailed program will be
available soon.

*Call for Posters: *ADT 2024 will hold a poster session on the evening of
October 14th, along with the welcome reception for the conference. To
submit a poster, please complete the following short form by September 13th
: https://forms.gle/3aq7E5VS4oPKHzXD7.

--
*Nicholas Mattei*
Associate Professor, Tulane University
nsmattei@tulane.edu | www.nickmattei.net
Stanley Thomas Hall | 305B
+1 504 865 5782
Department of Computer Science
Tulane University
6823 St Charles Ave
New Orleans, LA 70118

[DMANET] Call for Posters - Workshop on Simplicity in Mechanism Design and Preference Elicitation

Call for Posters
Workshop on Simplicity in Mechanism Design and Preference Elicitation

Date: October 7 - 8, 2024

Location: DIMACS Center, Rutgers University

Organizers: Vasilis Gkatzelis (Drexel), Shengwu Li (Harvard), and Daniel Schoepflin (DIMACS)

Description: A common obstacle in the design of effective mechanisms in the presence of strategic self-interested agents is the need for preference elicitation. This often arises when the participating agents hold some of the information regarding their private preferences that the designer needs in order to reach a desired outcome. The designer could simply ask the agents to volunteer this information, but there are many reasons why this may be against their best interest, motivating them either to deny this request or to strategically volunteer false information. The most obvious obstacle is that the mechanism needs to be "incentive compatible", i.e., to appropriately reward or penalize the agent so that their optimal strategy is to report the true information. However, even if a mechanism is incentive compatible, the agents may still hesitate to participate or to report truthfully, unless the mechanism also possesses other appealing properties such as i) simplicity, which would allow the agents to easily identify their optimal strategy, ii) transparency, so that the agents need not trust the designer in order to participate, and iii) privacy, so that the agents need not worry about the ways in which their data is going to be used and the privacy cost that they will incur as a result.
This workshop will focus on all of these aspects of preference elicitation, bringing together an interdisciplinary set of speakers and attendees from economics, computer science, and operations research. Participants will discuss ways to formalize simplicity, privacy, and transparency, and examine their implications using both theory and data. One particular focus is the design of dynamic mechanisms with better incentive properties than their static equivalents.

Call for Posters: The workshop will feature a poster session. If you would like to present a poster, please visit the workshop webpage<http://dimacs.rutgers.edu/events/details?eID=1767> for information on how to apply. The deadline for submitting a poster is September 15, 2024. There are limited funds available to support travel by those whose attendance is contingent on support. Applications for support must be received by September 4, 2024. Students in need of support to attend are not require to present a poster to receive support, but those presenting posters will be prioritized for support.

Workshop webpage: http://dimacs.rutgers.edu/events/details?eID=1767

[DMANET] [Fully funded PhD position] Algorithm Engineering at TU Eindhoven

Deadline for guaranteed consideration: 15 September 2024

# Job description
As a PhD TA candidate you will develop new models, algorithms and systems to help with the design and planning challenges of the energy transition. In particular, you will look at this from the perspective of combinatorial and geometric optimization (e.g. fitting solar panels, routing power distribution lines). In many cases, classical algorithms exist that solve a simplified version of the problem, but they are rarely realistic enough to give results that can be used in the real world. You will develop more practical solutions, which will involve algorithm design, analysis and engineering.

You will be employed in the Algorithms (ALGO) cluster, which studies the design and analysis of algorithms and data structures, one of the core areas within computer science. Research in our cluster ranges from curiosity-driven to motivated by concrete applications, and from purely theoretical to experimental. In all cases, the goal is to understand the underlying principles of the developed solutions and to formally prove their properties. Our approaches frequently combine the rigorous methods from algorithmic theory – which give performance guarantees with respect to both the quality of solutions and the running time of algorithms – with efficient engineering to achieve results of both theoretical and practical significance.

The PhD TA position is for 5 years with 25% of your time spent on education.

# Job requirements
- A master's degree (or an equivalent university degree) in computer science.
- A research-oriented attitude.
- Motivated to develop your teaching skills and coach students.
- Fluent in spoken and written English (C1 level).

# Conditions of employment
A meaningful job in a dynamic and ambitious university, in an interdisciplinary setting and within an international network. You will work on a beautiful, green campus within walking distance of the central train station. In addition, we offer you:
- Full-time employment for four years, with an intermediate evaluation (go/no-go) after nine months. You will spend 10% of your employment on teaching tasks.
- Salary and benefits (such as a pension scheme, paid pregnancy and maternity leave, partially paid parental leave) in accordance with the - - Collective Labour Agreement for Dutch Universities, scale P (min. €2,872 max. €3,670).
- A year-end bonus of 8.3% and annual vacation pay of 8%.
- High-quality training programs and other support to grow into a self-aware, autonomous scientific researcher. At TU/e we challenge you to take charge of your own learning process.
- An excellent technical infrastructure, on-campus children's day care and sports facilities.
- An allowance for commuting, working from home and internet costs.
- A Staff Immigration Team and a tax compensation scheme (the 30% facility) for international candidates.

# About us
Eindhoven University of Technology is an internationally top-ranking university in the Netherlands that combines scientific curiosity with a hands-on attitude. Our spirit of collaboration translates into an open culture and a top-five position in collaborating with advanced industries. Fundamental knowledge enables us to design solutions for the highly complex problems of today and tomorrow.

# Information
Do you recognize yourself in this profile and would you like to know more?
Please contact the hiring manager Dr. Thomas C. van Dijk, t.c.v.dijk@tue.nl.

Visit our website for more information about the application process or the conditions of employment. You can also contact HR services, HRServices.M&CS@tue.nl.

Are you inspired and would like to know more about working at TU/e? Please visit our career page.

# Application

We invite you to submit a complete application at https://edu.nl/btffq . The application should include a:
- Cover letter in which you describe your motivation and qualifications for the position.
- Curriculum vitae, including a list of any publications and the contact information of a reference.

We look forward to receiving your application and will screen it as soon as possible; applications received by 15 September will receive full consideration. The vacancy will remain open until the position is filled.
**********************************************************
*
* 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] AAMAS 2025: Call for Blue Sky Ideas

Dear all,

Please find below the call for papers for The Blue Sky Ideas special track
of the 24th International Conference on Autonomous Agents and Multiagent
Systems (AAMAS 2025) to be held in Detroit, Michigan, USA, on May 19-23,
2025.

We look forward to seeing you in Detroit!

Tim Baarslag and Thanh Nguyen

Publicity Chairs

On behalf of the AAMAS 2025 Organizing Committee

===

Date: May 19-23, 2025

Location: Detroit, Michigan, USA

Web site:
https://aamas2025.org/index.php/conference/calls/call-for-blue-sky-ideas/

===

The Blue Sky Ideas special track is intended to present and provoke
visionary ideas, long-term challenges, new research opportunities, and
debate. It serves as an incubator for innovative, risky, and provocative
research directions, and aims to provide a forum for publishing and
presenting these without being constrained by the result-oriented standards
followed in the review process of the main track of the conference.
Research visions and ideas can cross disciplines, envisioning new
directions relevant for Agents and advancing Multi-Agent Systems research
through interdisciplinary viewpoints.

We encourage papers to reflect on the future of the research area and its
community within the broader AI and computing landscape. We invite
submissions that focus on novel, overlooked, or under-represented
application areas to which agent research may contribute; potential paths
for agent research to contribute to the state of the art in other AI and
computing areas and the other way around; unexplored theoretical grounds
for agent research. Overall, we aim at papers that help guide the agent
community to achieve in the coming years a leading position within AI and
computing research.

Submission link: https://easychair.org/conferences/?conf=aamas25bluesky

===

Important Dates

===

Abstract submission: December 10, 2024 (at 23:59 anywhere on Earth)
-

Paper submission: December 15, 2024 (at 23:59 anywhere on Earth)
-

Rebuttal period: January 10-15, 2025
-

Author notification: January 31, 2025
-

Camera-ready submission: Feb 19, 2025

===

Evaluation Criteria

===

Reviewers will assess papers based on the following criteria:

Are the ideas presented of interest to members of the Agents and MAS
research communities?
-

Do the ideas push forward the envelope of Agents/MAS application into
the future?
-

How much are the ideas visionary (vs. state of the art), novel, or out
of the box?

Are the ideas motivated and grounded in a solid understanding of the
existing state-of-the-art and older foundational research/theory?
-

Do the ideas consider relatively new research ideas (e.g. published in
the last 3 years)?
-

How deep and wide is the envisioned impact of the ideas on the research
agenda in the Agents and MAS communities?
-

How deep and wide is the envisioned impact on the intended beneficiaries
of the ideas presented, including practical considerations?
-

Are the ideas presented in a clear and rigorous way?
-

How strong is the level of critical reflection applied in the
exploration of these ideas?

===

Submission

===

Submissions are limited to 4 pages in length in the AAMAS 2025 format, with
any additional pages containing only bibliographic references. The
formatting instructions are the same as for the AAMAS 2025 main track.
Accepted papers will appear in the conference proceedings and will be
presented orally at the conference.

The Blue Sky Ideas track follows the same policies as the main track.
Submissions must be original, reviewing is double-blind, and at least one
author of each accepted paper will be required to register for the
conference by the early registration deadline with the intention of
presenting the paper at the conference.

Call for Papers:

https://aamas2025.org/index.php/conference/calls/call-for-papers-main-technical-track/

Submission Instructions:

https://aamas2025.org/index.php/conference/calls/submission-instructions-main-technical-track/

Papers must be submitted via EasyChair through the following link:

https://easychair.org/conferences/?conf=aamas25bluesky

===

Contact

===

AAMAS 2025 Blue Sky Ideas Track Co-Chairs:

Nisarg Shah, University of Toronto, Canada nisarg@cs.toronto.edu

Paolo Turrini, University of Warwick, UK p.turrini@warwick.ac.uk

Thursday, August 29, 2024

[DMANET] PhD Course of Teodor Gabriel Crainic at University of Calabria

Dear all,
I would like to bring to your attention the following PhD course at
University of Calabria: "*Advanced Optimization Models and Methods For
Planning Complex Consolidation-based Freight Transportation Systems*".
The course will be taught by Prof. *Teodor Gabriel Crainic *from CIRRELT
and School of Management Sciences Université du Québec à Montréal.

The course will take place at the Department of Mechanical, Energy and
Management
Engineering (DIMEG), cubo 44 c 2^floor and online (
https://meet.google.com/zcb-gtnu-eqz).
Please find the detailed course description in attachment.
The schedule is 17/09 15:00-18:00; and 18/09 to 20/09 10:00-13:00 (i.e.,
4 days of 3 hours sessions).
Please note that the course is open to whoever is interested in the topic.

For additional information you can refer to me (mariaelena.bruni@unical.it).
[image: crainic-seminars-vs1.png]
Best regards,
Maria Elena Bruni
-------------------------------------------------------------
Maria Elena Bruni
Associate Professor of Operations Research
University of Calabria (Italy)
Scopus <https://www.scopus.com/authid/detail.uri?authorId=14040099200>
-------------------------------------------------------------

--
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica
dell'Università della Calabria
<https://www.unical.it/5x1000>

[DMANET] PhD position in AI/ML Algorithms for Electromagnetic Compatibility at Hamburg University of Technology

PHD POSITION IN AI/ML ALGORITHMS FOR ELECTROMAGNETIC COMPATIBILITY AT
HAMBURG UNIVERSITY OF TECHNOLOGY (TUHH)
--
The Institute of Algorithms and Complexity at TUHH: Hamburg University
of Technology (www.algo.tuhh.de) in Hamburg, Germany offers an exciting
opportunity to work as a PhD student at the forefront of artificial
intelligence (AI)/machine learning (ML) algorithms.

The successful candidate will become part of PATTERN, the European
Doctoral Network Enabling AI for Electromagnetic Compatibility
(https://pattern-dn.eu/). PATTERN addresses the core challenge of
electromagnetic interference (EMI), which can obstruct communications,
and with equipment such as life-support systems, can put people's lives
at risk. This dangerous situation can be attenuated by designing new and
more effective devices, but requires a holistic approach to ensure
long-term resilience and reliability to constantly changing,
increasingly complex EMI scenarios. PATTERN will develop AI methods for
the holistic design of EMI solutions. AI can discover previously unknown
patterns in the interactions that take place between us, our devices,
and our increasingly complex environment, and it can support us
redefining safe-and-sustainable-by-design solutions to the dangers posed
by EMI in various scenario. PATTERN has expertise from four key areas,
i.e., electromagnetic compatibility (EMC), medical engineering, risk
management, and sustainability management.

In total, there will be 16 PhD research students in PATTERN, across 9
top-European universities of technologies and 11 leading industrial
partners (Philips, Nexperia, Thales, and others).

At TU Hamburg, we will host two PhD students in projects DC6 and DC9.
The successful PhD candidates will research algorithms for
discrete/combinatorial optimization problems in the holistic design of
systems addressing electromagnetic interference. The main methods
applied in these projects will come from AI/ML algorithms, discrete
algorithms, mathematical optimization, mathematical programming, and
related fields. We provide close supervision and support by a panel of
established professors and scientists. International exchanges, industry
experiences, transferable skills and career development are an integral
part of the PhD program (see
https://pattern-dn.eu/index.php/phd-training-for-doctoral-candidates/).
The working language of the program is English.

This is a full-time position (100%) which comes with an employment
contract for 3 years. It comes with an attractive salary in accordance
with the MSCA regulations for Doctoral Researchers. On top, there's a
mobility allowance (€600 per month), and a family allowance (€660 per
month, if applicable). The exact amount of salary depends on experience,
family circumstances, tax classification and other factors.

The successful candidate will join the TUHH Institute for Algorithms and
Complexity (www.algo.tuhh.de), whose research covers a broad spectrum of
algorithmic research; this includes algorithmic game theory,
combinatorial optimization, approximation and parameterized algorithms,
and applications in operations research and discrete mathematics. The
Institute for Algorithms and Complexity at TU Hamburg currently hosts
several international researchers, so English is used on a daily basis
as a working language.

The institute is located in the newly built Hamburg Innovation Port
(www.hamburg-innovation-port.com/wp-content/uploads/2018/09/01-HIPtuhhlogowasser_web.jpg),
which is located right at the Harburg harbour with great views of the
harbour and Hamburg's famous opera house (Elbphilharmonie). Several
other computer science institutes of the TU Hamburg are located in the
area, as well as DASHH - Data Science in Hamburg, the Helmholtz Graduate
School for the Structure of Matter, and the German Air and Space
Research Center (DLR). They are all located in the Free and Hanseatic
City of Hamburg, which is Germany's second largest city, home to a
population of about 1.8 million people. The city is famous for its wide
offers of entertainment, culture and attractions, with several
universities and much research in algorithms.

TU Hamburg offers several attractive benefits, including a sports centre
on campus, family-friendly working hours, healthy campus initiatives,
and more. For international staff, German classes are offered.

An excellent Masters degree --- either already obtained or to be
completed soon --- in (Applied) Mathematics, Computer Science, Data
Science, Operations Research, Engineering or related field is required.
Affinity with optimization, algorithms, or discrete mathematics is
preferred. In particular, background in AI/ML algorithms and complexity,
or mathematical optimization is appreciated. Programming experience is
considered a plus. For full eligibility criteria, please check
https://pattern-dn.eu/index.php/esr-projects/

Interested individuals should submit their applications by 30 September
2024. For a full job description and details on how to apply see
https://www.tuhh.de/algo/jobs/phd-positions. Any questions regarding the
position should be directed to Prof. Matthias Mnich (algo@tuhh.de).

Hamburg University of Technology regards diversity as an integral part
of academic excellence and is committed to employment equity and
accessibility for all employees. As such, we encourage applications from
women, persons with disabilities, members of diverse gender identities,
and others who may contribute to the further diversification of ideas.
In Hamburg, you will have the opportunity to work across disciplines and
collaborate with an international community of scholars and a diverse
student body.
**********************************************************
*
* 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 at TU Delft on Algorithms for AI Verification and Explainability

Do you want to make an impact in algorithms that formally guarantee reliability of AI in deployment? When deploying AI, the real world is often different from simulations. To make AI more rigorous, we are looking for a PhD researcher to work on novel methods for verifying when AI adaptation is necessary, and for resolving violations in a human-interpretable way.

Apply until September 29: https://www.academictransfer.com/en/344743/two-2-phd-positions-on-algorithms-for-formal-ai-verification-and-explainability/

[DMANET] Tenure Track Assistant Professorship at TU Darmstadt

The Department of Mathematics at Technical University of Darmstadt is
seeking to fill a position as
tenure track Assistant Professorship (W2tt) for Pure Mathematics

Deadline is the 1st of October 2024.

The research focus of the professorship should be in one of the areas:

- Discrete algorithmic mathematics,
- Logic with connections to theoretical computer science, or
- Graph theory/combinatorics.

please consult

https://www.career.tu-darmstadt.de/HPv3.Jobs/TU-Darmstadt/stellenangebot/38926/48871?lang=en

for more information.

Pascal Schweitzer
Department of Mathematics
Technical University of Darmstadt
Germany
**********************************************************
*
* 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] M2 Internship on Scheduling at Ecole Polytechnique

Dear all,

The computer science laboratory of Ecole Polytechnique (LIX) offers in
collaboration with the company Konatus (co-located on the campus of IP
Paris) an M2 *internship on a resource-constrained scheduling problem.*
The internship has an *empirical focus with a theoretical foundation.*
Hence, interest in both areas is very welcome. The internship will
*start roughly in April 2025*, with the exact start date being
negotiable. For administrative reasons, *we require that interested
students are already residing in France before the internship begins!*

The scheduling problem at hand is concerned with the automated
management of development processes in companies. In such processes,
different projects are split into smaller parts (such as work elements
or tasks), which need to be assigned to different teams. Each team has
various skills and capacities, and each task has a priority, a start and
an end date, a cost, and other factors. The aim is to assign the
different parts of each project to the teams such that all constraints
are satisfied and that the overall time spent on the projects is minimized.

Due to various constraints as well as the diverse nature of projects and
set-up of teams, this problem is challenging. To this end, heuristic
solvers are employed, which provide a great compromise between finding
good solutions and reducing the run time of the solver. At the moment,
Konatus uses an evolutionary algorithm as a heuristic solver. This
algorithm acts as the baseline for the internship. *The goal of the
internship is to come up with an improved heuristic solver for the
scheduling problem.* This new algorithm can be tested on different data
sets provided by Konatus (both artificial and from the real world).

The internship is going to be financed by Konatus. Max Stellmacher
(max.stellmacher@konatus.io) from Konatus acts as domain expert during
the internship. From LIX, Martin Krejca
(martin.krejca@polytechnique.edu) acts as the scientific advisor of this
project. Initially, the student should study the theoretical aspects of
this problem and determine to what end it can be decomposed or optimal
sub-problems can be solved. Based on such insights, the next step is to
implement a solver that computes good schedules, which ideally
outperform the baseline (in terms of solution quality and run time).

*This internship has the potential to be continued as a CIFRE thesis.*

If you are interested or have further questions, please contact Martin
(martin.krejca@polytechnique.edu), but expect some delays during
September 2024.

Best regards,

Martin

[DMANET] Second Call for Nominations: Prize for Innovation in Distributed Computing 2025

Prize for Innovation in Distributed Computing 2025
Awarded by the Colloquium on Structural Information and Communication Complexity (SIROCCO)

Nominations are due by September 9, 2024.

---
Call for Prize Nominations
---

Nominations are requested for the Prize for Innovation in Distributed Computing, awarded by the Colloquium on Structural Information and Communication Complexity (SIROCCO).

This prize was established to recognize individuals whose research contributions expanded the collective investigative horizon in SIROCCO's area of interest. That is, they formulated new problems, or identified new research areas, that were at the time of their introduction, unorthodox and outside the mainstream, but later attracted the interest of the SIROCCO community. This community is interested in the relationships between information and efficiency in decentralized computing. The prize recognizes originality, innovation, and creativity – the qualities that reflect the spirit of the SIROCCO conference.

The winner of the Prize for Innovation in Distributed Computing 2025 is expected to give an invited talk at SIROCCO 2025, scheduled to take place on June 2-4 in Delphi, Greece.

Past prize winners are Nicola Santoro, Jean-Claude Bermond, David Peleg, Roger Wattenhofer, Andrzej Pelc, Pierre Fraigniaud, Michel Raynal, Masafumi Yamashita, Shmuel Zaks, Zvi Lotker, Paola Flocchini, Amos Korman, Friedhelm Meyer auf der Heide, Christian Scheideler, Boaz Patt-Shamir, and Shay Kutten.

The prize may not necessarily be awarded every year.

---
Eligibility
---

The following conditions must be met by the nominees to be eligible for the prize. It is requested that a nomination letter explains and demonstrates how the nominee matches these conditions.

(1) The original innovative contribution was introduced by the nominee(s) for the first time in a publication at least five years before the nomination deadline, and the publication must have appeared in conference proceedings or a scientific journal.

(2) At least one paper (co)authored by the nominee(s), either the original paper, or a paper closely related to the innovative contribution, must have appeared in a SIROCCO proceedings.

A nomination letter should identify the paper(s) that make(s) the nominee eligible according to conditions (1) and (2) above, as well as explain the contribution, its originality, and its significance.

Past SIROCCO papers and authors can be found at indexing sites, e.g. Google Scholar or DBLP.

---
Selection process
---

The prize winners are selected by the Award Committee composed of the current Steering Committee (SC) Chair of the SIROCCO conference, the PC chairs, including co-chairs, of the three SIROCCO conferences immediately preceding the nominations deadline, plus one additional member of the Advisory Board, or one past winner, selected by the Steering Committee for the current year.

The Award Committee of the Prize for Innovation in Distributed Computing 2025 consists of:
Keren Censor-Hillel, Technion (chair)
Yuval Emek, Technion
Merav Parter, Weizmann
Andrzej Pelc, University of Quebec
Christian Scheideler, University of Paderborn

Nominations can be made by any member of the scientific community.

Please send the nomination to the prize committee chair, Keren Censor-Hillel, by e-mail: ckeren@cs.technion.ac.il. Please write "SIROCCO Prize Nomination" in the subject line.

Please help in recognizing the contributions of members of our community.

Wednesday, August 28, 2024

[DMANET] Post-doc FPT Approximation Paris-Dauphine

Dear all,

We are offering a 1 year post-doc position as part of the ANR funded
project Sub-EXponential APproximation and ParametErized ALgorithms (S-
EX-AP-PE-AL). The topic of the position is the intersection of FPT
algorithms and approximation. The post-doc will be supervised by
Michael Lampis and will be based in LAMSADE, Université Paris-Dauphine,
located in central Paris.

For more information, see the announcement on the project web page:
https://www.lamsade.dauphine.fr/~mlampis/SEXAPPEAL/events.html

The position is open to (current or soon-to-be) PhD holders in
Theoretical Computer Science or closely related fields. The *soft*
deadline for applications is September 20th, with an expected starting
date in January 2025 or earlier (negotiable, but with a hard deadline
of Feb 1st 2026 for the end of the contract).

All interested candidates are encouraged to contact Michael Lampis
(michail.lampis at dauphine.fr) with informal inquiries.

All the best,
Michael.

[DMANET] [LPNMR 2024] CALL FOR PARTICIPATION

[Apologies in case of multiple posting]

CALL FOR PARTICIPATION
--------------------------------------------------------------------------------------------

17th International Conference on
Logic Programming and Non-monotonic Reasoning
LPNMR 2024

https://lpnmr2024.demacs.unical.it
lpnmr2024@easychair.org

Dallas, Texas, USA
October 11-14, 2024

-----------------------------------------------------------------------------------------------

AIMS AND SCOPE

LPNMR 2024 is the seventeenth in the series of international meetings
on logic programming and non-monotonic reasoning. LPNMR is a forum
for exchanging ideas on declarative logic programming, non-monotonic
reasoning, and knowledge representation. The aim of the conference is
to facilitate interactions between researchers and practitioners
interested in the design and implementation of logic-based programming
languages and database systems, and those working in knowledge
representation and non-monotonic reasoning. LPNMR strives to encompass
theoretical and experimental studies that have led or will lead to
advances in declarative programming and knowledge representation, as
well as their use in practical applications. A Doctoral Consortium
will also be a part of the program.

LPNMR 2024 aims to bring together researchers from LPNMR core areas and
application areas of the aforementioned kind in order to share research experiences,
promote collaboration and identify directions for joint future research.

LPNMR 2024 is co-located with ICLP 2024.

REGISTRATION
Early registration deadline is September 12th, 2024. For more information, visit:
https://www.iclp24.utdallas.edu/registration/

We remind that at least one author of each accepted paper must early register
in order to have the paper included in the proceedings.

A discounted fee is available for participants attending both LPNMR and ICLP.

PROGRAM
Accepted papers are available at:
https://lpnmr2024.demacs.unical.it/programme/accepted-papers

A tentative schedule is available at:
https://lpnmr2024.demacs.unical.it/programme/schedule

INVITED SPEAKERS

October 12, Veronica Dahl
October 13, Torsten Schaub
October 14, Moshe Vardi

ASSOCIATED EVENTS

- 5th International Workshop on the Resurgence of Datalog in Academia and Industry
(DATALOG 2.0)
- ICLP/LPNMR Doctoral Consortium 2024

VENUE

LPNMR 2024 will be held on the campus of the University of Texas at Dallas in October 2024. Dallas, part of the Dallas/Fort-Worth metroplex, is a dynamic city with great tourist attractions. Renowned for its unique blend of modernity and rich cultural heritage, Dallas offers an array of attractions for visitors: from diverse range of museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards that feature the Cattle Drive (twice daily). Dallas boasts a thriving culinary scene, from sizzling steakhouses to trendy food trucks, to authentic Tex-Mex cuisine. With a wealth of entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas is a memorable experience.

The conference will be held as an in-person event.

GENERAL CHAIR

Gopal Gupta, The University of Texas at Dallas

PROGRAM CHAIRS

Carmine Dodaro, University of Calabria, Italy
M. Vanina Martinez, IIIA-CSIC, Spain

PUBLICITY CHAIR

Giuseppe Mazzotta, University of Calabria, Italy

WORKSHOPS CHAIR

Gerardo Simari, Universidad Nacional del Sur, Argentina

DOCTORAL CONSORTIUM CHAIR

Francesco Fabiano, New Mexico State University
Martin Gebser, University of Klagenfurt, Austria

PROGRAM COMMITTEE

Mario Alviano, University of Calabria
Marcello Balduccini, Saint Joseph's University
Pedro Cabalar, University of Corunna
Francesco Calimeri, University of Calabria
Vicent Costa, IIIA-CSIC
Stefania Costantini, Università dell'Aquila
Marina De Vos, University of Bath
Esra Erdem, Sabanci University
Wolfgang Faber, Alpen-Adria-Universität Klagenfurt
Johannes K. Fichte, Linköping University
Gerhard Friedrich, Alpen-Adria-Universität Klagenfurt
Sarah Alice Gaggl, TU Dresden
Martin Gebser, Alpen-Adria-Universität Klagenfurt
Daniela Inclezan, Miami University
Tomi Janhunen, Tampere University
Matthias Knorr, Universidade NOVA de Lisboa
Joao Leite, Universidade NOVA de Lisboa
Vladimir Lifschitz, The University of Texas at Austin
Marco Maratea, University of Genova
Giuseppe Mazzotta, University of Calabria
Enrico Pontelli, New Mexico State University
Francesco Ricca, University of Calabria
Orkunt Sabuncu, Potassco Solutions Turkey
Chiaki Sakama, Wakayama University
Torsten Schaub, University of Potsdam
Guillermo R. Simari, Universidad del Sur in Bahia Blanca
Theresa Swift, Universidade Nova de Lisboa
Alice Tarzariol, Alpen-Adria-Universität Klagenfurt
Daniele Theseider Dupre, Università del Piemonte Orientale
Matthias Thimm, Fern Universität in Hagen
Hans Tompits, TU Wien
Mirek Truszczynski, University of Kentucky
Johannes P. Wallner, TU Graz
Kewen Wang, Griffith University
Stefan Woltran, TU Wien
Jia-Huai You, University of Alberta
Jessica Zangari, University of Calabria

[DMANET] Call for Abstracts: Secure and Efficient AI on the Edge Workshop at IEEE HONET 2024

Call for Abstracts: Secure and Efficient AI on the Edge Workshop ( https://honet-ict.org/wksp-secure-ai.html )

In conjunction with the 2024 IEEE 21st International Conference on Smart Communities: Improving Quality of Life using AI, Robotics, and IoT (HONET)
December 03-05, 2024
University of Doha for Science & Technology
Doha, Qatar
https://honet-ict.org

Co-organizers:
- Yacine Challal, Ph.D.
Professor, University of Doha for Science and Technology, Qatar
Email: yacine.challal (at) udst.edu.qa
- Riyadh Baghdadi, Ph.D.
New York University at Abu Dhabi, UAE
- Karima Benatchba, Ph.D.
Professor, Ecole nationale Supérieure d'Informatique, Algeria

Workshop Overview:

Artificial Intelligence on the Edge (AIoEdge) promises cutting edge applications in industry automation, predictive maintenance, remote healthcare, precision agriculture, surveillance, and disaster recovery. It brings intelligence to the edge of the network allowing to tackle many issues related to data and AI models ownership. However, bringing intelligence to the edge raises many issues related to the efficiency and allocation of required resources to run heavy algorithms. Moreover, the integration of intelligent things into sensitive systems sharpens security requirements and may not alleviate all privacy concerns.
This workshop aims to shed some light on efficient and secure architectures and privacy-preserving machine learning solutions that fit operational constraints and requirements of artificial intelligence applications on the edge.

The Workshop is an opportunity for researchers to share knowledge and experiences with the broader community and to facilitate collaboration. The workshop seeks presentations of original works and/or previous experiences and works in progress aiming to foster discussions and reflections on the hot topic of secure AI on the Edge.

Topics of interest include but are not limited to:

- Security challenges in AIoEdge and AIoT
- Resource allocation in AIoEdge
- Performing machine learning algorithms on homomorphically encrypted data
- Federated learning and blockchain for AIoEdge
- Machine learning code optimization for heterogeneous platforms including hardware accelerators
- Secure and efficient AI in IoT over 5G/6G networks
- Elastic resource allocation in Cloud/Edge systems for AIoEdge
- Slice management for secure and efficient AIoEdge in 5G/6G networks

Submission guidelines:
Authors are invited to submit a 1-page abstract of their presentation. The Technical Program Committee will review proposals, make selections and inform each speaker of their decision to accept the inclusion of their presentation in the workshop program.

Workshop Important Dates:
Workshop Presentation Abstract Submission Deadline: September 30th 2024.
Presentation Acceptance Notification: October 15th 2024

Abstract submission:
Submit your abstract here https://honet-ict.org/author-inst.html
Select the workshop track on EDAS to submit your abstract to this workshop.

Registration:
Visit HONET registration page here https://honet-ict.org/registration.html

[DMANET] [CFP] 5th workshop on Human-Centered Computational Sensing (HCCS’25)

Dear Colleagues,

We are pleased to invite you to participate in the Fifth Workshop on
Human-Centered Computational Sensing (HCCS'25)
<https://sites.google.com/view/hccs25/home>, which will be co-located with
the 23rd IEEE International Conference on Pervasive Computing and
Communications (PerCom'25) <https://www.percom.org/>in Washington DC, USA,
from March 17-21, 2025.

The fifth edition of the Human-Centered Computational Sensing (HCCS'25)
workshop aims to advance and promote research on how unobtrusive
observations of human cognitive, behavioral, physiological, and contextual
data are increasingly enabling innovative computing experiences. The
workshop will also foster discussions about the societal implications of
computational sensing. Traditionally, sensors have been understood narrowly
as devices that capture physiological measurements, often through
wearables. This workshop adopts a broader, human-centric perspective,
envisioning sensing as time-evolving measurable data directly linked to
individuals and their communities. With this approach, sensing encompasses
human reactions and interactions observed through spoken, written, or
signed language, eye gaze, facial and bodily expressions, social networks,
geospatial patterns, and other forms of human-generated data. Advances in
multimodal human data acquisition and fusion have the potential to
significantly impact all areas of human life, including productivity,
health and well-being, training and education, human-computer interaction,
accessibility, safety and security, as well as gaming, sports, and
entertainment.

Relevant topics include but are not limited to:

Context-Aware Sensing for Adaptive Learning Environments
-

Emotion Recognition through Physiological and Behavioral Signals
-

Personalized Well-being Applications using Continuous Sensing
-

Smart Workplaces through Behavioral Sensing
-

Human Activity Recognition in Unstructured Environments
-

Emotion-Adaptive Interfaces for Human-Computer Interaction
-

Geospatial Behavior Analysis for Urban Planning
-

Fusion of multifaceted, heterogeneous, and/or incommensurable human
sensing data
-

Localization and proximity-detection systems
-

AI-empowered mobile sensing systems
-

Generative AI for synthetic sensor data generation and evaluation
-

User acceptance, quality of experience, and social impact studies
-

Accessibility of human sensing technologies
-

New interventions acting on human-centered computational sensing
-

Experimental analysis with human sensing data from real-world
applications
-

Human-centered sensing for healthcare, industry, social goods and all
possible application domains
-

Experiences and lessons learned from research projects focused on
human-centered computational sensing
-

Privacy and ethical considerations for human-centered computational
sensing, including gender equality.

Organizers will consider the possibility of inviting authors of selected
papers accepted to HCCS'25 to submit an extended work to a Special Issue of
an international journal.

Submission and Registration:

Authors are invited to submit technical or theoretical papers for
presentation at the workshop, describing original, previously unpublished
work, which is not currently under review by another workshop, conference,
or journal. Papers may be no more than 6 pages in length. Authors can
purchase one additional page for the camera-ready version. Papers in excess
of the page limits will not be considered for review or publication. All
papers must be typeset in double-column IEEE format using 10pt fonts on US
letter paper, with all fonts embedded. The IEEE LaTeX and Microsoft Word
templates, as well as related information, can be found at the IEEE website.

Submission instructions will be available soon on the workshop and
conference websites.

It is a requirement that all the authors listed in the submitted paper are
also listed in the submission system. Each accepted workshop paper requires
a full PerCom registration (no registration is available for workshops
only). Papers that are not presented in presence at the workshop will not
be published in the proceedings.

Important Dates:

Paper submission deadline: November 17th 2024
-

Paper notification: January 8th, 2025
-

Camera Ready Deadline: February 2nd, 2025

For more information, including the workshop's scope, submission
guidelines, and topics of interest, please visit the workshop website
<https://sites.google.com/view/hccs25/home> or find the attached Call for
Papers (CFP).

We look forward to your contributions and participation in HCCS'25. If you
have any questions, please do not hesitate to contact us.

Best regards,

Rajesh Titung

Rochester Institute of Technology

Email: rt7331@rit.edu

Content-Type: text/plain; charset="UTF-8"; name="Call for paper.txt"
Content-Disposition: attachment; filename="Call for paper.txt"
Content-Transfer-Encoding: base64
Content-ID: <f_m0dfj10w0>
X-Attachment-Id: f_m0dfj10w0

Q2FsbCBmb3IgUGFwZXJzDQoNCg0KRmlmdGggV29ya3Nob3Agb24gSHVtYW4tQ2VudGVyZWQgQ29t
cHV0YXRpb25hbCBTZW5zaW5nIChIQ0NT4oCZMjUpIA0KY28tbG9jYXRlZCB3aXRoIHRoZSBJRUVF
IFBlckNvbSAyMDI1LCBNYXJjaCAxNy0yMSwgMjAyNSAtIA0KV2FzaGluZ3RvbiBEQywgVVNBLg0K
aHR0cHM6Ly9zaXRlcy5nb29nbGUuY29tL3ZpZXcvaGNjczI1L2hvbWUNCg0KDQpUaGUgZmlmdGgg
ZWRpdGlvbiBvZiB0aGUgSHVtYW4tQ2VudGVyZWQgQ29tcHV0YXRpb25hbCBTZW5zaW5nIChIQ0NT
4oCZMjUpIHdvcmtzaG9wIGFpbXMgdG8gYWR2YW5jZSBhbmQgcHJvbW90ZSByZXNlYXJjaCBvbiBo
b3cgdW5vYnRydXNpdmUgb2JzZXJ2YXRpb25zIG9mIGh1bWFuIGNvZ25pdGl2ZSwgYmVoYXZpb3Jh
bCwgcGh5c2lvbG9naWNhbCwgYW5kIGNvbnRleHR1YWwgZGF0YSBhcmUgaW5jcmVhc2luZ2x5IGVu
YWJsaW5nIGlubm92YXRpdmUgY29tcHV0aW5nIGV4cGVyaWVuY2VzLiBUaGUgd29ya3Nob3Agd2ls
bCBhbHNvIGZvc3RlciBkaXNjdXNzaW9ucyBhYm91dCB0aGUgc29jaWV0YWwgaW1wbGljYXRpb25z
IG9mIGNvbXB1dGF0aW9uYWwgc2Vuc2luZy4gVHJhZGl0aW9uYWxseSwgc2Vuc29ycyBoYXZlIGJl
ZW4gdW5kZXJzdG9vZCBuYXJyb3dseSBhcyBkZXZpY2VzIHRoYXQgY2FwdHVyZSBwaHlzaW9sb2dp
Y2FsIG1lYXN1cmVtZW50cywgb2Z0ZW4gdGhyb3VnaCB3ZWFyYWJsZXMuIFRoaXMgd29ya3Nob3Ag
YWRvcHRzIGEgYnJvYWRlciwgaHVtYW4tY2VudHJpYyBwZXJzcGVjdGl2ZSwgZW52aXNpb25pbmcg
c2Vuc2luZyBhcyB0aW1lLWV2b2x2aW5nIG1lYXN1cmFibGUgZGF0YSBkaXJlY3RseSBsaW5rZWQg
dG8gaW5kaXZpZHVhbHMgYW5kIHRoZWlyIGNvbW11bml0aWVzLiBXaXRoIHRoaXMgYXBwcm9hY2gs
IHNlbnNpbmcgZW5jb21wYXNzZXMgaHVtYW4gcmVhY3Rpb25zIGFuZCBpbnRlcmFjdGlvbnMgb2Jz
ZXJ2ZWQgdGhyb3VnaCBzcG9rZW4sIHdyaXR0ZW4sIG9yIHNpZ25lZCBsYW5ndWFnZSwgZXllIGdh
emUsIGZhY2lhbCBhbmQgYm9kaWx5IGV4cHJlc3Npb25zLCBzb2NpYWwgbmV0d29ya3MsIGdlb3Nw
YXRpYWwgcGF0dGVybnMsIGFuZCBvdGhlciBmb3JtcyBvZiBodW1hbi1nZW5lcmF0ZWQgZGF0YS4g
QWR2YW5jZXMgaW4gbXVsdGltb2RhbCBodW1hbiBkYXRhIGFjcXVpc2l0aW9uIGFuZCBmdXNpb24g
aGF2ZSB0aGUgcG90ZW50aWFsIHRvIHNpZ25pZmljYW50bHkgaW1wYWN0IGFsbCBhcmVhcyBvZiBo
dW1hbiBsaWZlLCBpbmNsdWRpbmcgcHJvZHVjdGl2aXR5LCBoZWFsdGggYW5kIHdlbGwtYmVpbmcs
IHRyYWluaW5nIGFuZCBlZHVjYXRpb24sIGh1bWFuLWNvbXB1dGVyIGludGVyYWN0aW9uLCBhY2Nl
c3NpYmlsaXR5LCBzYWZldHkgYW5kIHNlY3VyaXR5LCBhcyB3ZWxsIGFzIGdhbWluZywgc3BvcnRz
LCBhbmQgZW50ZXJ0YWlubWVudC4NCg0KDQpSZWxldmFudCB0b3BpY3MgaW5jbHVkZSBidXQgYXJl
IG5vdCBsaW1pdGVkIHRvOg0KKiBDb250ZXh0LUF3YXJlIFNlbnNpbmcgZm9yIEFkYXB0aXZlIExl
YXJuaW5nIEVudmlyb25tZW50cw0KKiBFbW90aW9uIFJlY29nbml0aW9uIHRocm91Z2ggUGh5c2lv
bG9naWNhbCBhbmQgQmVoYXZpb3JhbCBTaWduYWxzDQoqIFBlcnNvbmFsaXplZCBXZWxsLWJlaW5n
IEFwcGxpY2F0aW9ucyB1c2luZyBDb250aW51b3VzIFNlbnNpbmcNCiogU21hcnQgV29ya3BsYWNl
cyB0aHJvdWdoIEJlaGF2aW9yYWwgU2Vuc2luZw0KKiBIdW1hbiBBY3Rpdml0eSBSZWNvZ25pdGlv
biBpbiBVbnN0cnVjdHVyZWQgRW52aXJvbm1lbnRzDQoqIEVtb3Rpb24tQWRhcHRpdmUgSW50ZXJm
YWNlcyBmb3IgSHVtYW4tQ29tcHV0ZXIgSW50ZXJhY3Rpb24NCiogR2Vvc3BhdGlhbCBCZWhhdmlv
ciBBbmFseXNpcyBmb3IgVXJiYW4gUGxhbm5pbmcNCiogRnVzaW9uIG9mIG11bHRpZmFjZXRlZCwg
aGV0ZXJvZ2VuZW91cywgYW5kL29yIGluY29tbWVuc3VyYWJsZSBodW1hbiBzZW5zaW5nIGRhdGEg
DQoqIExvY2FsaXphdGlvbiBhbmQgcHJveGltaXR5LWRldGVjdGlvbiBzeXN0ZW1zIA0KKiBBSS1l
bXBvd2VyZWQgbW9iaWxlIHNlbnNpbmcgc3lzdGVtcw0KKiBHZW5lcmF0aXZlIEFJIGZvciBzeW50
aGV0aWMgc2Vuc29yIGRhdGEgZ2VuZXJhdGlvbiBhbmQgZXZhbHVhdGlvbg0KKiBVc2VyIGFjY2Vw
dGFuY2UsIHF1YWxpdHkgb2YgZXhwZXJpZW5jZSwgYW5kIHNvY2lhbCBpbXBhY3Qgc3R1ZGllcw0K
KiBBY2Nlc3NpYmlsaXR5IG9mIGh1bWFuIHNlbnNpbmcgdGVjaG5vbG9naWVzDQoqIE5ldyBpbnRl
cnZlbnRpb25zIGFjdGluZyBvbiBodW1hbi1jZW50ZXJlZCBjb21wdXRhdGlvbmFsIHNlbnNpbmcN
CiogRXhwZXJpbWVudGFsIGFuYWx5c2lzIHdpdGggaHVtYW4gc2Vuc2luZyBkYXRhIGZyb20gcmVh
bC13b3JsZCBhcHBsaWNhdGlvbnMNCiogSHVtYW4tY2VudGVyZWQgc2Vuc2luZyBmb3IgaGVhbHRo
Y2FyZSwgaW5kdXN0cnksIHNvY2lhbCBnb29kcyBhbmQgYWxsIHBvc3NpYmxlIGFwcGxpY2F0aW9u
IGRvbWFpbnMNCiogRXhwZXJpZW5jZXMgYW5kIGxlc3NvbnMgbGVhcm5lZCBmcm9tIHJlc2VhcmNo
IHByb2plY3RzIGZvY3VzZWQgb24gaHVtYW4tY2VudGVyZWQgY29tcHV0YXRpb25hbCBzZW5zaW5n
DQoqIFByaXZhY3kgYW5kIGV0aGljYWwgY29uc2lkZXJhdGlvbnMgZm9yIGh1bWFuLWNlbnRlcmVk
IGNvbXB1dGF0aW9uYWwgc2Vuc2luZywgaW5jbHVkaW5nIGdlbmRlciBlcXVhbGl0eS4NCg0KDQpP
cmdhbml6ZXJzIHdpbGwgY29uc2lkZXIgdGhlIHBvc3NpYmlsaXR5IG9mIGludml0aW5nIGF1dGhv
cnMgb2Ygc2VsZWN0ZWQgcGFwZXJzIGFjY2VwdGVkIHRvIEhDQ1PigJkyNSB0byBzdWJtaXQgYW4g
ZXh0ZW5kZWQgd29yayB0byBhIFNwZWNpYWwgSXNzdWUgb2YgYW4gaW50ZXJuYXRpb25hbCBqb3Vy
bmFsLiAKDQpTdWJtaXNzaW9uIGFuZCBSZWdpc3RyYXRpb246DQpBdXRob3JzIGFyZSBpbnZpdGVk
IHRvIHN1Ym1pdCB0ZWNobmljYWwgb3IgdGhlb3JldGljYWwgcGFwZXJzIGZvciBwcmVzZW50YXRp
b24gYXQgdGhlIHdvcmtzaG9wLCBkZXNjcmliaW5nIG9yaWdpbmFsLCBwcmV2aW91c2x5IHVucHVi
bGlzaGVkIHdvcmssIHdoaWNoIGlzIG5vdCBjdXJyZW50bHkgdW5kZXIgcmV2aWV3IGJ5IGFub3Ro
ZXIgd29ya3Nob3AsIGNvbmZlcmVuY2UsIG9yIGpvdXJuYWwuIFBhcGVycyBzaG91bGQgcHJlc2Vu
dCBub3ZlbCBwZXJzcGVjdGl2ZXMgd2l0aGluIHRoZSBnZW5lcmFsIHNjb3BlIG9mIHRoZSB3b3Jr
c2hvcC4NCkFjY2VwdGVkIHdvcmtzaG9wIHBhcGVycyB3aWxsIGJlIGluY2x1ZGVkIGFuZCBpbmRl
eGVkIGluIHRoZSBJRUVFIGRpZ2l0YWwgbGlicmFyaWVzIChYcGxvcmUpLg0KUGFwZXJzIG1heSBi
ZSBubyBtb3JlIHRoYW4gNiBwYWdlcyBpbiBsZW5ndGguIEF1dGhvcnMgY2FuIHB1cmNoYXNlIG9u
ZSBhZGRpdGlvbmFsIHBhZ2UgZm9yIHRoZSBjYW1lcmEtcmVhZHkgdmVyc2lvbi4gUGFwZXJzIGlu
IGV4Y2VzcyBvZiB0aGUgcGFnZSBsaW1pdHMgd2lsbCBub3QgYmUgY29uc2lkZXJlZCBmb3IgcmV2
aWV3IG9yIHB1YmxpY2F0aW9uLiBBbGwgcGFwZXJzIG11c3QgYmUgdHlwZXNldCBpbiBkb3VibGUt
Y29sdW1uIElFRUUgZm9ybWF0IHVzaW5nIDEwcHQgZm9udHMgb24gVVMgbGV0dGVyIHBhcGVyLCB3
aXRoIGFsbCBmb250cyBlbWJlZGRlZC4gVGhlIElFRUUgTGFUZVggYW5kIE1pY3Jvc29mdCBXb3Jk
IHRlbXBsYXRlcywgYXMgd2VsbCBhcyByZWxhdGVkIGluZm9ybWF0aW9uLCBjYW4gYmUgZm91bmQg
YXQgdGhlIElFRUUgd2Vic2l0ZS4KDQpTdWJtaXNzaW9uIGluc3RydWN0aW9ucyB3aWxsIGJlIGF2
YWlsYWJsZSBzb29uIG9uIHRoZSB3b3Jrc2hvcCBhbmQgY29uZmVyZW5jZSB3ZWJzaXRlcy4KDQpJ
dCBpcyBhIHJlcXVpcmVtZW50IHRoYXQgYWxsIHRoZSBhdXRob3JzIGxpc3RlZCBpbiB0aGUgc3Vi
bWl0dGVkIHBhcGVyIGFyZSBhbHNvIGxpc3RlZCBpbiB0aGUgc3VibWlzc2lvbiBzeXN0ZW0uIEVh
Y2ggYWNjZXB0ZWQgd29ya3Nob3AgcGFwZXIgcmVxdWlyZXMgYSBmdWxsIFBlckNvbSByZWdpc3Ry
YXRpb24gKG5vIHJlZ2lzdHJhdGlvbiBpcyBhdmFpbGFibGUgZm9yIHdvcmtzaG9wcyBvbmx5KS4g
UGFwZXJzIHRoYXQgYXJlIG5vdCBwcmVzZW50ZWQgaW4gcHJlc2VuY2UgYXQgdGhlIHdvcmtzaG9w
IHdpbGwgbm90IGJlIHB1Ymxpc2hlZCBpbiB0aGUgcHJvY2VlZGluZ3MuCg0KSW1wb3J0YW50IERh
dGVzOg0KKiBQYXBlciBzdWJtaXNzaW9uIGRlYWRsaW5lOiBOb3ZlbWJlciAxN3RoIDIwMjQNCiog
UGFwZXIgbm90aWZpY2F0aW9uOiBKYW51YXJ5IDh0aCwgMjAyNQ0KKiBDYW1lcmEgUmVhZHkgRGVh
ZGxpbmU6IEZlYnJ1YXJ5IDJuZCwgMjAyNQoNCk9yZ2FuaXplcnM6Cg0KV29ya3Nob3AgY28tY2hh
aXJzDQoqIEZyYW5jYSBEZWxtYXN0cm8gKElJVC1DTlIpDQoqIE1pY2hlbGUgR2lyb2xhbWkgKElT
VEktQ05SKQ0KKiBNYXJjbyBMZXZvcmF0byAoRG9uYWxkIEJyZW4gU2Nob29sIG9mIEluZm9ybWF0
aW9uIGFuZCBDb21wdXRlciBTY2llbmNlcykNCg0KDQpQdWJsaWNpdHkgY28tY2hhaXJzDQoqIEZs
YXZpbyBEaSBNYXJ0aW5vIChJSVQtQ05SKQ0KKiBSYWplc2ggVGl0dW5nIChSb2NoZXN0ZXIgSW5z
dGl0dXRlIG9mIFRlY2hub2xvZ3kpDQoqIFZpZXQgRHVuZyBOZ3V5ZW4gKFJvY2hlc3RlciBJbnN0
aXR1dGUgb2YgVGVjaG5vbG9neSkNCg0KDQpTdGVlcmluZyBDb21taXR0ZWUNCiogQ2VjaWxpYSBP
LiBBbG0gKFJvY2hlc3RlciBJbnN0aXR1dGUgb2YgVGVjaG5vbG9neSkNCiogUmV5bm9sZCBCYWls
ZXkgKFJvY2hlc3RlciBJbnN0aXR1dGUgb2YgVGVjaG5vbG9neSkKCkZvciBhbnkgZnVydGhlciBp
bmZvcm1hdGlvbiBwbGVhc2UgY29udGFjdDogaGNjczIwMjVAaWl0LmNuci5pdAoK
**********************************************************
*
* 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, August 27, 2024

[DMANET] PhD position at TU Wien, AXAIS project

PhD Position @ TU Vienna

The research group Theory and Logic, Institute of Logic and Computation of the Vienna University of Technology, is seeking an exceptionally talented and motivated student for a PhD position.

The 4-year position (30 hrs/week) is embedded in the AXAIS project ("Acquiring and explaining norms for AI systems") funded by the Vienna Science and Technology Fund. This interdisciplinary project, involving TU Vienna (PI: Agata Ciabattoni), the University of Maryland (PI: John Horty), and the AIT - Austrian Institute of Technology (PI: Cristinel Mateis), will start December 2024.

*The Project.*

The candidate will be working as a member of the AXAIS project under the supervision of A. Ciabattoni.
The project's general aim is to address a central challenge in Machine Ethics:
the acquisition and representation of normative information that allows for machine implementation.
The project will integrate methodologies from Logic, Legal Reasoning and Natural Language Processing, to create a comprehensive framework capable of translating extensive norm codes into symbolic representations with clear meaning. The envisioned framework will promote explicable reasoning, and will enable the acquisition of complex normative information from simple decisions, akin to the practice of case-based reasoning in legal contexts.

*The position.*

The PhD position focuses on advancing and applying logical and computational methods for legal reasoning.

*Job requirements.*

The candidate should have familiarity with formal logic, ideally modal/deontic/epistemic/philosophical logics, affinity with legal reasoning, and programming skills (e.g., Answer Set Programming). Interest in sub-symbolic AI is also desirable.

The candidate should have a degree in computer science, logic, AI, philosophy, or related subjects. The working language will be English.

We welcome candidates with a variety of backgrounds and perspectives. We especially encourage candidates from underrepresented groups to apply.

*Application.*

The application should contain the following documents:

1. a letter of motivation explaining your interest in the position and your qualifications for it, 2. your curriculum vitae, 3. abstract in English of the applicant's master's thesis; 4. a complete list of completed studies and transcripts of all grades, 5. a writing sample (such as master thesis, seminar paper), and 6. the contact details of at least two referees, who can be contacted for a letter of reference

If you are interested, we invite you to apply before October 1st, 2024.

The application should be sent to agata@logic.at (with e-mail Subject "Phd Position AXAIS Project").

Interviews will be held online shortly thereafter.

https://www.vcla.at/2024/08/phd-position-at-tu-wien-axais-project/

[DMANET] Call for Papers - 13th International Workshop on Cloud and Edge Computing, and Applications Management (CloudAM 2024)

https://sites.google.com/unizar.es/cloudam2024

Overall topics of interest include but are not limited to:

Important Dates
Paper submission due: 31 August, 2024
Notification to authors: 10 October, 2024
Camera-ready papers due: 20 October, 2024
Workshop date: 16-19 December 2024

Submission Guidelines
The CloudAM workshop invites authors to submit original and unpublished work. Manuscripts are submitted in PDF format and should not exceed 6 pages single-spaced double-column, using IEEE format. Additional pages might be purchased upon the approval of the proceedings chair.

Submission Link on Easychair: https://easychair.org/conferences/?conf=cloudam2024

Submission is double-blind. This means that author information shouldn't be indicated in any part of the submission including acknowledgements, citations, discussion of related work, etc. that would make the authorship apparent. Submissions containing author identifying information may be subject to rejection without review.

Submission requires the willingness of at least one of the authors to register as author, non-student rate and present the paper in person.

Please check the CloudAM website for updated information: https://sites.google.com/unizar.es/cloudam2024

WORKSHOP TECHNICAL COMMITTEE (TBC)
Abderrahmane Maaradji, UDST, Qatar
Adel Serhani, Sharjah University, UAE
Amel Benna, CERIST, Algeria
Andrey Brito, Federal University of Campina Grande, Brazil
Antonio Brogi, University of Pisa, Italy
Ashiq Anjum, University of Leicester, UK
Agustin Caminero, Universidad Nacional de Educacion a Distancia, Spain
Brij Gupta, NIT Kurukshetra, India
Claudio Geyer, Federal Univeristy of Rio Grande do Sul, Brazil
Felix Freitag, Universitat Politècnica de Catalunya, Spain
Fabio Costa, Federal University of Goias, Brazil
Gabriel G. Castañé, University College of Cork, UK
Gleb Radchenko, South Ural State University, Russia
Ioan Petri, Cardiff University, UK
Ivan Rodero, University of Utah, USA
Jeremy Mechouche, Devoteam, France
Laurent Lefevre, INRIA, France
Luciano Baresi, Politecnico di Milano, Italy
Marco Netto, Microsoft, USA
Michael Bauer, University of Western Ontario, Canada
Mohamed Sellami, Telecom-Sud Paris, France
Pedro Valderas, UPV, Spain
Roberto Rodrigues Filho, Federal University of Santa Catarina, Brazil
Vladimir Vlassov, KTH Royal Institute of Technology, Sweden
Yacine Challal, UDST, Qatar
Wilson Akio Higashino, Google, USA

WORKSHOP HONORARY CHAIRS
Bruno Schulze - LNCC, BR
Rafael Tolosana-Calasanz - UNIZAR, ES

Theory Announcements

Saturday, August 31, 2024

[DMANET] Last CFP - IEEE HONET 2024

[DMANET] CFP- ICICIP2025, Muscat, Oman, February 6-11, 2025

[DMANET] PhD position in Logic and Complexity, Sheffield (UK), Deadline: 30 September 2024

[DMANET] CFP - CloudAM 2024

[DMANET] CFP: 23rd IEEE International Conference on Ubiquitous Computing and Communications (IUCC-2024), China, 20-22 December 2024

[DMANET] Save the date - SIGOPT2025

Friday, August 30, 2024

[DMANET] Call For Participation: ADT 2024 -- The 8th International Conference on Algorithmic Decision Theory

[DMANET] Call for Posters - Workshop on Simplicity in Mechanism Design and Preference Elicitation

[DMANET] [Fully funded PhD position] Algorithm Engineering at TU Eindhoven

[DMANET] AAMAS 2025: Call for Blue Sky Ideas

Thursday, August 29, 2024

[DMANET] PhD Course of Teodor Gabriel Crainic at University of Calabria

[DMANET] PhD position in AI/ML Algorithms for Electromagnetic Compatibility at Hamburg University of Technology

[DMANET] PhD Position at TU Delft on Algorithms for AI Verification and Explainability

[DMANET] Tenure Track Assistant Professorship at TU Darmstadt

[DMANET] M2 Internship on Scheduling at Ecole Polytechnique

[DMANET] Second Call for Nominations: Prize for Innovation in Distributed Computing 2025

Wednesday, August 28, 2024

[DMANET] Post-doc FPT Approximation Paris-Dauphine

[DMANET] [LPNMR 2024] CALL FOR PARTICIPATION

[DMANET] Call for Abstracts: Secure and Efficient AI on the Edge Workshop at IEEE HONET 2024

[DMANET] [CFP] 5th workshop on Human-Centered Computational Sensing (HCCS’25)

Tuesday, August 27, 2024

[DMANET] PhD position at TU Wien, AXAIS project

[DMANET] Call for Papers - 13th International Workshop on Cloud and Edge Computing, and Applications Management (CloudAM 2024)

Mailing Lists

Search This Blog

Blog Archive

Saturday, August 31, 2024

Friday, August 30, 2024

Thursday, August 29, 2024

Wednesday, August 28, 2024

Tuesday, August 27, 2024

Mailing Lists

Subscribe To

Search This Blog

Blog Archive