Theory Announcements

Thursday, September 26, 2024

[DMANET] Platform for Advanced Scientific Computing (PASC) 25 Call for Proposals

Dear Colleagues,

we are happy to announce that the call for proposals for Platform for Advanced Scientific Computing (PASC) 25 is live.

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

CALL FOR PAPERS

Platform for Advanced Scientific Computing

PASC25

FHNW Campus Brugg-Windisch
Windisch, Switzerland

16-18 Jun 2025

https://pasc25.pasc-conference.org<https://pasc25.pasc-conference.org/>

Deadline: 06 Dec 2024 (no extensions)

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

The Platform for Advanced Scientific Computing (PASC) invites research paper submissions for PASC25, co-sponsored by the Association for Computing Machinery (ACM) and the Swiss National Supercomputing Centre (CSCS). PASC25 will be held from June 16 to 18, 2025, at FHNW Campus Brugg-Windisch, Switzerland. The guidelines for submissions are published at https://pasc25.pasc-conference.org/submission/guidelines-for-papers/.

The PASC Conference series is an international and interdisciplinary platform for the exchange of knowledge in scientific computing and computational science with a strong focus on methods, tools, algorithms, workflows, application challenges, and novel techniques in the context of scientific usage of high performance computing.

The technical program of PASC25 is organized around the following scientific domains:

* Chemistry and Materials (incl. ceramics, metals, and polymers)
* Climate, Weather, and Earth Sciences (incl. solid earth dynamics)
* Applied Social Sciences and Humanities (incl. behavioral, economic, legal, political and business sciences, philosophy, languages, the arts, ethics in computing including climate impact of HPC, biases in machine learning, etc.)
* Engineering (incl. CFD, computational mechanics, computational engineering and materials, turbulent flow)
* Life Sciences (incl. biophysics, genomics, bioinformatics, systems biology, neuroscience, and computational biology)
* Physics (incl. astrophysics, cosmology, plasma modelling, and quantum information sciences)
* Computational Methods and Applied Mathematics

PASC25 solicits high-quality contributions of original research related to scientific computing in all of these domains. Proposals that emphasize the theme of PASC25 - "Supercomputing for Sustainable Development" - are particularly welcome.

Topics of interest include, but are not limited to:

* Extreme scalable methods in computational science and engineering, such as algorithms and software for scalable multi-scale, multi-physics, and high-fidelity computational science and engineering problems.
* Numerical methods, algorithms, or large-scale simulations in computational fluid dynamics, computational mechanics, computational engineering materials, turbulent flow, and computational cosmology.
* Effective use of advanced computing systems for large-scale scientific applications, including modern multi- and many-core CPUs and accelerators with deep memory hierarchies, and energy-efficient architectures.
* Best practices and tools for productive and sustainable scientific and engineering software development.
* The integration of large-scale experimental and observational scientific data and high-performance data analytics and computing.
* Reproducibility for computational science and engineering.
* Verification, validation, and uncertainty quantification.
* Domain specific languages; toolchains for source-to-source translation/adaption.
* Runtime systems and middleware, such as task- and data-driven computation on heterogeneous architectures.
* Algorithms and strategies for effective use of machine learning, deep learning or AI to accelerate computational science.
* Machine learning / AI in the context of large parallel HPC applications, data sets or workflows.
* Unstructured vs. structured meshes for computational science applications at exascale
* Numerical algorithm development for post-exascale computing, including, but not limited to, communication avoiding algorithms, use of reduced or mixed precision, and integration of scalable numerical libraries in application software.
* Computational approaches for social sciences such as finance, urban planning, mobility or disaster response.

Papers accepted for PASC25 will be presented as talks, and published in the Proceedings of the PASC Conference, accessible via the ACM Digital Library. A selection of the highest quality papers may be given the opportunity of a plenary presentation. In selecting papers for plenary presentation, the Papers Committee will place particular weight on impact, interdisciplinarity and interest to a broad audience.

The goal of the PASC Conference Papers Program is to advance the quality of scientific communication between the various disciplines of computational science and engineering in the context of HPC. The program was built from an observation that the computer science community traditionally publishes in the proceedings of major international conferences, while domain science communities publish primarily in disciplinary journals - and neither of which is read regularly by the other. The PASC Conference provides a unique venue that enables interdisciplinary exchange in a manner that bridges the two scientific publishing cultures.

The Proceedings of the PASC Conference (PASC25) are published in the Association for Computing Machinery's (ACM's) Digital Library. In recognition of the high quality of the PASC Conference papers track, the ACM continues to provide the proceedings as an Open Table of Contents (OpenTOC). This means that the definitive versions of PASC Conference papers are available to everyone at no charge to the author and without any pay-wall constraints for readers.

SUBMISSION AND REVIEW

The PASC25 Papers Program Committee is responsible for the paper evaluation process. The committee is chaired by Sally Ellingson (University of Kentucky, US), and (Xiaoye) Sherry Li (Lawrence Berkeley National Laboratory, US), and comprises of domain co-chairs and committee members who are specialists in their scientific fields. Papers will be evaluated by reviewers in the PASC25 papers committee on their significance, technical soundness, originality, and quality of communication.

We employ a rigorous academic peer-review process: most notably, we allow the possibility for provisional acceptance (revision and author rebuttal). Committee reviewers are solicited for each submission, with additional external reviewers where needed. The paper selection process thus combines the strengths of conference and journal publication schemes to provide an effective, high-impact publication venue in large-scale computational science.

Contributions must be submitted through the PASC Conference online submission portal (https://submissions.pasc-conference.org<https://submissions.pasc-conference.org/>). Submissions should include the following:

* Title: Maximum 20 words.
* Scientific Domain: Select a primary and optionally secondary scientific domain(s).
* Author details: Full names and contact details of author(s).
* Short Abstract: Maximum 250 words.
* Paper:
- First Stage: Maximum 10 pages including figures, tables, and appendices; but excl. references.
- Second Stage: In the revision phase, an extra page will be granted for the final paper to accommodate review requests.

Papers must be submitted in the current ACM Article Template (sigconf proceedings) format [1].

The PASC Conference highly encourages authors to follow reproducible science principles(https://opensciencemooc.eu/modules/reproducible-research-and-data-analysis/) for their submissions, to counter the reproducibility crisis in scientific publishing and increase the community value of computational research papers. Paper authors are highly encouraged to link data & software artifacts as a reference (supplementary materials archive), e.g., using open and freely available services such as, but not limited to, Zenodo.org<https://zenodo.org/> (https://zenodo.org/), Figshare.com<https://figshare.com/> (https://figshare.com/), DRYAD (https://datadryad.org/), institutional data archival platforms, or publicly accessible GitHub/GitLab instances. As guidance, data artifacts may include, as appropriate, the used/modified source code, run & analysis scripts, input files, and/or data (raw/processed as size allows); an artifact description ("README") including used standards/schema where used, a respective data archive license, and persistent link (ie., DOI).

Paper authors should plan to present their content in-person.

SUBMISSION DEADLINES

The deadline for submissions for Papers is December 06, 2024 at 11:59 pm anywhere on earth ('AoE' or 'UTC-12').

* 06 Dec 2024: Deadline for paper submissions (no extensions!)
* 04 Feb 2025: Review notifications
* 16 March 2025: Deadline for paper revisions
* 15 Apr 2025: Acceptance notifications

CONFERENCE PARTICIPATION TERMS

Authors of papers that are accepted for PASC25 will be given 20-30 minute presentation slots at the conference, grouped in topically-focused parallel sessions. A selection of the highest quality papers may be given the opportunity of a plenary presentation. Papers that are presented at PASC25 will be published in the Proceedings of the PASC Conference, accessible via the ACM Digital Library. Please note that speakers must register for the conference and are subject to the corresponding registration fee.

PAPERS PROGRAM COMMITTEE CHAIRS

General Chairs
* Sally Ellingson (University of Kentucky, US)
* Xiaoye Sherry Li (Lawrence Berkeley National Laboratory, US)

Domain Chairs
* Mark Adams (Lawrence Berkeley National Laboratory, US)
* Hannah Cohoon (Lawrence Berkeley National Laboratory, US)
* Sally Ellingson (University of Kentucky, US)
* Marta Garcia Gasulla (Barcelona Supercomputing Center, Spain)
* Katharina Kormann (Ruhr University Bochum, Germany)
* Thomas D. Kühne (Universität Paderborn and CASUS, Germany)
* Thorsten Kurth (NVIDIA, Switzerland)
* Andreas Lintermann (Forschungszentrum Jülich, Germany)
* Duc Nguyen (The University of Tennessee, Knoxville, US)
* Kara Peterson (Sandia National Laboratories, US)
* Simone Pezzuto (University of Trento, Italy)
* Birgit Strodel (Forschungszentrum Jülich, Germany)
* Rio Yokota (Tokyo Institute of Technology, Japan)

If you have any questions regarding the submission or reviewing process please email info@pasc-conference.org<https://mailto:info@pasc-conference.org/>.

Notes:

[1]: www.acm.org/publications/article-templates/proceedings-template.html<https://www.acm.org/publications/article-templates/proceedings-template.html>; see section "LaTex Authors" for the link to download the template

Dr. Thorsten Kurth,
Co-Chair for the Climate, Weather and Earth Sciences Domain @ PASC25
NVIDIA, Switzerland

Follow PASC25 on X @PASC_Conference https://twitter.com/PASC_Conference
Follow PASC25 on LinkedIn https://www.linkedin.com/company/26995788/
Follow PASC25 on Instagram @PASC_Conference https://www.instagram.com/pasc_conference/
**********************************************************
*
* 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] Dutch Day on Optimization, November 7

Dear colleagues,

On Thursday November 7, 2024, the third edition of the Dutch Day of Optimization will take place at the University of Twente. This is a one-day event, organized by Ruben Hoeksma, Bodo Manthey, Alexander Skopalik, Marc Uetz and Matthias Walter. The plenary speakers are:

* Willem-Jan van Hoeve (Carnegie Mellon University)
* Ulrike Schmidt-Kraeplin (TU Eindhoven)
* Laura Vargas Koch (University of Bonn)
* Wouter Koolen (CWI Amsterdam & University of Twente)

In addition to these plenary talks there are slots for 5min lightning talks. These are open to everyone, and can be announced when registering.

Lunch/refreshments/drinks will be provided. The website for the event, including abstracts, registration information and so on, can be found here:

https://www.utwente.nl/en/eemcs/dmmp/events/DDO/

The deadline for registration is October 25, but registering asap is very much appreciated as it helps us optimizing the catering for the day.

We hope to see many of you on the 7th of November!

Alex, Bodo, Marc, Matthias, Ruben

**********************************************************
*
* 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] Call for nominations: 2024 Victor Lesser Distinguished Dissertation Award

Dear all,

IFAAMAS <http://www.ifaamas.org/>, the International Foundation for
Autonomous Agents and Multiagent Systems, is pleased to announce the call
for the 2024 Victor Lesser Distinguished Dissertation Award
<https://www.ifaamas.org/award-victorlesser.html>. It is awarded for
dissertations written as part of a PhD, defended in the specified period,
and nominated by the supervisor (with supporting references), which show
originality, significance, and impact, and are supported by high quality
publications.

Nominations are invited for the award, which will be presented at AAMAS-2025
<https://aamas2025.org/>. The award includes a certificate and a 1500 EUR
payment.

Eligibility: Eligible doctoral dissertations are those defended between
October 1, 2023 and September 30, 2024 (both endpoints included) in the
area of Autonomous Agents or Multiagent Systems.

Submission link: https://forms.gle/wc2YJBpSvSG2iLN87

Submission deadline: October 31, 2024 (anywhere on earth)

A nomination from the dissertation supervisor requires a link to the
dissertation PDF, a PDF with a list of publications, the supervisor's
recommendation, and a PDF with information of at least one and at most
three referees. This nomination (via the Google Form above) along with all
the reference letters must be received by the deadline listed above. For
detailed information (including word limits), please refer to the full call
for nominations on the AAMAS 2025 website
<https://aamas2025.org/index.php/conference/calls/call-for-nominations-2024-victor-lesser-distinguished-dissertation-award/>
.

For questions, please contact the chair of the selection committee: Nisarg
Shah, nisarg@cs.toronto.edu

Wednesday, September 25, 2024

[DMANET] [Submission deadline approaching - Oct 1] [iSCI-2024] The 12th IEEE International Conference on Smart City and Informatization

Dear Professors/Scholars/Researchers,

Please accept our apologies if you receive multiple copies of this iSCI
2024 Call for Papers (CFPs) with Deadline (October 1, 2024).

*The 12th IEEE International Conference on Smart*

*City and Informatization (iSCI-2024)*

*Sanya, Hainan, China, 17-21 December 2024*

*http://ieee-aiplus.org/2024/isci/*

*INTRODUCTION*

The smart city is a modern urban sustainable development concept and
practice based on digital, networked and intelligent information and
communication technology facilities, with social, environmental and
management as the core elements, and ubiquitous, green and beneficial to
the people as the main features. It is a strategic cognition of the
scientific development of modern cities and a specific method to respond
wisely, another innovative top-level design for the future scientific
development of cities, and an integration and sublimation of previous urban
development concepts.

Smart cities are both intrinsically linked to and have their own
characteristics in relation to city informatisation, digital cities,
knowledge cities and creative cities. In contrast to city informatisation,
the smart city does not only stay at the level of information technology,
but also integrates technology into urbanisation, focusing on citizen
participation, social management, natural resource utilisation and quality
of life improvement in the process of urbanisation, and developing the
information systems formed in informatisation into an omnipresent and
interactive sensory network.

The 12th IEEE International Conference on Smart City and Informatization
(iSCI-2024) aims to provide a unique platform for multi-disciplinary
researchers and teams, industry solution vendors, and government agencies
to exchange innovative ideas, challenges, research results and solutions,
as well as project experience reports and successful stories.

Prospective authors are invited to submit their papers to iSCI-2024. Accepted
papers will be submitted for possible inclusion into IEEE Xplore subject to
meeting IEEE Xplore's scope and quality requirements. 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: Internet of Things (IoT) and Smart Sensing*

Security Model and Architecture

Smart Sensing in IoT

Trustworthy Data Collection in IoT

Information Security in IoT

Ubiquitous Safety in IoT

*Track 2: Urban Computing and Big Data*

Data Collection and Data Mining for Smart City

Expression and Visualization of Urban Data

Urban Monitoring and Optimization

Intelligent Transport Systems

Urban Traffic Flow Prediction

*Track 3: Sustainable Industry 4.0*

Enterprise Manufacturing and Management Informatization

Green Industry and Sustainable Manufacturing

Resource Allocation Efficiency Promotion Technologies

Integration of Information and Industrialization

Energy Informatics

*Track 4: Smart Society Informatization Technologies*

E-Government for Smart City

E-Health for Smart City

E-Education for Smart City

E-Social Services for Smart City

Social Mobility Analysis and Social Life Informatization

*Track 5: Cloud/Edge/Fog Computing for Smart City*

Cloud Computing for Smart City

Collaborative Cloud and Fog Computing for Smart City

Future Computing with Multiple Clouds

Security and Privacy across Clouds

*Track 6: Applications for Smart City Informatization*

Structural Health Monitoring in Smart City

Smart Grids and Energy

Smart Water and Food Systems

Applications for Smart Community and Smart Pension

Applications for Smart Environment and Smart Economy

*IMPORTANT DATES*

*Submission Deadline: 1 **October **2024*

Authors Notification: 15 October 2024

Final Manuscript Due: 10 November 2024

Registration Due: 10 November 2024

*PAPER SUBMISSION GUIDELINE*

All papers need to be submitted electronically through the conference
submission website (https://edas.info/N32632) 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 12 pages with
over length charge) including figures and references using IEEE Computer
Society Proceedings Manuscripts style (two columns, single-spaced, 10
fonts). Manuscript Templates for Conference Proceedings can be found at:

https://www.ieee.org/conferences_events/conferences/publishing/templates.html

Once accepted, at least one of the authors of any accepted paper is
requested to register the paper at the conference. One of the authors of
the accept paper should present the paper in the conference. Otherwise, the
paper will be withdrawn from the conference proceedings.

Publicity Chair

Rui Zhang, Hangzhou Institute of Technology, Xidian University, China

Best regards!

[DMANET] PhD positions at the University of Warwick, UK

We are seeking PhD candidates in the topic of Multiagent Systems and related areas, with particular emphasis on one or more of: computational social choice, algorithmic game theory, multiagent learning, and social and economic networks. The multiagent systems researchers at University of Warwick include Markus Brill<https://www.markus-brill.de/>, Debmalya Mandal<https://debmandal.github.io/>, Ramanujan Sridharan<https://msramanujan.weebly.com/>, Long Tran-Thanh<https://warwick.ac.uk/fac/sci/dcs/people/long_tran-thanh/>, and Paolo Turrini<https://www.dcs.warwick.ac.uk/~pturrini/>.

The University of Warwick<https://warwick.ac.uk/> has one of the leading Computer Science departments<https://warwick.ac.uk/fac/sci/dcs/> in the UK (ranked 4th UK computer science department in the 2021 research excellence framework<https://warwick.ac.uk/fac/sci/dcs/research/ref/>). The department, particularly well-known for its research in theoretical computer science, consistently produces top quality research and has strong links with research in complex systems and mathematics for real-world applications<https://warwick.ac.uk/research/mathematics-applications/>. The successful applicant(s) will have the opportunity to work in a vibrant multiagent systems group with a strong record of publications at top-tier venues.

The expected starting date is October 2025 or as soon as possible thereafter.

Informal enquiries to any of the involved researchers are strongly encouraged:

* Markus Brill<https://www.markus-brill.de/>
* Debmalya Mandal<https://debmandal.github.io/>
* Ramanujan Sridharan<https://msramanujan.weebly.com/>
* Long Tran-Thanh<https://warwick.ac.uk/fac/sci/dcs/people/long_tran-thanh/>
* Paolo Turrini<https://www.dcs.warwick.ac.uk/~pturrini/>

The deadline for our internal application round is 1 November 2024. To apply, please fill out the application form<https://forms.gle/9Yin5TmCSD61KCQc8> (which will ask you to upload a CV and a letter of motivation).

We aim to have interviews between November 11th and 22nd, 2024. Top-ranked candidates will be put forward for a fully funded position through the Computer Science Centre for Doctoral Training and Research (CDT) by January 15th 2025.

For more information on the official application process, including stipends and fees, see https://warwick.ac.uk/study/postgraduate/courses/compsciencephd/

[DMANET] Professorship in Quantum Computing at Bochum

The Faculty of Computer Science at Ruhr University Bochum has an opening
for a Professorship in Quantum Computing (open rank). The deadline is
November 10, 2024. For more information, please see here:

https://jobs.ruhr-uni-bochum.de/jobposting/c940730c4daab992995dd4c9f66bb248622449010

--
Prof. Dr. Michael Walter, Faculty of Computer Science, Ruhr University
Bochum
+49 (0)234 32-28555, michael.walter@rub.de, qi.rub.de

[DMANET] Final Call for Papers: 13th GameNets 2025

*** FINAL CALL FOR PAPERS ***

Dear colleagues,

the 13th EAI International Conference on Game Theory for Networks (GameNets)
will be held at Magdalene College, Cambridge, United Kingdom, March 17-18, 2025.

Foundational work is solicited on topics including but not limited to:

– Game theory for networks, including wireless and vehicular networks
– Congestion analysis and network design
– Traffic networks and equilibria
– Mechanism Design for Networks
– Game theory for social and biological networks
– Network pricing and resource allocation
– Game theory as applied to e-commerce and economic networks
– Game theory for emerging technologies
– Multi-Agent Reinforcement Learning
– Fairness in Resource Allocation
– Cooperative and Coalition games
– Collusion detection approaches
– Game theory for network security/resilience
– Approaches for Multi-agent games (e.g., Diplomacy)

SUBMISSION SERVER AND DEADLINE

Paper submissions will be handled through EasyChair. Please use the following link to submit your paper:

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

Full Paper Submission deadline: 15th October, 2024.
Notification deadline: 15th December, 2024
Camera-ready deadline: 15th January, 2025.

Authors of selected papers will be invited to submit an extended version to:
1. ACM Transactions on Economics and Computation: https://dl.acm.org/journal/teac
2. ACM Journal on Autonomous Transportation Systems: https://dl.acm.org/journal/jats

Further details on the call for papers, including the program committee members and invited speakers can be found on the website at https://gamenets.eai-conferences.org/2025/submission/.

If you have any questions, please feel free to contact us: gamenets2025@easychair.org <mailto:gamenets2025@easychair.org>

Best regards,
Vaneet Aggarwal, Tobias Harks and Sanjiv Kapoor
GAMENETS 2025 PC Co-Chairs and General Chair
**********************************************************
*
* 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] IFIP SEC 2025 CFP

Greetings,

We would like to let you know about the call for papers for our upcoming IFIP SEC 2025 conference. Information bellow.

Call for Papers

40th IFIP TC-11 SEC 2025 International Information Security and Privacy Conference
May 21 – 23, 2025
Hotel City, Maribor, Slovenia

The IFIP SEC conference is the flagship event of the International Federation for Information Processing (IFIP) Technical Committee 11 on Security and Privacy Protection in Information Processing Systems (TC-11, www.ifiptc11.org). We seek submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and privacy protection in ICT Systems. Practitioners and industry representatives are encouraged to submit papers.

Topics
We welcome contributions within, but not limited to, the following areas:
Access control and authentication
Applied cryptography
Audit and risk analysis
Big data security and privacy
Cloud security and privacy
Critical infrastructure protection
Cyber-physical systems security
Data and applications security
Digital forensics
Human aspects of security and privacy
Identity management
Industry networks security
Information security education
Information security management
Information technology misuse and the law
IoT security
Managing information security functions
Mobile security
Multilateral security
Network & distributed systems security
Pervasive systems security
Privacy protection and Privacy-by-design
Privacy-enhancing technologies
Quantum computations and post-quantum cryptography
Side-channel attacks
Surveillance and counter-surveillance
Trust management

Submission of full papers deadline December 20, 2024, AoE

Committees
General chair
Tatjana Welzer, University of Maribor, Faculty of Electrical Engineering and Computer Science, Maribor, Slovenia

Programme committee co-chairs
Kai Rannenberg, Goethe-University, Frankfurt am Main, Germany
Lili Nemec Zlatolas, University of Maribor, Faculty of Electrical Engineering and Computer Science, Maribor, Slovenia

Organizing chair
Marko Hölbl, University of Maribor, Faculty of Electrical Engineering and Computer Science, Maribor, Slovenia

Further information and submission: http://sec2025.um.si/

We hope to hear from you soon. Thank you in advance.
Best regards,

University of Maribor
Faculty of Electrical Engineering and Computer Science
Koroška cesta 46, 2000 Maribor, Slovenia

[DMANET] October 14, 16.30-17.30 CET, @ the newly created EURO OSS on Operational Research and Machine Learning

Dear colleagues,

EURO – The Association of European Operational Research Societies has a new instrument, the EURO Online Seminar Series (EURO OSS), and we are pleased that on October 14, 16.30-17.30 CET, Prof Anita Schöbel (President of EURO) will open the EURO OSS on Operational Research and Machine Learning, https://euroorml.euro-online.org/, followed by the talk of Prof Bart Baesens on "Using AI for Fraud Detection: Recent Research Insights and Emerging Opportunities".

To receive the link to participate online, please join the mailinglist https://forms.gle/YWLb6EPKRQnQert68.

The EURO OSS on Operational Research and Machine Learning is an online seminar series with the goal to brand the role of Operational Research in Artificial Intelligence. The format is a weekly session that takes place every Monday, 16.30-17.30 (CET). It is 100% online-access, and it will have leading speakers from Operational Research, as well as neighbouring areas, that will cover important topics such as explainability, fairness, fraud, privacy, etc. We also have the YOUNG EURO OSS on Operational Research and Machine Learning. In each YOUNG session, three junior academics will show their latest results in this burgeoning area. The Online Seminar Series is free thanks to the support given by EURO, as well as Universidad de Sevilla (US) and Copenhagen Business School (CBS). This is gratefully acknowledged.

To follow us
Website: https://euroorml.euro-online.org/
Link to register mailinglist: https://forms.gle/YWLb6EPKRQnQert68
LinkedIn: https://www.linkedin.com/company/euroorml/
X (formerly Twitter): @euroorml

Kind regards,
The organizers of the EURO OSS on Operational Research and Machine Learning
Emilio Carrizosa, IMUS-Instituto de Matemáticas de la Universidad de Sevilla
Nuria Gómez-Vargas, IMUS-Instituto de Matemáticas de la Universidad de Sevilla
Thomas Halskov, Copenhagen Business School
Dolores Romero Morales, Copenhagen Business School

**********************************************************
*
* 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, September 24, 2024

[DMANET] PhD position in Neurosymbolic Algorithmics at TU Wien, Vienna, Austria

Dear Colleagues,

Within the new Cluster of Excellence "Bilateral AI" (https://www.bilateral-ai.net/), we seek to fill a 4-year PhD position.

The successful candidate will work on integrating symbolic computational reasoning techniques (such as SAT, MaxSAT, #SAT, QBF, and CP) with cutting-edge machine learning approaches, including generative methods like transformer models and predictive techniques like reinforcement learning. The goal is to develop algorithms that surpass traditional methods in efficiency. The ideal candidate has a strong background in both areas (symbolic and subsymbolic techniques). However, we will also consider candidates with a strong background in one area who are willing to gain expertise in the other. Excellent programming skills in languages such as Python and the ability to design efficient algorithms are required.

Detailed information on the position and on how to apply can be found here:
https://www.vcla.at/2024/08/open-positions-cluster-of-excellence/#szeider

Informal inquiries about the position are welcome and should be sent directly to Stefan Szeider.

Best regards,
Stefan Szeider

-----
Stefan Szeider, Professor
TU Wien, Vienna, Austria
Algorithms and Complexity Group
https://www.ac.tuwien.ac.at/people/szeider/

[DMANET] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024): 2-8 November, 2024; Hanoi, Vietnam: Call for Participation - Early Bird Registration Extended to 4 October

21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)-Call for Participation

21st International Conference on

Principles of Knowledge Representation and Reasoning, KR 2024

November 2 - November 8, 2024, Hanoi, Vietnam

Conference web site: www.kr.org/KR2024

--Call For Participation--

Early Registration: Deadline GMT+7 (i.e. Vietnam time) Friday 20 September, 2024

--Conference Format and Registration--

KR 2024 will be organized as in-person and welcomes all researchers interested in KR to participate! Information about how to register for the main conference and associated events can be found at: www.kr.org/KR2024/registration.php.

The list of papers accepted at the main conference and special tracks can be found on the conference webpage.

--NSF Student Grants--

If you are a student based in the US, there is an opportunity to receive funding for attending the conference. Please fill out this form here (www.docs.google.com/forms/d/e/1FAIpQLSeTH5Ucw2UzERPh-Cjh8XtS-JHX1AswJWJ8CGlGEoPUIjpGKw/viewform) no later than September 17.

--Keynote Speakers--

- Meghyn Bienvenu (LaBRI - CNRS and University of Bordeaux, France)
- Subbarao Kambhampati (Arizona State University, USA)
- Sheila McIlraith (University of Toronto, Canada) and Murray Shanahan (Imperial College London, UK)
- Nina Narodytska (VMware Research by Broadcom, USA)

--Special Tracks--

- KR in the Wild
- Reasoning, Learning and Decision-Making
- Recently Published Research
- Video Track

--Special Sessions--

- Demonstration Session
- Diversity and Inclusion
- Doctoral Consortium

--Workshops--

- 5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024)
- 1st International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024)
- International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS and SR 2024)
- 1st Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (SYNERGY)
- Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR (KoDis/CAKR 2024)

--Tutorials--

- An introduction to approximation fixpoint theory
- Argumentation and Machine Learning
- Fundamental Problems in Statistical Relational AI
- Formal Aspects of Strategic Reasoning in Multi-Agent Systems
- Iterated Belief Change
- Large Language Models are Human-like Annotators
- Probing Machine Learning Models in Angluin's Style

--Co-Located Events--

NMR 2024 (23rd International Workshop on Non-Monotonic Reasoning)

--Conference Chairs--

- General Chair: Pierre Marquis (University Artois, CNRS, CRIL - Institut Universitaire de France, France)
- Program Chairs: Magdalena Ortiz (TU Wien, Austria) and Maurice Pagnucco (The University of New South Wales (UNSW), Australia)
- Demonstration Session Chair: Mario Alviano (University of Calabria, Italy)
- Diversity and Inclusion Session Chairs: Shqiponja Ahmetaj (TU Wien, Austria), Daxin Liu (The University of Edinburgh, UK), Renata Wassermann (Universidade de São Paulo, Brasil)
- Doctoral Consortium Chairs: Camille Bourgaux (CNRS, ENS, Paris, France), Johannes P. Wallner (TU Graz, Austria)
- Funding and Scholarship Chairs: Gianluca Cima (Sapienza University of Rome, Italy), Zeynep Saribatur (TU Wien, Austria)
- KR in the Wild Track Chairs: Matti Järvisalo (University of Helsinki, Finland), Birte Glimm (University of Ulm, Germany)
- Local Arrangement Chairs: Long Tran-Thanh (University of Warwick, UK), Thanh Van Dinh (East Asia University of Technology, Vietnam), Van Dao Hong (East Asia University of Technology, Vietnam), Tran Cao Son (New Mexico State University, USA), Phi Le Nguyen (Hanoi University of Science and Technology, Vietnam)
- Publicity Chairs: Yazmin Angelica Ibañez-Garcia (Cardiff University, UK), Stavros Vassos (Helvia.ai)
- Reasoning, Learning and Decision-Making Track Chairs: Jean Christoph Jung (Dortmund University, Germany), Sebastijan Dumančić (Delft University, The Netherlands), Masoumeh Mansouri (University of Birmingham, UK)
- Recently Published Research Track Chairs: Yongmei Liu (Sun Yat-sen University, China), Mantas Šimkus (TU Wien, Austria)
- Tutorial and Workshop Chairs: Elena Botoeva (University of Kent, UK),

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

Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-GdW2HSKzg2YnbB_W3y-Kd13jcTszW4hsZfx2xN9z6W47xjjK2Rmy8yW3BXCxX1X2czvW3JVnkn3SR47RW2CX4cT4fGx4vW1S2H4b49tx-4W45wFC11XpShgW32yXWy2KYYlnW3GJd4B3XYJ0BW43DFss3ZVBLyW2KXdV53XXTk2W2RjC4w3N_9KDW367tGx2CJSYxW1Xt8G936p-jFW1X1Qxf3SJPjCW49lvpd1QDfb0W2qRjws3VLjM8W32yyVz2FST_sW43nR2f1LkV2lW3JJqCs2p8M8GW45S8K92Csx7jW21jC6r3QV8slW2RRYgw2Wpyt1W3Hf4yb49vrfTW1Bq2W24rGNy0W3_X6ly2xJ0XBW3Y2Z4F2Myy4pW3Zx1xk3jrTK_W308wqK30p0LHW2-bRbv1NgM27W2FM2V12TzZ-pW2WH7ps3LY2zfW2nYcG43XZXh3W2RjDL_1_r4rTW3VWtlc1-Y0DZW4fRl3x4rw4mSW1ZtST92MwVF9W1LCsQ31_7M1vW2nN7H_2KDvPYW3SJ1vS2KwzlpW3gd4vp2F-YZJW49TmXq36dRvcW49LKCF3bq3QHf4cKGwB04&_hsenc=p2ANqtz-9pASH55Ehm-km_OIemuUXdJCOaxuCqe17_x0C802GiWKnYiOXBu5vV9xEJ1YFzhqkSl9jR2yy106nh-zpBio3Ce3ZRfw&_hsmi=326002479 )

[DMANET] EWSN'24: Posters & Demos Deadline Extended - October 1st

------------------------------------------------------------------------------
EWSN'24: Calls for Posters & Demos
December 10-13, 2024 - Abu Dhabi, United Arab Emirates
https://ewsn24.tii.ae/call-for-posters-demos.html
------------------------------------------------------------------------------

The International Conference on Embedded Wireless Systems and Networks
(EWSN) is a highly selective single-track international conference that
delves into the latest research on embedded systems and wireless
networking. These are key enablers for scenarios such as the Internet of
Things and Cyber-Physical Systems.

*** SCOPE ***

EWSN 2024 invites poster and demo submissions. The poster session will
serve as a forum for researchers to present ongoing work and receive
early feedback from peers, while the demo session will showcase real
prototypes and systems. The best paper/demo award will be granted with €
1,000 each.
Specific topics of interest include but are not limited to those of the
EWSN'24 Call for Papers (see
https://ewsn24.tii.ae/calls-submission.html#cfp).

*** SUBMISSION INSTRUCTIONS ***

The poster and demo co-chairs will review and evaluate each submission
based on its quality and potential to stimulate lively discussions
during the conference.
- Format: Submit a 2-page abstract (plus one additional page for demos
describing the setup). Use the LaTeX template provided. Submissions
should be formatted to an 8.5x11 (letter) two-column layout with
10-point font.
- Title: The abstracts' title must be prepended with ''Poster: '' or
''Demo: '' as applicable.
- Anonymity: all submissions should not be anonymized, i.e., the
abstracts should include all authors' names, affiliations, and contact
details.

Posters and demo abstracts are submitted using HotCRP:
- Posters: https://ewsn2024posters.hotcrp.com/
- Demos: https://ewsn2024demos.hotcrp.com/
Accepted abstracts will be published in the conference proceedings and
indexed in the ACM Digital Library.

*** ON-SITE POSTERS AND DEMO SESSION PROCESS ***

The organization of the poster and demo session during the conference
embraces two major aspects:
- One-minute madness: The poster and demo displays will be preceded by a
quick introductory session. This is intended to pitch your poster/demo
and intrigue the audience to visit your stand.
- Digital presentation: Posters will be displayed on digital A1
displays, supporting multimedia elements (videos are allowed, but there
is no sound). There will be no poster stands or walls. The display of
all posters and demos is restricted to a dedicated poster session.

*** IMPORTANT DATES & DEADLINES (EXTENDED) ***

- Submission Deadline: October 1, 2024 (AoE)
- Notification of Acceptance: October 7, 2024
- Camera-ready Deadline: October 15, 2024
- Posters and Demos session at EWSN 2024: December 11, 2024

*** ORGANIZING COMMITTEE ***

- Christian Renner (Hamburg University of Technology, Germany)
- Martin Andreoni (Technology Innovation Institute, UAE)
- Longfei Shanguan (University of Pittsburgh, United States)

This call encourages a wide range of contributions, particularly
welcoming early-stage work from students and supplementary materials
from authors of full papers (accepted or otherwise). EWSN 2024 will also
support several travel grants for students and women in science (see
https://ewsn24.tii.ae/grants.html). If you have any questions about the
suitability of your topic or submission, please contact the poster and
demo co-chairs.

We look forward to your innovative contributions and an exciting
exchange of ideas at EWSN. For more information on submission guidelines
and event details, please visit our website:
https://ewsn24.tii.ae/call-for-posters-demos.html.

Monday, September 23, 2024

[DMANET] Call For Participation: HCOMP 2024 for the PACE Workshop: Participatory AI for Community Engagement

🚀 Join us at HCOMP 2024 for the PACE Workshop: Participatory AI for
Community Engagement! We are happy to announce the upcoming PACE Workshop
and invite researchers from all fields working on participatory approaches
for public sector responsible AI.

📅 Date: October 16–19, 2024 (Exact day will be announced soon) 📍 Venue:
HCOMP 2024 at Pittsburgh, PA

💡 Submission Categories:

Work-in-progress papers: Present initial research findings or innovative
ideas in the early stages of development.
-

Position papers: Offer literature reviews, reveal systematic
shortcomings, or propose new Responsible AI solutions for the public sector.
-

Artifact papers: Include software, prototypes, pictorials, etc.,
described in an accompanying short paper.

All submissions should be 5000 words or less (excluding references and
appendices).

🔍 Workshop Highlights:

Keynote by a leading community organization in public sector AI
-

Paper sessions presenting cutting-edge research
-

Interactive discussion activities on auditing and accessibility in AI

📢 Submission Deadline: Oct 4, 2024

For more details and to submit your work, visit our website:
https://tulanecs.github.io/PACE/. Submissions can be made through CMT
portal: https://cmt3.research.microsoft.com/PACE2024/Submission/Index

--
*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] M-PREF 2024 - 2nd Call for Participation

======================================================================
M-PREF 2024: 2ND CALL FOR PARTICIPATION
======================================================================

15th Multidisciplinary Workshop on Advances in Preference Handling

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

https://mpref2024.mpref.org

======================================================================
Invited Speakers: Jörg Rothe (HHU) and Khaled Belahcene (MICS)
======================================================================

We invite interested researchers to participate in the 15th
Multidisciplinary Workshop on Advances in Preference Handling (M-PREF
2024), which is part of the workshop program of ECAI 2024.
Participants need to register for the pre-conference program of ECAI.
The workshop will be held on October 20, 2024 on the North Campus of
the University of Santiago de Compostela.

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

PROGRAM

The following schedule is tentative. Please check the following web
page for last minute changes:

https://mpref2024.mpref.org/m-pref-2024-program-of-preference-handling-workshop.html

9:00 - 10:30 Session 1: Fair Allocation

Welcome by Organizers

Regular paper

"Fair Division with Storage and an Application to Water Allocation" by
Eyal Briman, Nimrod Talmon, Stephane Airiau, Umberto Grandi, Jerome
Lang, Jerome Mengin, and Faria Nasiri Mofakham

Regular paper

"Computing Efficient Envy-Free Partial Allocations of Indivisible
Goods" by Robert Bredereck, Andrzej Kaczmarczyk, Junjie Luo, and Bin
Sun

Regular paper

"Distribution Aggregation via Continuous Thiele's Rules" by Jonathan
Wagner and Reshef Meir

Regular paper

"Adjusting Adjusted Winner" by Robert Bredereck, Eyal Briman, Bin Sun,
and Nimrod Talmon

10:30 - 11:00 Coffee Break

11:00 - 11:45 Invited Talk: Khaled Belahcene

Title: "Lincs, a Python library for non-compensatory sorting"

11:45 - 12:30 Session 2: Preference Models

Regular paper

"Defining Compatibility for Moral Preferences: a Condition based on
Suzumura Consistency" by Guillaume Gervois, Gauvain Bourgne, and
Marie-Jeanne Lesot

Published Paper (ADT 2024)

"Learning multiple multicriteria additive models from heterogeneous
preferences" by Vincent Auriau, Khaled Belahcene, Emmanuel Malherbe,
and Vincent Mousseau

12:30–14:00 Lunch Break

14:00–14:45 Invited Talk: Jörg Rothe
‍
Title: "Economics and Computation: The Second Edition"

14:45–15:30 Session 3: Fair Mechanisms

Regular Paper

"Proportional Participatory Budgeting with Projects Interaction" by
Roy Fairstein, Reshef Meir and Kobi Gal

Regular Paper

"Equitable Mechanism Design for Facility Location" by Toby Walsh

15:30–16:00 Coffee Break

16:00–17:30 Session 4: Voting

Regular Paper

"Properties of Egalitarian Sequences of Committees: Theory and
Experiments" by Paula Böhm, Robert Bredereck, and Till Fluschnik

Regular Paper

"Algorithms for Collaborative Harmonization" by Eyal Briman, Eyal
Leizerovich and Nimrod Talmon

Published Paper (AAMAS 2024)

"Fine-Grained Liquid Democracy for Cumulative Ballots" by Matthias
Köppe, Krzysztof Sornat, Martin Koutecký, and Nimrod Talmon

Regular Paper

"A Non-Jury Theorem when Voters Can Abstain" by Ganesh Ghalme and
Reshef Meir

Closing Remarks

ATTENDANCE

Participants need to register for the pre-conference program of ECAI:

https://www.ecai2024.eu/registration

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] Postdoc position in SAT solving at TU Wien, Vienna, Austria

Dear Colleagues,

We seek a postdoc to work with us on one of the following topics:

(1) using SAT-solving techniques to solve combinatorial problems, and
(2) speeding up SAT solving (or related problems) with ML techniques.

The research-only position is for up to 2 years.

Applications can be made until October 23, 2024, using the following link

https://form.jotform.com/szeider/satpostdoc

Informal inquiries are welcome.

Best regards,
Stefan Szeider

--
Stefan Szeider, Professor
TU Wien, Vienna, Austria
Algorithms and Complexity Group
https://www.ac.tuwien.ac.at/people/szeider/

[DMANET] LAWCG 2024 - Last call for participation

Dear all,

Please remember that the deadline to register for the 11th Latin American
Workshop on Cliques in Graphs (LAWCG 2024) is September 30th, 23h59 (GMT-3).

Further information can be found here:
https://www.lawcg.mat.br/lawcg24/registration/

Thanks for sharing this information with potentially interested colleagues
and students.

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

The 11th Latin-American Workshop on Cliques in Graphs (LAWCG 2024) will
take place in:

Praia do Presídio, Aquiraz - Ceará, Brazil

October 20th to 23rd, 2024.

https://www.lawcg.mat.br/lawcg24/

LAWCG is a venue meant to foster interaction among the Latin American Graph
Theory and Combinatorics community, whose research interests include
cliques, clique graphs, the behavior of cliques and other topics in Graph
Theory.

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

Important dates and information

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

Submissions ended: April 30, 2024

Early registration: until July 15, 2024

Registrations end: September 30, 2024

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

Special issue of Matemática Contemporânea

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

After the event, all interested researchers will be invited to submit an
extended abstract to Matemática Contemporânea, a journal of the Brazilian
Mathematical Society. The submitted papers will go through the normal
peer-review process.

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

Invited Speakers

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

Marina Esther Groshaus - Universidade Tecnológica Federal do Paraná, Brazil.

César Hernández Cruz - Universidad Nacional Autónoma de Mexico, Mexico.

Andrea Jiménez - Universidad de Valparaíso, Chile.

Nicolas Nisse - Inria d'université Côte d'Azur, France.

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

Programme Committee

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

Carlos Vinicius Lima, UFCA, Brazil

Ana Karolinna Maia, UFC, Brazil (Chair)

Amanda Montejano, UNAM, Mexico

Martin Safe, UNS, Argentina

Diana Sasaki, UERJ, Brazil

Silvia Tondato, UNLP, Argentina

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

Organizing Committee

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

Júlio Araújo, UFC, Brazil (Chair)

Fabricio Benevides, UFC, Brazil

Claudia Linhares Sales, UFC, Brazil

Ana Karolinna Maia, UFC, Brazil (Co-chair)

Rudini Sampaio, UFC, Brazil

Ana Shirley Silva, UFC, Brazil (Co-chair)

On the behalf of the organizing committee,

--
Júlio Araújo
matematica.ufc.br/julio

--
Júlio Araújo
*matematica.ufc.br/julio <http://matematica.ufc.br/pt/julio>*
**********************************************************
*
* 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] STACS 2025: Last Call for Papers

This is the last announcement of the Call for Papers for STACS 2025.
The submission deadline is THIS THURSDAY!

=== STACS'25: Call for Papers ===

The 42nd International Symposium on Theoretical Aspects of Computer
Science is planned to take place from March 4th to March 7th in Jena,
Germany https://www.stacs2025.de/.

STACS 2025 will consist of two tracks, A and B. Track A focuses on
algorithms, data structures and complexity, while track B focuses on
automata, logic, semantics, and theory of programming.

Authors are invited to submit papers presenting original and
unpublished research on theoretical aspects of computer science.
Topics covered by the tracks include, but are not limited to the
following:

Track A. Algorithms, Data Structures and Complexity

Design of parallel algorithms
Distributed algorithms
Approximation algorithms
Parameterized algorithms
Randomized algorithms
Analysis of algorithms
Combinatorics of data structures
Computational geometry
Cryptography
Algorithms for machine learning
Algorithmic game theory
Quantum algorithms
Computational and structural complexity theory
Parameterised complexity
Randomness in computation

Track B. Automata, Logic, Semantics and Theory of Programming

Automata theory
Games and multi-agent systems
Algebraic and categorical methods
Models of computation
Concurrency
Timed systems
Finite model theory
Database theory
Semantics
Type systems
Program analysis
Specification and verification
Rewriting and deduction
Learning theory
Logical aspects of computability and complexity

== Important Dates ==

Submission deadline: 26 September 2024, 23:59 AoE
Rebuttal: 15-21 November 2024
Notification: 16 December 2024
Camera ready: mid-January 2025
Conference: 4-7 March 2025

== Submissions ==

Submissions should be made through EasyChair at
https://easychair.org/conferences/?conf=stacs2025

For more information on submission format, conflicts of interest,
rebuttal, etc., see https://www.stacs2025.de/ .
**********************************************************
*
* 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] CloudAM 2024 - Hard deadline extension

*** 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: 27 September, 2024 (Extended, hard deadline)
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
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 Cork, UK
Gleb Radchenko, South Ural State University, Russia
Helio Guardia, Federal University of São Carlo, Brazil
Ioan Petri, Cardiff University, UK
Ivan Rodero, University of Utah, USA
Jose Bañares, University of Zaragoza, Spain
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
Omer Rana, Cardiff University, UK
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] PhD position in Time complexity Analysis of Bio-Inspired Computation available at SUSTech, Shenzhen, China

--Apologies for multiple postings--

Applications are invited for a fully-funded PhD studentship on the runtime analysis of bio-inspired computation techniques such as evolutionary algorithms, genetic algorithms, artificial immune systems which are widely used heuristic search techniques at the heart of artificial intelligence.

 

About the project

 

Bio-inspired meta-heuristics, such as evolutionary algorithms, genetic algorithms or artificial immune systems are general purpose algorithms that mimic powerful mechanisms from nature such as the natural evolution of species or the collective intelligence of animals with the goal of solving complex optimisation problems. They have been applied successfully to a broad range of problems in various disciplines with remarkable success. They are particularly useful in settings where limited knowledge about the problem is available (black-box optimisation) and evaluating candidate solutions is the only means of learning about the problem at hand.

 

In recent years theoretical analyses have emerged that provide mathematically proven statements regarding the performance of bio-inspired algorithms. They rigorously estimate the expected time required by the algorithms to find a satisfactory solution for various optimisation problems. Such analyses use mathematical techniques drawn and extended from the fields of randomised algorithms, probability theory and computational complexity. The results allow for insights into the working principles of bio-inspired meta-heuristics, enable the assessment of parameter choices and design aspects, and ultimately guide towards the design of more powerful algorithms. This studentship offers a valuable opportunity to work within this very active, challenging and exciting field of research at the intersection between theoretical computer science and artificial intelligence.

 

The successful applicant will perform high quality research in the area of time complexity analysis  at the interface between bio-inspired computation and artificial intelligence. During the PhD studies, he/she will develop expertise in one or more promising research areas of his/her choice in this wide research area.

 

Possible topics include the performance analysis of:

 

a)      Population-based meta-heuristics: highlighting their advantages over single-trajectory algorithms and/or the advantages of recombination over mutation-only algorithms;

b)     Algorithm configurators: how to evolve the optimal parameter settings for the meta-heuristic;

c)      Hyper-heuristics: how to evolve the meta-heuristic itself;

d)   Genetic programming: how to evolve computer programs effectively.

 

About the University/Department

 

Established in 2010 with the mission to reform Chinese tertiary education and become a top-notch international research university, SUSTech was launched in the tech capital city of Shenzhen. SUSTech is becoming the important epicentre for China's science and technology academic research and for the cultivation of innovative minds.  The rapid ascent of SUSTech onto the global stage is remarkable. In the Times Higher Education (THE) World university Rankings 2023, it ranked 8th in Mainland China and 166th among the universities in the world. In THE Young Universities Rankings 2024, SUSTech was ranked 1st in China.

 

The SUSTech campus sits in the rolling hills of Nanshan District, with the verdant green lawns reflecting the environmentally friendly policies of the university. The natural and tranquil environment combines perfectly with the modern style of Shenzhen and its convenient location. With the campus covering an area of nearly 2 square kilometers, there is plenty of room for students to cogitate and consider their research or relax and enjoy their lives on campus. With students transiting the campus on foot, by bike or utilizing our convenient electric shuttle buses, its commitment to environmental sustainability is strong. 

 

Located in the dynamic metropolis of Shenzhen, China's Silicon Valley, SUSTech is centered on a thriving ecosystem of entrepreneurship, innovation and research. Some 43 per cent of the total PCT patent applications in China came from Shenzhen in 2017, and the city shows no signs of slowing down. As China's research and development center, it is the perfect place for entrepreneurs, researchers and innovators alike to make their home alongside tech giants such as Huawei, Tencent, BYD, DJI, BJI and Mindray.

 

Shenzhen is also only distant 17 minutes from Hong Kong city centre by high speed train and about an hour from Macau by ferry.

 

The successful candidate will join the recently established AI-Theory Lab in the department of Computer Science and Engineering with world-leading expertise in bio-inspired computation.

 

Candidate Requirements

 

Applicants must have recently completed a first class (or equivalent) undergraduate degree or a Masters degree with distinction in Computer Science or close to completion. Outstanding applicants from Mathematics are also encouraged to apply. The successful applicant must have excellent analytical and computational skills. He/She must be an excellent team player who can work independently and communicate well with others.  If English is not their first language, they must have an IELTS score of 6+ overall, with no less than 6.0 in each component or TOEFL of 75+. Since the project is theoretically challenging, strong mathematical and probability theory skills are required.

This position is open to all qualified candidates independent of nationality.

 

Funding and Eligibility

 

This studentship covers the full tuition fee and provides a tax-free stipend of RMB 150,000 (approx. GBP 16,000/EUR 19,000) per annum for four years. The studentship also covers free on-campus accommodation and subsidized on-campus meals in over 10 different cafeterias/canteens as well as popular western and eastern fast food chains. Large funding is available for conference attendance and collaborative research visits to related organizations world-wide. The AI-Theory Lab at SUSTech maintains effective collaborations with all the research organisations with major expertise in the theory of bio-inspired computation world-wide.

 

Supervisor Bio

 

Professor Pietro S. Oliveto is Chair of the AI-Theory Lab at SUSTech. His main research interest is the rigorous performance analysis of bio-inspired computation techniques. He has successfully supervised PhD projects on the theoretical foundations of evolutionary computation, artificial immune systems, hyper-heuristics and automatic algorithm configurators.  

 

For enquiries about this position contact Prof. Pietro Oliveto at: olivetop@sustech.edu.cn

 

Key Words: Bio-inspired computation, theory, randomized search heuristics, evolutionary optimization.

Pietro Oliveto
Professor of Computer Science

南方科技大学/工学院/计算机科学与工程系

广东省深圳市南山区学苑大道1088号

 
**********************************************************
*
* 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, September 22, 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/
*
**********************************************************

Friday, September 20, 2024

[DMANET] 2 postdoc positions in TCS at Oxford

Two postdoc positions are available in the Department of Computer Science at the University of Oxford in the group of Standa Zivny as part of his ERC Consolidator Grant. Strong candidates in any branch of maths/theoretical computer science broadly construed will be considered.

More details can be found here: https://www.cs.ox.ac.uk/news/2369-full.html

The deadline is noon 31 October 2024 UK time.

[DMANET] Post-doc position at the University of Malaga on Artificial Intelligence for Software Engineering

[Apologies for cross-posting]

We are looking to fill a postdoctoral position to do research in artifical intelligence applied to software engineering (with a strong component of mining software repositories).

Online job posting (in Spanish): https://www.uma.es/servicio-de-investigacion/noticias/ci-24-243/
Deadline: 26 sept 2024
Duration: 2 years full-time (4 months trial period)
Salary: 2699€ / month (gross)
Location: University of Málaga, Spain
Project: SOFIA (https://www.sofiadev.eu)

Main Requirements:

- Advanced programming skills in Python and Java.
- Experience with Artificial Intelligence, Machine Learning, Data Science and Optimization Algorithms.
- Proficiency in English

Job Description:

The successful applicant will develop novel algorithms to mine software repositories and perform data science analyses in them to identify valuable insights over the software development process of professional industrial software developers. The postdoc is also expected to develop novel techniques using artificial intelligence to leverage such insights to improve the productivity of software developers.

We will be particularly focused in improving the process of continuous integration and continuous delivery, but we will also focus on refactoring, automated program repair, test suite generation and optimization.

In more detail, the position will involve:
- Industrial analysis of code refacotring and automatic naming of variables, methods, and classes.
- Design and development of a software tool for automatic program repair.
- Work in current challenges in automatic test case generation.
- Design of techniques to automate test generation to complement existing test suites.
- Development of algorithms to reduce test suites for efficient regression testing.
- Designing a machine learning model to develop a recommendation engine for continuous integration and delivery of software artifacts.
- Developing an AI algorithm to automatically generate infrastructure.
- Identify opportunities for improvement and common technological contexts in development processes.
- Develop an AI algorithm for adapting and fixing UI code.
- Integrating the AI algorithms in a web app.

For questions, please contact Gabriel Luque (gluque@uma.es), Francisco Chicano (chicano@uma.es) or Francisco Servant (fservant@uma.es).

[DMANET] PhD Position in Algorithms for Simulation of Quantum Systems at Stockholm University, Sweden (Deadline Oct 15)

Hi,

The Department of Computer and Systems Sciences at Stockholm University,
Sweden, invites applications for a PhD position with focus on Algorithms
for Simulation of Quantum Systems.

The position has a duration of 4 years, with a possible extension to 5
years if teaching duties are included. Candidates with proficiency in
algorithms, discrete mathematics, quantum computing or related areas are
strongly encouraged to apply.

The application deadline is October 15. More information about the position
can be found in the official announcement:
https://www.su.se/english/about-the-university/work-at-su/available-jobs/phd-student-positions-1.507588?rmpage=job&rmjob=24221&rmlang=UK

Informal inquiries can be directed to Mateus de Oliveira Oliveira (
oliveira@dsv.su.se).

Best Regards,

Mateus de Oliveira Oliveira

-------------------------------------------------
Mateus de Oliveira Oliveira
Senior Lecturer, Department of Computer and Systems Sciences, Stockholm
University, Sweden
Associate Professor, Department of Informatics, University of Bergen, Norway
oliveira@dsv.su.se

[DMANET] Call for Ppaers: Intl. Conference on Applied Algorithms 2025

ICAA 2025 Second Call For PapersInternational Conference on Applied Algorithms
ICAA 2025, Kolkata, India, 08 – 10 January, 2025
Organized by:Department of Computer Science & EngineeringHeritage Institute of Technology (HIT)

Email: icaa25@heritageit.eduURL: https://heritageit.edu/icaa2025.aspx
Invited TalksBhargab B. Bhattacharya, ISI Kolkata, IndiaGautam Das, UT Arlington, USASamarjit Chakrabarty, University of North Carolina, USASandeep Sen, Ashoka University, India
Call For PapersThe conference seeks original contributions related to the design, analysis, implementation, and experimental evaluation of efficient algorithms and data structures for problems with relevant real-world applications. We seek contributions that demonstrate novel algorithmic approaches, computational techniques, innovative applications of algorithms in real-world scenarios, and case studies showcasing the impact of algorithms in solving complex problems. Submissions should present significant algorithmic contributions supported by analysis and/or experimental evaluation highlighting the motivating application. Papers on industrial applications with strong algorithmic content are welcome. Submissions in the industry track should emphasize real-world implementations of systems or provide analytical insights based on real-world datasets with obvious industrial applications.
Submission InstructionsAuthors are invited to submit papers on original research on Applied Algorithms. Simultaneous submission to a journal or another conference with refereed proceedings is not allowed.
ProceedingsProceedings of ICAA 2025 will be published as part of the Springer Verlag LNCS series.
Important DatesPaper Submission Deadline: 30 September, 2024Notification of Acceptance: 25 October, 2024Camera Ready Papers due: 31 October, 2024Author Registration starts: 31 October, 2024Early Bird Registration by: 15 November, 2024Conference starts: 08 January, 2025
All deadlines are 11:59 PM AoE

Topics of InterestWe solicit contributions covering various areas under three tracks as follows:
Track A: (Discrete Algorithms)Track B: (AI and Machine Learning)Track C: (Industrial Applications)

Program CommitteeTrack A: (Discrete Algorithms)
Anup K. Sen, Heritage Institute of Technology, KolkataArijit Bishnu, Indian Statistical Institute, KolkataArobinda Gupta, Indian Institute of Technology, KharagpurDebasish Jana, Heritage Institute of Technology, KolkataG. B. Mund, Kalinga Institute of Industrial Technology, BhubaneswarPartha Bhowmick, Indian Institute of Technology, KharagpurPradeesha Ashok, Indian Institute of Information Technology, BangaloreSamarjit Chakrabarty, University of North Carolina, USASandeep Sen, Ashoka University, SonepatSourav Chakraborty, Indian Statistical Institute, KolkataSubhamoy Maitra, Indian Statistical Institute, KolkataSubhas C. Nandy, Indian Statistical Institute, Kolkata (Co-Chair)Subhashis Majumder, Heritage Institute of Technology, KolkataSupantha Pandit, Dhirubhai Ambani Institute of Information Communication Tech., GandhinagarSusmita Sur-Kolay, Indian Statistical Institute, KolkataWing-Kai Hon, National Tsing Hua University, Taiwan
Track B: (AI and Machine Learning)
Anirban Dasgupta, Indian Institute of Technology, GuwahatiAnsuman Banerjee, Indian Statistical Institute, KolkataArindam Biswas, Indian Institute of Engineering Science and Technology, KolkataDebranjan Sarkar, Heritage Institute of Technology, KolkataDinabandhu Bhandari, Heritage Institute of Technology, KolkataKamal Sarkar, Jadavpur University, KolkataMandar Mitra, Indian Statistical Institute, KolkataNabendu Chaki, University of Calcutta, KolkataNikhil R. Pal, Indian Statistical Institute, KolkataPabitra Mitra, Indian Institute of Technology, KharagpurPradipta Maji, Indian Statistical Institute, KolkataRajat. K. De, Indian Statistical Institute, Kolkata (Co-Chair)Sanjay Saha, Jadavpur University, KolkataSujay Saha, Heritage Institute of Technology, KolkataSwarup Roy, Sikkim University, GangtokTanmay Basu, Indian Institute of Science Education and Research, BhopalUtpal Roy, Visva Bharati University, Santiniketan
Track C: (Industrial Applications)
Akash Agrawal, Google, Mountain View, USAAmitava Das, AI Institute of University of South Carolina, USAAmitava Mukherjee, Amrita Vishwa Vidyapeetham, CoimbatoreAnanda S. Das, Alcon Solutions, BengaluruAniruddha Dasgupta, Bluebell Research, AustraliaAnuj Kharat, Axtria, PuneAnurag Bagaria, Novartis HealthCare, HyderabadBruhadeshwar Bezawada, South Arkansas University, USAChristos Zaroliagis, University of Patras, GreeceDeepika Prakash, JK Lakshmipat University, JaipurGautam Das, University of Texas, Arlington, USAMaharaj Mukherjee, Bank of America, USA Md. Anul Haq, Majmaah University, Saudi ArabiaProsenjit Gupta, Heritage Institute of Technology, Kolkata (Co-Chair)Ravi Janardan, University of Minnesota, USAS. K. Venkatesan, CQRL Bits LLP, ChennaiSrayanta Mukherjee, BCGX-AI Institute, SwitzerlandSubhajit Datta, Heritage Institute of Technology, KolkataSwarup Bhunia, University of Florida, USA
AdvisorsH. K. Chaudhary, Kalyan Bharati Trust, Kolkata P. K. Agarwal, Kalyan Bharati Trust, KolkataBasab Chaudhuri, Heritage Institute of Technology, Kolkata Sujit K. Barua, Heritage Institute of Technology, Kolkata
Steering Committee ChairsBhargab B. Bhattacharya ,Indian Statistical Institute, Kolkata Sandeep Sen, Ashoka University, Sonepat
General ChairsAmitava Bagchi, Heritage Institute of Technology, Kolkata Subhashis Majumder, Heritage Institute of Technology, Kolkata
Organizing ChairsDinabandhu Bhandari, Subhajit Datta, Sujay SahaHeritage Institute of Technology, Kolkata
Publicity ChairsDiganta Sengupta, Nilanjana G. BasuHeritage Institute of Technology, Kolkata

Theory Announcements

Thursday, September 26, 2024

[DMANET] Platform for Advanced Scientific Computing (PASC) 25 Call for Proposals

[DMANET] Dutch Day on Optimization, November 7

[DMANET] Call for nominations: 2024 Victor Lesser Distinguished Dissertation Award

Wednesday, September 25, 2024

[DMANET] [Submission deadline approaching - Oct 1] [iSCI-2024] The 12th IEEE International Conference on Smart City and Informatization

[DMANET] PhD positions at the University of Warwick, UK

[DMANET] Professorship in Quantum Computing at Bochum

[DMANET] Final Call for Papers: 13th GameNets 2025

[DMANET] IFIP SEC 2025 CFP

[DMANET] October 14, 16.30-17.30 CET, @ the newly created EURO OSS on Operational Research and Machine Learning

Tuesday, September 24, 2024

[DMANET] PhD position in Neurosymbolic Algorithmics at TU Wien, Vienna, Austria

[DMANET] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024): 2-8 November, 2024; Hanoi, Vietnam: Call for Participation - Early Bird Registration Extended to 4 October

[DMANET] EWSN'24: Posters & Demos Deadline Extended - October 1st

Monday, September 23, 2024

[DMANET] Call For Participation: HCOMP 2024 for the PACE Workshop: Participatory AI for Community Engagement

[DMANET] M-PREF 2024 - 2nd Call for Participation

[DMANET] Postdoc position in SAT solving at TU Wien, Vienna, Austria

[DMANET] LAWCG 2024 - Last call for participation

[DMANET] STACS 2025: Last Call for Papers

[DMANET] CloudAM 2024 - Hard deadline extension

[DMANET] PhD position in Time complexity Analysis of Bio-Inspired Computation available at SUSTech, Shenzhen, China

Sunday, September 22, 2024

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

Friday, September 20, 2024

[DMANET] 2 postdoc positions in TCS at Oxford

[DMANET] Post-doc position at the University of Malaga on Artificial Intelligence for Software Engineering

[DMANET] PhD Position in Algorithms for Simulation of Quantum Systems at Stockholm University, Sweden (Deadline Oct 15)

[DMANET] Call for Ppaers: Intl. Conference on Applied Algorithms 2025

Mailing Lists

Search This Blog

Blog Archive

Theory Announcements

Thursday, September 26, 2024

Wednesday, September 25, 2024

Tuesday, September 24, 2024

Monday, September 23, 2024

Sunday, September 22, 2024

Friday, September 20, 2024

Mailing Lists

Subscribe To

Search This Blog

Blog Archive