Theory Announcements: July 2025

Tuesday, July 22, 2025

[DMANET] [CFP][ISIC 2025] HYBRID mode: International Semantic Intelligence Conference

**********************************************************
CALL FOR PAPERS
International Semantic Intelligence Conference (ISIC 2025)

October 06-08, 2025, Universitaet zu Luebeck, Luebeck, Germany
Paper Submission (Second Round): July 31, 2025

Web: http://www.ifis.uni-luebeck.de/~groppe/isic
**********************************************************

** Call for Full Length paper **

All topics related to Artificial Intelligence are welcome
Opportunities: Present and publish your research, Organize Workshop / Special Session, Become a Program Committee member

** Important Dates: **
Full-length Papers in all tracks of main conference Jul 31, 2025
Paper notifications in all tracks of main conference Sep 01, 2025
End of Early Bird Registration for main conference Sep 20, 2025

** Tracks: **

The Research Track:
The Research Track includes papers that present novel work that significantly contributes to the advancement of Semantic Intelligence. Submissions should include a list of research gaps as well as research contributions that fill those gaps. A section comparing the research findings to existing benchmarks is highly desirable.

The Trends and Perspectives Track:
The Trends and Perspectives Track explores the state of the art in the mentioned disciplines.

The Applications and Deployment Track:
Any research that is applied in real-world use cases increases its visibility. This track invites applications for applied semantic intelligence. Aside from real-world examples, the Applications and Deployment Track welcomes Resources such as vocabularies, datasets, evaluation benchmarks, and software.

Note:
All accepted and presented papers will be included in the proceedings published in the Springer LNEE series. Selected papers will be invited for extension and submission to SCIE/SCOPUS/WoS-indexed journals.
Indexing: Post conference, Springer LNEE proceedings will be available at the following indexing services: DBLP, EI Compendex, INSPEC, Japanese Science and Technology Agency (JST), SCImago, SCOPUS, WTI Frankfurt eG, zbMATH. Source: https://www.springer.com/series/7818

**Organizing Committee:**

General Chairs:
- Sarika Jain, National Institute of Technology, Kurukshetra, Haryana, India
- Sven Groppe, University of Lübeck, Germany
Advisory Committee:
- Maria-Esther Vidal, Leibniz University of Hanover, Germany
- Veljko Milutinovic, University of Belgrade, Serbia
- Nandana Mihindukulasooriya, IBM Research Center, USA
- Declan O'Sullivan, Trinity College Dublin, Ireland
Program Committee Chairs:
- Valentina Janev, The Mihajlo Pupin Institute, Belgrade, Serbia
- Jinghua Groppe, Universität zu Lübeck, Germany
Workshops and Special Sessions Chairs:
- Fatmana Senturk, Pamukkale University, Turkey
- Anshu Parashar, NIT Kurukshetra, Haryana, India
Proceedings Chair:
- Valter Uotila, University of Helsinki & Aalto University, Finland
Publicity Chairs:
- Thomas Sievers, Universität zu Lübeck, Germany
- Yang Lu, Loughborough University, UK
Website Chairs:
- Akasha-Leonie Kessel, Universität zu Lübeck, Germany

Note: If you have any questions, do not hesitate to contact any of the chairs along with your contact details and the issue.
We look forward to hearing from you.

With Best Regards.

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

[DMANET] Open PhD position in Discrete Optimization at TU Munich

A PhD position (75% TV-L E13, to be extended to 100% after 6-8 months, three-year contract) in Discrete Optimization is available at the Professorship of Optimization and Sustainable Decision Making (https://odm.cs.tum.de/en/) of the Technical University of Munich (TUM). The expected starting date for the position is November 2025 or later. The successful candidate will work on a PhD project in the area of Discrete Optimization related to graph algorithms or multiobjective optimization – depending on the successful candidate's background and interests.

Details about the position and the application process are available here: https://portal.mytum.de/jobs/wissenschaftler/NewsArticle_20250716_113951

For further information about the position, please contact Prof. Dr. Clemens Thielen (clemens.thielen@tum.de).

--
Prof. Dr. Clemens Thielen
Professorship of Optimization and Sustainable Decision Making
TUM Campus Straubing for Biotechnology and Sustainability
Technical University of Munich (TUM)

Am Essigberg 3 | 94315 Straubing | Germany
Phone: +49 9421 187 175
Web: http://odm.cs.tum.de

Monday, July 21, 2025

[DMANET] Real-Time Intelligent Systems (Springer LNNS)

Seventh International Conference on Real-Time Intelligent Systems (RTIS 2025)
Macau Millennium College, Macau
October 13-14, 2025

Posts and Telecommunications Institute of Technology
November 05-06, 2025
Ho Chi Minh. Vietnam
https://www.socio.org.uk/rtis

Authors can participate in Macau or in Vietnam.

The International Conference on Real-time Intelligent Systems (RTIS) has travelled from Beijing, China (2016), to Macau. The seventh edition will take place at the University of Macau, Macau and at the Posts and Telecommunications Institute of Technology, Ho Chi Minh, in Vietnam.

Over the past few years, real-time intelligent computing has revolutionised the human lifestyle. Research on real-time intelligent systems is multi-disciplinary, exploiting concepts from diverse areas such as big data processing, computational intelligence, location-based services, recommendation systems, and multimedia processing. In today's highly dynamic environment, analysing data in real-time is necessary to understand how systems process data, reason the outputs, and anticipate trends in intelligent computing. To this end, this conference will serve as a platform to manifest the ongoing research in the field. Thus, RTIS welcomes theoretically grounded, methodologically sound papers that address aspects related to the following topics.

CALL FOR PAPERS (Virtual/Physical)

Artificial Intelligence and Data Mining
Streaming data, streaming engines
Trace-based intelligent real-time services
Adaptive vision algorithms
Location-based services
Intelligent Robotic Systems
Collaborative Intelligence

Data capture in real-time
Data quality and cleansing
Intelligent Data Analysis
Intelligent Database Systems
Knowledge representation and reasoning
Intelligent information fusion
Large Language Models, cognitive methods, sequential inference, data mining, pattern/behavioral analysis
Big Data systems and applications for high-velocity data
Intelligent Information Systems
Privacy and security in Intelligence
Software Engineering Solutions

Intelligent Soft Computing
Real-time multiprocessor systems
Internet of Things
Architectures for Intelligence
Real-time distributed coding
Smart services and platforms
Real-time modelling user information needs
Wireless Communication

Real-time intelligent communication
Real-time intelligent network solutions
Mobile Smart Systems
Broadband Intelligence
Cloud Computing and Intelligence
Collaborative Intelligence
Analysis in domains such as energy, sensors

Decision support systems in real-time
Multi-agent Intelligent Systems
Multilingual information access
Recommendation systems
Real-time intelligent alert systems
Real-time remote access systems
Intelligent Transportation Systems

Autonomous systems (incl. autonomous vehicles and drones)
Distributed systems
Cloud/edge computing/fusion
Defence/security, robotics, aerospace, intelligent transportation
Mining/Manufacturing
Environmental monitoring
Critical Real-time Applications

Real-time noise removal systems
Event-driven analytics
Intelligent Fuzzy Systems
Machine translation in real-time
OLAP for real-time decision support
Crowdsourcing and crowd intelligence
AI in Agriculture
Smart Agriculture Systems

User experience in Real-Time Systems
Anomaly Detection
Predictive Maintenance
Image and Video Recognition
Natural Language Processing
Vulnerability Management
Healthcare
Customer Analytics

Submission, proceedings
Papers must be submitted online through OpenConf. Author instructions and LaTex2e (preferred) and Word macro files are available on the submission page. Submitted papers should be at most 14 pages (long papers) and 8 pages (short ones), including figures, tables and references (in the Springer template). Authors of accepted papers are required to transfer their copyrights. For a paper to appear in the proceedings, at least one of the authors MUST register for the conference by the camera-ready submission deadline with a full registration.

Springer's Lecture Notes in Networks and Systems (LNNS) (https://www.springer.com/series/15179) will publish the accepted papers and be indexed in SCOPUS, EI Compendex, INSPEC, WTI Frankfurt eG, zbMATH, and SCImago. All the papers published in the series are submitted for consideration in the Web of Science.

Important Dates

Submission of Papers: August 25, 2025
Notification of Acceptance/Rejection: September 20, 2025
Camera-ready: October 05, 2025
Registration: October 05, 2025
Conference Dates: October 13-14, 2025

General Chair
Simon Fong, University of Macau, Macau

Program Chairs
Pit Pichappan, Digital Information Research Labs, India
Zehan Tan, Macau Millennium College, Macau

Program Co-chairs
Kenneth Chan, Macau Millennium College, Macau
Duong Van Hieu, Tien Giang University, Vietnam
Ricardo Rodriguez-Jorge, Technological Centre Ceit, Spain
Dion Goh, Nanyang Technological University, Singapore

Contact: stm@socio.org.uk

[DMANET] ADMIN: Holiday break 28.7.-12.8.

Dear dmanet members,

due to the holidays there will be a break of service from
28.7. to 12.8. this year. Please post anything urgent till
Friday this week.

Have a great summer

Martin

--
Dipl.-Inform. Martin Olschewski University of Cologne
Sibille-Hartmann-Straße 2-8
Tel: ++49/221/470-6018 D-50969 Köln
WWW: https://cs.uni-koeln.de/ls-sohler/team/martin-olschewski

Saturday, July 19, 2025

[DMANET] SAGT 2025 - Call for Participation

Dear Colleagues,

The 18th International Symposium on Algorithmic Game Theory (SAGT) 2025
<https://www.bath.ac.uk/events/the-international-symposium-on-algorithmic-game-theory-sagt-2025/>
will be held at University of Bath in Bath, UK, September 2-5, 2025. The
webpage contains all relevant details, in particular:

*The list of *Accepted Papers
<https://www.bath.ac.uk/corporate-information/accepted-papers/> appears on
the website.

*Invited speakers:*Yoram Bachrach, Meta
Vangelis Markakis, Athens University of Economics and Business
Carmine Ventre, King's College London

A *Tutorial* on the afternoon of September 2 will be given by Ian Gemp,
Google DeepMind, on "General Evaluation of AI Agents".

This year, SAGT will include a *Poster Session* where participants can
present posters of preliminary working papers as well as papers previously
published at other conferences. Posters will be displayed at the conference
venue throughout the event, from the afternoon of September 2 to September
5. A dedicated poster session will also be included in the program.
Submission of posters will be open to all participants, and we will conduct
a basic quality check to verify that accepted posters will contain
interesting and relevant information. If you wish to present a poster,
simply register for the conference and send us your poster via email.

*Registration* is now open. Please follow the link on the website to
register.
*Early registration deadline is **August 15, 2025**.*

Bath is a tourist attraction and securing hotel reservations as early as
possible is recommended. Hilton offers a special rate to SAGT attendances
and the university offers on-campus accommodation. Further details appear
on the website.

If you have any questions, please feel free to contact us:
sagt2025chairs@gmail.com.

Best regards,
Ron Lavi and Jie Zhang
SAGT 2025 PC Co-Chairs

Friday, July 18, 2025

[DMANET] Postdoctoral fellow position at the University of Houston

Postdoctoral Fellow Position Open

A postdoctoral fellow position is available immediately in the general
areas of distributed and scalable machine learning, security, and fault
tolerance in distributed computing within the Department of Computer
Science at the University of Houston, Houston, USA.

The fellow will work under the supervision of Prof. Gopal Pandurangan (
https://www2.cs.uh.edu/~gopal) and Prof. Rakesh Verma (
https://www2.cs.uh.edu/~rmverma/) <https://www2.cs.uh.edu/~rmverma/>.

Experience in prior work in machine learning, distributed algorithms, and
networks, as evidenced by publications in top conferences such as NeurIPS,
ICML, SODA, FOCS, STOC, and PODC, is desired. All recent PhDs (or those
nearing completion) who work in theoretical areas are especially encouraged
to apply.

The initial appointment will be for one year, with the possibility of
renewal for an additional year based on performance and the availability of
funds. Salaries are competitive and are determined according to the
successful applicants' accomplishments, experience, and qualifications.
Travel funding is available.

The candidates should send their CV, a brief research statement, and
(request referees to forward) three letters of recommendation to Gopal
Pandurangan (gopalpandurangan@gmail.com). Review of applicants will begin
immediately and continue until the position is filled.

The University of Houston is a major research university located in
Houston, the fourth-largest city in the USA, and has one of the most
vibrant metropolitan areas. Houston is the epicenter of the energy
industry, features the largest medical center in the world, and hosts the
Johnson Space Center. Houston is a fast-growing, multicultural, diverse,
and affordable city known for its museums, art events, and sports teams.

[DMANET] [ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

*[apologize for multiple postings]*

*Call for Participation*

41st International Conference on Logic Programming (ICLP'25)

University of Calabria, Rende, Italy | September 12-19, 2025

https://iclp25.demacs.unical.it/

We are pleased to invite you to participate in the 41st International
Conference on Logic Programming (ICLP'25), which will be held at the
University of Calabria from September 12-19, 2025. The event will include:

● 4 invited talks (Vladimir Lifschitz, Esra Erdem, Stefania
Costantini, and Georg Gottlob)

● 63 conference paper presentations (24 regular papers and 39
Technical Communications)

● 4 Recently Published Research (RPR) presentations

● 2 co-located events (PPDP 2025 and LOPSTR 2025)

● 8 workshops

● Autumn School

● Doctoral Consortium

● Logic Programming Contest

Registration is now open, with early fees available until July 30th AOE.
The registration procedure will close on August 30th AOE. *On-Site
Registration is not available.*

For more information on the registration process, please visit the
following webpage:

https://iclp25.demacs.unical.it/registration

*SCOPE*

Since the first conference In Marseille in 1982, ICLP has been the premier
international event for presenting research in logic programming.
Contributions span all areas of logic programming, including but not
limited to the following:

*Theoretical Foundations:*

Formal and operational semantics, Non-monotonic reasoning, Reasoning under
uncertainty, Knowledge representation, Semantic issues of combining logic
and neural models, Complexity results.

*Language Design and Programming Methodologies:*

Concurrency and parallelism, Mobility, Interacting with ML, Logic-based
domain-specific languages, Hybrid logical and imperative/functional
languages, Programming techniques, Theory reasoning, Answer set
programming, Inductive logic programming, Coinductive logic programming.

*Program Analysis and Optimization:*

Analysis, Transformation, Verification, Debugging, Profiling,
Visualization, Logic-based validation of generated programs.

*Implementation Methodologies and Applications:*

Compilation, Constraint implementation, Ethics and trustworthiness,
Explainability, Parallel/distributed execution, Search and optimization
problems, Heuristic methods, Logic-based prompt engineering, Tabling, User
interfaces.

*REGISTRATION*

Early fees are available until July 30th AOE, the registration procedure
closes August 30th AOE*. **On-Site Registration is not available.*

https://iclp25.demacs.unical.it/registration

*KEYNOTE SPEAKERS*

● Vladimir Lifschitz, University of Texas at Austin (
https://www.cs.utexas.edu/~vl/), September 15

● Esra Erdem, Sabanci University (
https://people.sabanciuniv.edu/esraerdem/), September 16

● Stefania Costantini, University of L'Aquila (
https://people.disim.univaq.it/~stefcost/), September 17

● Georg Gottlob, University of Calabria (
https://www.unical.it/storage/teachers/georg.gottlob/), September 18

*ACCEPTED PAPERS*

The full list of accepted papers is available at the following link:
https://iclp25.demacs.unical.it/program/accepted-papers

*AFFILIATED EVENTS*

● Workshops: September 12-13, 2025

https://iclp25.demacs.unical.it/workshops-school-and-dc/workshops

- 32nd RCRA Workshop on Experimental Evaluation of Algorithms for
Solving Problems with Combinatorial Explosion (RCRA 2025)

- 18th Workshop on Answer Set Programming and Other Computing
Paradigms (ASPOCP 2025)

- 12th Workshop on Probabilistic Logic Programming (PLP 2025)

- 9th Workshop on Advances in Argumentation in Artificial
Intelligence (AI³ 2025)

- Third Prolog Education Workshop (PEG 2025)

- Second Annual Workshop on Prolog Improvement Proposals (PIPs)

- Workshop on Logic Programming and Legal Reasoning (LPLR 2025)

- 1st Workshop on Cognitive Architectures for Robotics: LLMs and
Logic in Action (CARLA)

● Autumn School in Computational Logic: September 12-13, 2025

https://iclp25.demacs.unical.it/workshops-school-and-dc/autumn-school-on-logic-programming

● Doctoral Consortium: September 12-13, 2025

https://iclp25.demacs.unical.it/workshops-school-and-dc/doctoral-consortium

● Logic Programming Contest: September 17, 2025

● International Symposium on Principles and Practice of Declarative
Programming (PPDP 2025)

https://ppdp25.github.io/site/

● International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2025)

https://lopstr.github.io/2025/

*VENUE*

ICLP'25 will be held on the campus of the University of Calabria in Rende,
Italy, during 12-19 September 2025. The University of Calabria is one of
Italy's leading academic institutions, renowned for its innovative research
and vibrant campus life. Located in the scenic city of Rende, it offers a
modern learning environment surrounded by natural beauty and cultural
richness. Calabria is a region rich in culture, offering a blend of
historical heritage and stunning natural beauty. From its breathtaking
coastal spots to its easily accessible mountains, the region provides an
unforgettable cultural and culinary experience, savoring authentic dishes
made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes
and exquisite desserts.

For more information about the venue, please visit the following webpage:

https://iclp25.demacs.unical.it/venue/conference-venue

Useful information about accommodation and travel can be found at the
following links:

● https://iclp25.demacs.unical.it/venue/accommodation

● https://iclp25.demacs.unical.it/venue/travel-information

*ORGANIZATION*

General Chair: Francesco Ricca

Program Co-chairs: Martin Gebser and Daniela Inclezan

Publicity Chairs: Manuel Borroto and Francesco Calimeri

Local Chairs: Antonio Ielo and Giuseppe Mazzotta

*PROGRAM COMMITTEE*

Salvador Abreu, NOVA-LINCS / University of Evora

Mario Alviano, University of Calabria

Nicos Angelopoulos, The Pirbright Institute

Marcello Balduccini, Saint Joseph's University

Mutsunori Banbara, Nagoya University

Elena Bellodi, University of Ferrara

Stefano Bistarelli, University of Perugia

Bart Bogaerts, KU Leuven

Pedro Cabalar, University of Corunna

Roberta Calegari, Alma Mater Studiorum–University of Bologna

Angelos Charalambidis, Harokopio University

Michael Codish, Ben-Gurion University of the Negev

Stefania Costantini, University of L'Aquila

Alessandro Dal Palù, University of Parma

Marina De Vos, University of Bath

Marc Denecker, KU Leuven

Carmine Dodaro, University of Calabria

Thomas Eiter, TU Wien

Esra Erdem, Sabanci University

Wolfgang Faber, University of Klagenfurt

François Fages, INRIA Saclay

Jorge Fandinno, University of Nebraska Omaha

Johannes K. Fichte, Linköping University

Fabio Fioravanti, University of Chieti-Pescara

Andrea Formisano, University of Udine

Gerhard Friedrich, University of Klagenfurt

Sarah Alice Gaggl, TU Dresden

Marco Gavanelli, University of Ferrara

Laura Giordano, DISIT, University of Eastern Piedmont

Ricardo Gonçalves, NOVA University Lisbon

Gopal Gupta, The University of Texas at Dallas

Carito Guziolowski, Centrale Nantes

Markus Hecher, CNRS, Artois University

Giovambattista Ianni, University of Calabria

Tomi Janhunen, Tampere University

Nikos Katzouris, NCSR Demokritos

Gabriele Kern-Isberner, TU Dortmund

Matthias Knorr, NOVA University Lisbon

Isabelle Kuhlmann, University of Hagen

Joao Leite, NOVA University Lisbon

Michael Leuschel, Heinrich-Heine University of Düsseldorf

Vladimir Lifschitz, The University of Texas at Austin

Francesca Alessandra Lisi, University of Bari Aldo Moro

Yanhong A. Liu, Stony Brook University

Marco Maratea, University of Calabria

Viviana Mascardi, DIBRIS, University of Genova

Jose F. Morales, Technical University of Madrid / IMDEA Software Institute

Johannes Oetsch, Jönköping University

Simona Perri, University of Calabria

Enrico Pontelli, New Mexico State University

Fabrizio Riguzzi, University of Ferrara

Ricardo Rocha, University of Porto

Chiaki Sakama, Wakayama University

Zeynep G. Saribatur, TU Wien

Torsten Schaub, University of Potsdam

Konstantin Schekotihin, University of Klagenfurt

Tom Schrijvers, KU Leuven

Dietmar Seipel, University of Würzburg

Theresa Swift, Johns Hopkins Applied Physics Lab

Paul Tarau, University of North Texas

Hans Tompits, TU Wien

Mirek Truszczynski, University of Kentucky

Athénaïs Vaginay, University of Caen Normandy

Germán Vidal, VRAIN, Polytechnic University of Valencia

Concepcion Vidal, University of Corunna

Alicia Villanueva, VRAIN – Polytechnic University of Valencia

Johannes P. Wallner, TU Graz

Kewen Wang, Griffith University

David S.Warren, Stony Brook University

Felix Weitkämper, German UDS Potsdam

Stefan Woltran, TU Wien

Roland Yap, National University of Singapore

Jia-Huai You, University of Alberta

Zhizheng Zhang, Southeast University

Yuanlin Zhang, Texas Tech University

Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center

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

[DMANET] Postdoc position (algorithms and computational complexity for social choice problems)

Dear all,

Piotr Faliszewski from AGH University in Poland has announced an open
postdoc position in his PRAGMA project:

https://euraxess.ec.europa.eu/jobs/361184
https://home.agh.edu.pl/~pragma/

The position is funded by the European Research Council (ERC). The
project focuses on algorithms and computational complexity of
multiwinner elections, participatory budgeting, and analysis of
distances among elections.

Due date for applications is: August 22nd, 2025
Employment start: October 1st (or later, but preferably not much later)
Employment end: End of May 2026

The official position in the Polish academic system is "asystent" for
which one does not yet need a PhD to apply, so candidates who expect to
graduate in near/predictable future are encouraged to apply. Upon
obtaining official PhD (or for candidates who hold it already) it will
be possible to apply for a promotion to the next hiring level
("adiunkt").

We offer competitive salary (get in touch with Piotr Faliszewski
directly for details at faliszew@agh.edu.pl). Regarding the personal
questionnaire (should you want to apply) either get in touch with Piotr
Faliszewski (faliszew@agh.edu.pl) or with Joanna Borczynska
(joannab@agh.edu.pl).

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

Thursday, July 17, 2025

[DMANET] Registration is Now Open – MIP South America 2025

We are pleased to announce that registration is now open for the Mixed
Integer Programming Workshop – South America 2025, taking place December
9–12, 2025, at Universidad Adolfo Ibáñez in Viña del Mar, Chile.

We have an excellent line-up of world-renowned speakers who will talk to us
about the latest trends in integer programming, discrete optimization,
operations research, and related areas.

We also remind everyone that we have an open call for posters. We will
offer travel support for student presenters.

Direct Registration Link:
https://pagos.isci.cl/workshop/mip-south-america-2025

Poster Submission Deadlines:
- Early acceptance: August 22, 2025
- Final deadline: September 12, 2025

Workshop Details (invited speakers, poster submission form, key dates):
https://www.mixedinteger.org/MIPSouthAmerica/2025/

We hope you can join us in Chile this December!

[DMANET] Doctoral / Post-Doctoral Position at University of Konstanz

The Chair for Software and Systems Engineering (Prof. Stefan Leue) of
the University of Konstanz (Germany) has the opening of a full-time

Doctoral / Post-Doctoral Position (reference no. 2025/152).

The start date is October 1st, 2025 (or a mutually agreeable later date,
but no later than April 1st, 2026). The position is initially available
for two years with the possibility of extension.

The position is expected to contribute to the goals of the DFG-funded
research project "SCADNet". In this context, research interests in
formal guarantees for Deep Neural Networks, foundations and models of
causality, automated repair of real-time systems, system safety, formal
techniques in legal tech, and generally formal methods and verification
are welcome.

The working language is English. Proficiency in German is not a
prerequisite.

Renumeration is according to the TV-L labor agreement in the EG 13
payscale, amounting to at least € 57.000,00 p.a.

Application deadline: August 30th, 2025.

For the official advertising and access to the online application portal
(at the bottom of the page) please see

https://stellen.uni-konstanz.de/jobposting/09f445de88a811767c47d80dfebd48c49bbef89b0

I will be happy to answer further questions, and look forward to your
application for this exciting research opportunity!

Stefan Leue

--
Prof. Dr. Stefan Leue

Chair for Software and Systems Engineering
Department of Computer and Information Science
University of Konstanz, Box 67
D-78457 Konstanz, Germany

Office: PZ902

Phone: +49 (0)7531 88 2893, ~4631 (secretary)
Home: +49 (0)7533 949 2182
Email: Stefan.Leue@uni-konstanz.de
WWW: http://sen.uni-konstanz.de

Wednesday, July 16, 2025

[DMANET] [Cryptography] Advances in Privacy, Security, and Trust: Cryptographic Perspectives from PST2025 - Call for Paper

The Special Issue "Advances in Privacy, Security, and Trust:
Cryptographic Perspectives from PST2025" of journal /Cryptography/
(https://www.mdpi.com/journal/Cryptography) will comprise mainly
extended versions of papers presented at the 22nd Annual International
Conference on Privacy, Security, and Trust (PST2025, 26-28 August 2025,
Fredericton, Canada).

https://pstnet.ca/pst2025/

The submission deadline of special issue is 31 December 2025 and papers
may be submitted immediately or at any point till the date, as papers
will be published on an ongoing basis. For more information, please see:

https://www.mdpi.com/journal/cryptography/special_issues/M81T8HF4DD

Specific topics of interest include, but are not limited to:

Privacy Preserving/Enhancing Technologies;
Critical Infrastructure Protection;
Network and Wireless Security;
Cloud Security, Web Security and Privacy;
Internet of Things (IoT) Security and Privacy;
Security Analytics and Data Mining;
Cryptographic Technologies;
Zero-Day Vulnerabilities, Continuous Authentication;
Security and Privacy Challenges in Blockchain;
Identity and Trust Management;
Privacy, Traceability, and Anonymity;
Anonymity and Privacy vs. Accountability;
Access Control and Capability Delegation;
Generative AI security, privacy, and trust;
Quantum Key Distribution (QKD) Protocols;
Post-quantum cryptography

Guest editors:
Prof. Dr. Rongxing Lu
Prof. Dr. Ali Ghorbani

Cryptography is a scientific peer-reviewed open access journal of
cryptography published quarterly online by MDPI. It is covered by Scopus
(Elsevier), Emerging Sources Citation Index (ESCI-Web of Science), etc.
It received an Impact Factor for 2024 of 2.1 (ranking in Q2 in "Computer
Science, Theory & Methods"), and a CiteScore of 5.0 (ranking in Q1 in
"Applied Mathematics").

Best regards,
Xue Cheng
Managing Editor
--
MDPI Branch Office, Wuhan
Cryptography Editorial Office
https://www.mdpi.com/journal/cryptography
MDPI, Grosspeteranlage 5, 4052 Basel, Switzerland

Recommended Papers:
Divisions and Square Roots with Tight Error Analysis from Newton-Raphson
Iteration in Secure Fixed-Point Arithmetic
https://www.mdpi.com/2410-387X/7/3/43

Matrix Encryption Walks for Lightweight Cryptography
https://www.mdpi.com/2410-387X/7/3/41

Twitter: @Cryptogr_MDPI https://twitter.com/Cryptogr_MDPI
LinkedIn: Cryptography-MDPI
**********************************************************
*
* 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 Papers] Deadline Extended – SMARTTECH 2025

SmartTech 2025

International Conference on Smart Systems and Emerging Technologies

December 25–27, 2025 *• *ALECSO Headquarters, Tunis, Tunisia

*CALL FOR PAPERS*

Conference Overview

The International Conference on Smart Systems and Emerging Technologies
(SmartTech 2025) is a premier global platform advancing cutting-edge
research and applications in AI, Quantum Computing, Cybersecurity,
Autonomous Systems, and Smart Cities. Co-organized by MUST University and
the Arab League Educational, Cultural and Scientific Organization
(ALECSO), this
prestigious conference brings together world-renowned experts, researchers,
industry lead- ers, and innovators to shape the future of emerging
technologies.

The conference aims to foster knowledge exchange, collaboration, and
innovation through thought-provoking keynotes, technical sessions,
workshops, and networking opportunities. Smart- Tech 2025 invites
researchers, practitioners, and innovators to contribute high-quality
book papers
for publication in the conference proceedings.

Topics of Interest

We invite high-quality papers addressing, but not limited to, the following
tracks:

• *AI **Frontiers & Generative Intelligence*: Breakthroughs in generative
AI, foundation models, multimodal systems, ethical AI frameworks, machine
learning algorithms, natural language processing, computer vision, AI in
healthcare, educational AI applications, and innovative AI solutions

• *Quantum & Immersive Technologies*: Quantum computing advances, quantum
algo- rithms, quantum networking, quantum sensing, VR/AR applications,
extended reality (XR), digital twins, metaverse developments, quantum-safe
cryptography, and simulation technolo- gies

• *Autonomous & Intelligent Systems*: Self-governing AI, intelligent
robotics, drone tech- nologies, autonomous vehicles, swarm intelligence,
human-robot interaction, industrial au- tomation, precision agriculture,
intelligent manufacturing, and adaptive control systems

• *Smart, Sustainable & Secure Cities*: AI-powered urban solutions,
IoT infrastructure,
smart grids, intelligent transportation systems, climate-responsive
systems, urban sustain- ability metrics, smart governance, energy
optimization, water management systems, and digital public services

• *Cybersecurity & AI-Enhanced Digital Trust*: Advanced threat detection,
zero-day vul- nerability analysis, blockchain applications, distributed
ledger technologies, privacy-preserving AI, zero-trust architectures,
cyber-physical system security, biometric authentication, and critical
infrastructure protection

Submission Guidelines

*Paper Format: *All submissions must be original and unpublished work,
formatted according to the conference template (IEEE format). Papers should
include an abstract (150-200 words), keywords (5-7), and follow the
structure: Introduction, Related Work, Methodology, Results, Discussion,
Conclusion, and References.

*Length: *10-15 pages including figures, tables, and references. Each figure
and table should have a descriptive caption and be referenced in the text.

*Language: *All submissions must be in English with careful attention to
grammar and clarity.

*Review Process: *All submissions undergo a double-blind peer review
by the Scientific
Committee. Each paper will receive at least two independent reviews.

*Submission: *All papers must be submitted in PDF format via the conference
website: https://smarttech-conference.org/

Important Dates

*Full Paper Submission:* July 15, 2025 *August 1st, 2025*

*Review* *Notification:* September 15, 2025

*Camera-Ready* *Submission:* October 15, 2025

*Conference* *Dates:* December 25–27, 2025

Publication and Presentation

*Proceedings: *Accepted papers will be published in the conference
proceedings and indexed in major academic databases, including IEEE Xplore,
Scopus, and Web of Science.

*Journal Publication: *Outstanding papers may be invited for extension
and publication
in special issues of prestigious journals, including IEEE Transactions on
Smart Systems and Springer's Journal of Intelligent Smart Technologies.

*Presentation: *Authors of accepted papers must register for the conference
and present their work either in-person or virtually. Each presentation
will be allocated 15-20 minutes, including Q&A.

*Best Paper Awards: *Exceptional papers will be recognized with "Best
Paper Awards"
in various categories with certificates and prizes.

*Scientific Committee Chairs:*

Dr. Omar Cheikhrouhou, University of Sfax, Tunisia

Dr. Yassine Bouteraa, Prince Sattam Bin Abdulaziz University, Saudi
Arabia

Dr. Hanene Ben Abdallah, University of Aldhaid, UAE
Publication Chairs:

Adnan Ahmed Abisen, University of Prince Mugrin, Saudi Arabia

* General Chairs:*

Dr. Mohamed Jemni (ALECSO, Tunisia), Dr. Khalil Amiri (MUST
University, Tunisia), Dr. Mohammad Anan (Alfaisal University, Saudi
Arabia), Dr. Adel Ben Mnaouer (University of Prince Mugrin, Saudi Arabia)

*Contact Information: *

ALECSO Headquarters Tunis, Tunisia

Email: info@smarttech2025.org

Website: www.smarttech2025.org

Co-organized by MUST University & ALECSO *• *www.smarttech2025.org

--
*Dr. Maroua Abdelhafidh*
------------------------------------
*Enseignant Chercheur*
*Maître Assistante en Informatique*
Institut Supérieur d'Informatique de Mahdia (ISIMA)
Université de Monastir, Tunisia

[DMANET] Call for Participation: NeurIPS Workshop on GPUs and Optimization

Hello everyone,

We are organizing a workshop at NeurIPS on optimization algorithms and GPU
acceleration. We are accepting contributions! Details below.

Best regards,
Tobia Marcucci

############

*TLDR: Contribute to a NeurIPS workshop on the use of GPUs and Learning for
Optimization.*
Website: https://www.cvxgrp.org/scaleopt/
Important Dates:
* Submissions Opens: July 25, 2025
* Submission Deadline: August 22, 2025
Organizers: Parth Nobel, Fangzhao Zhang, Maximilian Schaller, Alexandre
Amice, Tobia Marcucci, Tetiana Parshakova, Stephen Boyd

*Overview*
Recent advancements in GPU-based large-scale optimization have been
remarkable. Recognizing the revolution in optimizing neural network weights
via large-scale GPU-accelerated algorithms, the optimization community has
been interested in developing general purpose GPU-accelerated optimizers
for various families of classic optimization problems, including linear
programming, general conic optimization, combinatorial optimization, and
more specific problem families such as flow optimization and optimal
transport. This workshop welcomes submissions explaining how to deploy GPUs
for optimization; relevant works could span theoretical work—designing
novel highly-parallel optimization algorithms suitable for modern GPU
implementation—to impressive engineering work—designing specialized
implementations with custom CUDA kernels to accelerate the numerical
computations.

Beyond deploying GPUs directly at classical problems, current frontier AI
tools—including large language models (LLMs)—are being deployed to solve
optimization problems. Specifically, researchers have used LLMs to solve
linear programs and in combinatorial optimization. Various works have used
neural networks to solve mixed integer problems, linear or quadratic
programs, general combinatorial optimization problems, and more specific
optimization problems such as LASSO and robust PCA. This workshop welcomes
works related to Learning to Optimize (L2O)—using neural networks to learn
to solve classic optimization problems—and other forms of modern techniques
being deployed to solve classic optimization problems.

In this workshop, we aim to provide a platform for interested researchers
to engage with each other on recent breakthroughs and current bottlenecks
in designing large-scale GPU-based optimizers and synergizing AI systems
with solving optimization problems.

*Keywords*We welcome submissions in, but not limited to, the following
areas:
Parallel algorithms
Learning to optimize
Optimization software package development
Accelerated optimization methods
Advancements in GPU-based optimization
Large-scale distributed optimization
Robust and adaptive optimization
Randomized numerical linear algebra for optimization

[DMANET] IEEE CSF 2026: CFP Summer Cycle - Deadline July 24, 2025, AoE

IEEE Computer Security Foundations Symposium (CSF) 2026
=======================================================

https://csf2026.ieee-security.org/

Call for Papers - Summer Cycle (Deadline July 24, 2025, AoE)

The Computer Security Foundations Symposium (CSF) is an annual
conference for researchers in computer security. CSF seeks papers on
foundational aspects of computer security, such as formal security
models, relationships between security properties and defenses,
principled techniques and tools for design and rigorous analysis of
security mechanisms, as well as their application to practice. While CSF
welcomes submissions beyond the topics listed below, the main focus of
CSF is foundational security and privacy. Papers lacking foundational
aspects risk desk rejection without further evaluation of their merits;
contact the PC chairs when in doubt.

CSF was created in 1988 as a workshop of the IEEE Computer Society's
Technical Committee on Security and Privacy, in response to a 1986 essay
by Don Good entitled "The Foundations of Computer Security—We Need
Some." The meeting became a "symposium" in 2007, along with a policy for
open, increased attendance. Over the past two decades, many seminal
papers and techniques have been presented first at CSF. For more details
on the history of the symposium, visit CSF's home.

Proceedings will be published by the IEEE Computer Society Press and
will be available at the symposium. Some small number of papers will be
selected by the Program Committee as "Distinguished Papers".

Important Dates AoE (UTC-12h)
-----------------------------

Summer cycle paper submission July 24, 2025
Summer cycle author notification September 25, 2025
Fall cycle paper submission October 9, 2025
Fall cycle author notification December 11, 2025
Winter cycle paper submission January 29, 2026
Winter cycle author notification April 1, 2026
CSF Symposium July 26-29, 2026

Topics
------

New results in security and privacy are welcome. We also encourage
challenge/vision papers, which may describe open questions and raise
fundamental concerns about security and privacy. Possible topics for all
papers include, but are not limited to:

access control
accountability
anonymity
attack models
authentication
blockchains and smart contracts
cloud security
cryptography
data provenance
data and system integrity
database security
decidability and complexity
decision theory
distributed systems security
electronic voting
embedded systems security
forensics
formal methods and verification
hardware-based security
information flow control
intrusion detection
language-based security
mobile security
network security
privacy
security and privacy aspects of machine learning
security and privacy for the Internet of Things
security architecture
security metrics
security policies
security protocols
software security
socio-technical security
trust management
usable security
web security

Full information, including paper formatting instructions, is available
online: https://csf2026.ieee-security.org/cfp.html
**********************************************************
*
* 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] [Extended Deadline] - CFP: Networking Solutions for Metaverse, Social Applications, Multimedia, and Games, within IEEE Consumer Communications & Networking Conference 9–12 January 2026 Las Vegas, USA

[Apologies if you got multiple copies of this email. If you'd like to opt out of these
announcements, information on how to unsubscribe is available at the
bottom of this email.]

Call for Papers

Track 2 - Networking Solutions for Metaverse, Social Applications,
Multimedia, and Games

*Track Chairs*:

Ombretta Gaggi, University of Padua, Italy (email: gaggi@math.unipd.it
<mailto:gaggi@math.unipd.it>)

Manuela Montangero, University of Modena and Reggio Emilia, Italy
(email: manuela.montangero@unimore.it
<mailto:manuela.montangero@unimore.it>)

*IEEE Consumer Communications & Networking Conference
9–12 January 2026
Las Vegas, NV, USA*

https://ccnc2026.ieee-ccnc.org/call-technical-papers

*IMPORTANT DATES*

Conference Dates: 9 January - 12 January 2026
Technical Papers due: August 1, 2025
Acceptance Notification: August 31, 2025

*Summit at*: https://edas.info/newPaper.php?c=33771&track=130953

*SCOPE and MOTIVATION *
Social applications, multimedia, and games play a substantial role in
shaping Internet traffic and have emerged as dominant mode of social
interaction online. This recent trend has sparked significant research
interests, both at the network level and in terms of application and
service development. Moreover, with the advent of the metaverse,
research focus within these domains has expanded to encompass virtual
worlds, immersive experiences, and social interactions in virtual
environments. Given their increasing prevalence and interdisciplinary
nature, social applications, multimedia, and games have also garnered
research attention across diverse fields, including big data analytics,
cloud computing, artificial intelligence, data sensing, information
security, and privacy protection.

*MAIN TOPIC OF INTEREST*
The Networking solutions for social applications, multimedia, and games
track seeks original contributions in the following areas, as well as
others that are not explicitly listed but are closely related:

- Artificial Intelligence for social applications, multimedia, and games.
- Architectures, Platforms, and Protocols.
- Business models for social applications, multimedia, and games.
- Communication security for social applications, multimedia, and games.
- Data Sensing.
- Distributed games engines.
- Ethical considerations in social applications, multimedia, and games.
- Gamification and game-based learning in applications.
- Human-Computer Interfaces and Human-Machine Interfaces.
- Immersive storytelling and narrative techniques in multimedia and games.
- Knowledge discovery for social applications, multimedia, and games.
- Metaverse, virtual worlds, immersive experiences.
- Naming and routing of media streams.
- New paradigms of future communications networks.
- Non-visual Interfaces for accessibility and/or Virtual Reality.
- Novel applications for the social, multimedia, and games scenario.
- Smart moving and smart objects.
- Social computing and collective intelligence.
- Social influence and persuasion in multimedia and games.
- Social interactions in communication networks.
- Recommender algorithms.
- Rumor source localization in large-scale, real-world networking
solutions.
- User profiling and behavior analysis.
- User engagement and retention strategies in social applications and
games.
- Virtual reality and augmented reality applications.

[DMANET] [Extended Deadline] Call for Papers – RuleML+RR 2025 Doctoral Consortium

Call for Participation
9th RuleML+RR Doctoral Consortium
September 25-28, 2025, Istanbul, Turkey

https://2025.declarativeai.net/events/ruleml-rr/doctoral-consortium
*************************************************************************************

The RuleML+RR 9th Doctoral Consortium 2025 (DC) is an initiative of the
RuleML+RR community to attract and promote student research in
Artificial Intelligence, especially research on rule-based formalisms
and reasoning in such formalisms. It offers students a close contact
with leading experts in the field, as well as the opportunity to present
and discuss their ideas in a dynamic and friendly setting.

We invite PhD students at an early or intermediate stage of their PhD
studies, as well as exceptional master's students who are interested in
pursuing a PhD, to submit papers describing their research on any of the
topics of RuleML+RR 2025.

RuleML+RR DC papers range between 8 and 15 pages, are written in
English, will be published as part of CEUR proceedings, and should
follow the CEUR-WS.org style template CEURART (1-column variant). They
are submitted electronically in PDF together with a maximum 2 page-long
CV (the paper and the CV should be submitted together as one PDF file,
but the CV is not counted within the 15 pages limit and is not published
in the proceedings if the paper is accepted).

The submission should cover the following aspects:
* The identification of a significant problem in a research field
relevant to RuleML+RR 2025.
* An outline of the current knowledge in the problem's domain, as well
as an overview of existing solutions.
* A clear formulation of the research question and motivation.
* A presentation of (possibly preliminary) ideas, the proposed
approach, and the results achieved so far.
* A sketch of the applied research methodology and its positioning in
the field.
* A description of the student's contribution to the research.
* A discussion of how the suggested solution is different, new, or
better as compared to the state of the art.
* A research plan and the potential achievements.

Please submit your paper via:

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

to the Doctoral Consortium track.

Important Dates:

Paper submission deadline: July 10, 2025 July 31, 2025 (23:59 AOE)
Notification deadline: July 31, 2025 August 16, 2025 (23:59 AOE)

Doctoral Consortium Chairs:

Shqiponja Ahmetaj, TU Wien, Austria
Riccardo Tommasini, INSA Lyon, France

Program Committee:

Adrian Paschke, Freie Universität Berlin, Germany
Alexandra Rogova, Université Paris Cité, France
Alisa Kovtunova, TU Dresden, Germany
Cogan Shimizu, Wright State University, United States
David Carral, University of Montpellier, France
Davide Lanti, Free University of Bozen-Bolzano, Italy
Fajar J. Ekaputra, Vienna University of Economics and Business, Austria
Ioana Georgiana Ciuciu, Babeș-Bolyai University, Romania
Lorena Etcheverry, Universidad de la República, Uruguay
Patrik Schneider, Vienna University of Technology, Austria

Stefania Dumbrava, ENSIIE Paris-Evry, France

Further information can be found on the Doctoral Consortium website:

https://2025.declarativeai.net/events/ruleml-rr/doctoral-consortium
**********************************************************
*
* 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 papers for IEEE SISDL 2025

CALL FOR PAPERS

The Second International Workshop on
Scalability, Interoperability, and Sustainability of Distributed Ledgers
for Networks of the Future (SISDL 2025)

In Conjunction with

IEEE International Conference on Blockchain Computing and Applications

(IEEE BCCA 2025)

October 14-17, 2025, Dubrovnik, Croatia

https://bcca-conference.org/2025/Workshops/SISDL.php

Distributed ledger technologies (DLTs) are poised to transform various
industries, but challenges in scalability, interoperability, and
sustainability must be addressed to unlock their full potential. This
workshop brings together researchers, practitioners, and industry experts
to explore solutions and shape the future of DLTs within evolving network
environments. While DLTs offer decentralization and immutability, key
barriers, such as achieving scalability for widespread adoption, enabling
seamless cross-network interoperability, and ensuring environmentally
sustainable solutions, remain. This workshop aims to tackle these issues
and accelerate DLT development and adoption.

The workshop welcomes submissions on a broad spectrum of topics related to
distributed ledgers' scalability, interoperability, and sustainability for
the next generation networks. This includes original research ideas,
innovative solutions, fundamental methodological studies, and use
cases/application demonstrations, including but not limited to:

Scalability Challenges
-

Interoperability Solutions
-

Sustainability in Distributed Ledgers
-

Novel consensus mechanisms for scalable and secure distributed ledgers
-

Cross-chain communication protocols and interoperability standards
-

Energy-efficient and sustainable blockchain architectures
-

Impact of blockchain technologies on next-generation networks
-

Decentralized applications (DApps) and their implications on network
structures
-

Security and privacy considerations in scalable and interoperable
blockchain systems
-

Governance models for sustainable and inclusive blockchain ecosystems
-

Real-world use cases and case studies demonstrating scalable and
interoperable DLT implementations

Organizers

Murat Karakus, mrtkarakus@ankara.edu.tr, Ankara University, Ankara,
Türkiye
-

Evrim Guler, evrimguler@bartin.edu.tr, Bartin University, Bartin, Türkiye
-

Suleyman Uludag, uludag@umich.edu, University of Michigan - Flint,
Flint, MI, USA
-

Öznur Özkasap, oozkasap@ku.edu.tr, Koç University, Istanbul, Türkiye

Publicity Chairs

Vahideh Hayyolalam, Koç University, Istanbul, Türkiye (
vhayyolalam20@ku.edu.tr)
-

Abdulrezzak Zekiye, Koç University, Istanbul, Türkiye (
azakieh22@ku.edu.tr)

Important Dates:

Submission Deadline: 30 July 2025

Notification of Acceptance: 30 August 2025

Camera Ready: 15 September 2025

Submission:

Prospective authors are invited to submit a long paper (8 pages) and a
short paper (4 pages) including references in the standard IEEE two-column
conference format.

Papers should be submitted via the submission link: https://edas.info/N33458
.

Publication:

All accepted papers in the workshops co-located with BCCA 2025 will be
submitted to IEEE Xplore for possible publication.

—

Best regards,

Vahideh Hayyolalam

PhD Candidate

Koç University, Istanbul, Türkiye

[DMANET] GAP Days workshop, Koper, Slovenia, August 25-29

We invite all people interested in Computer Algebra, and in particular in
Groups, Algorithms and Programming (GAP) to join the workshop

GAP Days Summer 2025
25-29 August 2025
University of Primorska, Koper, Slovenia
<https://www.gapdays.de/gapdays2025-summer/>

GAP Days are meetings where developers and users with or without GAP
programming experience are invited to discuss, learn, and contribute to the
future development of GAP.

The workshop is also aimed at undergraduate students, PhD students,
post-docs, and more experienced mathematicians. You will be able to meet
each other, and learn about GAP development and algorithmic group theory in
a relaxed and friendly atmosphere.

In order to participate in this meeting, even if you only wish to join for
parts of the meeting, please register using the following link:
<https://www.gapdays.de/gapdays2025-summer/registration/>.

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

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

Nominations are due by September 9, 2025.

---
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 2026 is expected to give an invited talk at SIROCCO 2026, scheduled to take place on June 9-11 in Durham, UK.

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, Shay Kutten, and Sergio Rajsbaum.

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 2026 consists of:
Keren Censor-Hillel, Technion (chair)
Yuval Emek, Technion
Andrzej Pelc, University of Quebec
Sergio Rajsbaum, UNAM
Ulrich Schmid, TU Wien

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.

Tuesday, July 15, 2025

[DMANET] Networks Special Issue: "Innovative Approaches in Network Optimization"- EURO 2025

This special issue of Networks invites high-quality and innovative
submissions that focus on network optimization methods arising in
different applications, like (but not restricted to) telecommunication,
logistics, network analysis.All contributions will be peer reviewed
according to the usual standards of the journal.

This special issue celebrates the 34th European Conference on
Operational Research (EURO) 2025 in Leeds, UK; participants of EURO 2025
are encouraged to submit relevant work to this special issue. This call
for papers is also open to the entire community of academics and
practitioners working in the field of Network Optimization Methods.

*Deadline for submission: December 31st, 2025.*

*Expected publication date:June 2026.*

*Guest editors: Claudia Archetti (claudia.archetti@unibs.edu) and Luis
Gouveia*

*(legouveia@fc.ul.pt).*

Informativa sulla Privacy: https://www.unibs.it/it/node/1452
<https://www.unibs.it/it/node/1452>

[DMANET] 【CFP】IWAE 2025 Submission Deadline Extended to 31 July 2025

The 2025 International Workshop on Algorithms in Engineering in conjunction
with 2025 IET International Conference of Engineering Technologies and
Applications will be held at National Taipei University of Business,
Taoyuan, Taiwan, on October 24-26, 2025. The conference proceedings will be
published by the IET (Institution of Engineering and Technology), included
in the IET Digital Library, indexed in EI Compendex, and currently under
application for indexing in DBLP. A Special Issue in a leading journal in
Theoretical Computer Science is currently being planned.

The topics of interest include (but are not limited to) the following:
- Ad Hoc, Dynamic and Evolving Networks
- Algorithms and Data Structures
- Algorithmic Game Theory
- Approximation Algorithms and Online Algorithms
- Automata, Languages, Logic, and Computability
- Complexity Theory
- Computational Learning Theory and Knowledge Discovery
- Cryptography, Reliability and Security, and Database Theory
- Computational Biology and Bioinformatics
- Computational Algebra, Geometry, and Number Theory
- Experimental Algorithms and Applications
- Experimental Evaluation of Algorithms
- Fault Tolerant Computing and Fault Diagnosis
- Foundations of Cloud Computing
- Graph Drawing and Information Visualization
- Graph Theory, Communication Networks, and Optimization
- Intelligent Algorithms and Applications
- Mobile Agents
- Online Algorithms
- Parallel and Distributed Computing
- Parameterized and Exact Algorithms
- Streaming Algorithms

================
Important Dates
================
Full paper submission: July 31, 2025 (AoE)
Paper notification: September 1, 2025
Camera-ready paper due date: September 8, 2025
Conference Dates: October 24-26, 2025

========================
Submission instructions:
========================
Authors are invited to submit high-quality manuscripts presenting original,
unpublished research related to the symposium's topics. Submissions must
not be under consideration for publication at any other conference or
workshop with published proceedings. Each accepted paper must be presented
at the conference by one of its authors.
Authors should note that the abstract is a concise summary (80–200 words)
of their full 2-page paper.
Submission Guidelines:
Submissions must be in PDF format, prepared using the official templates
available at: https://iceta2025.ntub.edu.tw/call-for-papers/
The main paper should not exceed 2 pages, including the title page and
references.
An optional appendix may be included for additional details, clearly marked
as such, and will be read at the discretion of the Program Committee.
Any figures related to the main content must be incorporated within the
2-page limit.
For further details, please refer to the conference website.

=============
Awards:
=============
Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award, at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper. The
program committee may decline to make these awards or may split them.

Conference website: https://iceta2025.ntub.edu.tw/
Submission link: https://easychair.org/my/conference?conf=ieticeta2025

================
Program Chairs
================
Ling-Ju Hung, National Taipei University of Business, Taiwan
Ralf Klasing, CNRS and Bordeaux University, France

==================
Program Committee
==================
Matthias Bentert, TU Berlin, Germany
Hans-Joachim Böckenhauer, ETH Zürich, Switzerland
Arnaud Casteigts, University of Geneva, Switzerland
Li-Hsuan Chen, National Chung Cheng University, Taiwan
Po-An Chen, National Yang Ming Chiao Tung University, Taiwan
Eddie Cheng, Oakland University, USA
Romaric Duvignau, Chalmers University of Technology, Sweden
Thomas Erlebach, Durham University, UK
Henning Fernau, University of Trier, Germany
Florent Foucaud, LIMOS – Université Clermont Auvergne, France
Leszek Gasieniec, University of Liverpool, UK
Sun-Yuan Hsieh, National Cheng Kung University, Taiwan
Shang-En Huang, National Taiwan University, Taiwan
Tomasz Jurdziński, University of Wroclaw, Poland
Sanpawat Kantabutra, Chiang Mai University, Thailand
Thierry Lecroq, University of Rouen, France
Chia-Wei Lee, University of Taipei, Taiwan
Chung-Shou Liao, National Tsing Hua University, Taiwan
Leo Liberti, LIX, Ecole Polytechnique, France
Cheng-Kuan Lin, National Yang Ming Chiao Tung University, Taiwan
Yaping Mao, Qinghai Normal University, China
Tobias Mömke, University of Augsburg, Germany
Nils Morawietz, University of Jena, Germany
Nicolas Nisse, INRIA – Université Côte d'Azur, France
Kung-Jui Pai, Ming Chi University of Technology, Taiwan
Tomasz Radzik, King's College London, UK
Mikhail Raskin, University of Bordeaux, France
Peter Rossmanith, RWTH Aachen University, Germany
Meng-Tsung Tsai, Academia Sinica, Taiwan
Hung-Lung Wang, National Taiwan Normal University, Taiwan
Tomoyuki Yamakami, University of Fukui, Japan
Shuming Zhou, Fujian Normal University, China

[DMANET] SSS 2025 - Deadline extension until July 22nd

=========================================================
SSS 2025 3rd Call for Papers (Deadline Extension until July 22nd, 2025)
=========================================================
27th International Symposium on Stabilization, Safety, and Security of
Distributed Systems
October 9-11, 2025
Kathmandu, Nepal
https://sss2025.conf.lip6.fr<https://sss2025.conf.lip6.fr/>
=========================================================

Co-located event MAC 2025 (October 12-13, 2025) https://gokarnasharma.github.io/mac25

[Important Dates]
1st Paper Submission Deadline: March 21, 2025 (11:59 PM AoE)
1st Acceptance Notification: April 30, 2025
1st Camera-Ready Copy Due: May 10, 2025
2nd Paper Submission Deadline: May 15, 2025 (11:59 PM AoE)
2nd Acceptance Notification: June 30, 2025
2nd Camera-Ready Copy Due: July 15, 2025
3rd Paper Submission Deadline: July 15, 2025 July 22, 2025 (11:59 PM AoE)
3rd Acceptance Notification: August 30, 2025
3rd Camera-Ready Copy Due: September 10, 2025
=========================================================
The 27th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2025) will be held at Kathmandu, Nepal on October 9-11, 2025.
https://sss2025.conf.lip6.fr<https://sss2025.conf.lip6.fr/>
SSS is an international forum for researchers and practitioners in the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment. The symposium encourages submissions of original contributions on both fundamental research and practical applications concerning topics in the symposium tracks:
Track A. Stabilization and Locality in Distributed Computing (Track Chair: Peter Robinson, Augusta University, USA)

* Stabilizing Systems
* Proof labelling schemes
* Graph Algorithms
* Graph-theoretic concepts for communication networks
* Social and Peer-to-Peer Networks
* LOCAL/CONGEST models
* Communication complexity
* Game-theory and economical aspects of distributed computing
* Dynamic networks, time-varying graphs, evolving graphs

Track B. Time, Safety, and Security in Distributed Computing (Track Chair: Silvia Bonomi, Sapienza University, Italy)

* Concurrent and fault-tolerant algorithms
* Synchronization protocols
* Shared and transactional memory
* Blockchain technologies and cryptocurrencies
* Formal methods, semantics and verification of distributed systems
* Secure multi-party computation and cryptographic distributed protocols
* Privacy-enhancing technologies and anonymity
* Post-quantum and information theoretic cryptography and security

Track C. Moving and Computing (Track Chair: Partha Sarathi Mandal, Indian Institute of Technology Guwahati, India)

* Mobile agents
* Autonomous mobile robots
* Mobile sensor networks
* Mobile ad-hoc networks
* Population protocols
* Nature-inspired computing
* Programmable particles, nanoscale robots, biological systems, and related new models

[New Conference Model]
We experiment with a new conference model. There will be THREE non-overlapping deadlines, and thus three submission rounds. Papers that are rejected at an early round (1 or 2) may be reworked, corrected, enhanced, and resubmitted at a later round (2 or 3), if wished by the authors. Of course, accepted papers at an early round are definitely accepted and should not be submitted again at a later round. In case of resubmission, reviews from the previously submitted round will be transmitted to the reviewers of the resubmission round.
[Paper Submission]
Papers are to be submitted electronically through EasyChair:
<https://easychair.org/conferences/?conf=sss2024> https://easychair.org/conferences/?conf=sss2025
All submissions must conform to the formatting instructions of Springer LNCS series (see
<https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines> https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).
Each submission must be an original work written in English, in PDF format.
[Double-blind Review]
All submissions must be anonymous. We use a somewhat relaxed implementation of double-blind peer review: you are free to disseminate your work through arXiv and other online repositories and give presentations on your work as usual. However, please make sure you do not mention your own name or affiliation in the submission, and please do not include obvious references in the text that reveal your identity. A reviewer who has not previously seen the paper should be able to read it without accidentally learning the identities of the authors. Please feel free to ask the general co-chairs if you have any questions about the double-blind policy of SSS 2025.
[Submissions]
There are two types of submissions: regular papers and brief announcements.

* A regular submission must not exceed 15 pages (including the title, abstract, figures, and excluding references). Additional necessary details for an expert to verify the main claims of the submission may be included in a clearly marked appendix if extra space is needed.
* A brief announcement submission must not exceed 5 pages including everything.

Any submission deviating from these guidelines will be rejected without consideration of its merits. It is recommended that a regular submission begins with a succinct statement of the problem being addressed, a summary of the main results or conclusions, a brief explanation of their significance, a brief statement of the key ideas, and a comparison with related work, all tailored to a non-specialist. Technical development of the work, directed to the specialist, should follow. Papers outside of the conference scope will be rejected without review. For the third round only, if requested by the authors on the cover page, a regular submission that is not selected for a regular presentation will also be considered for the brief announcement format. This will not affect consideration of the paper for a regular presentation.
[Publication]
Regular papers and brief announcements will be included in the conference proceedings. Conference proceedings will be published by Springer in the LNCS conference series.
[Special Issue]
Extended and revised versions of selected papers will be considered for a special issue of Theoretical Computer Science (Elsevier).
[Paper Award]
Prizes will be given to the best regular paper and best student regular paper. A regular paper is eligible for the best student regular paper if at least one of its authors is a full-time student at submission time. Authors should clearly indicate whether their submission is eligible to be considered for the best student regular paper award (e.g., using a \thanks in the title). The PC may decline to confer awards or may split awards.
[Organization]
General Co-Chairs

* Gokarna Sharma (Kent State University, USA)
* Sébastien Tixeuil (Sorbonne University, France)

Local Organization Committee

* Shree Bhadra Wagle (Chair) (Kantipur Engineering College, Nepal)
* Keshar Prasain (Kantipur Engineering College, Nepal)
* Rabindra Khati (Kantipur Engineering College, Nepal)
* Prahlad Chapagain (Kantipur Engineering College, Nepal)
* Sahadeep Thapa (Kantipur Engineering College, Nepal)
* Saroj Sharma (Kantipur Engineering College, Nepal)
* Suman Shrestha (Kantipur Engineering College, Nepal)

Treasurer

* Kamal Khadga (Kantipur Engineering College, Nepal)

Proceedings Chair

* Pavan Poudel (University of Houston-Clear Lake, USA)

Registration Chair

* Ramesh Adhikari (Augusta University, USA)

Track Chairs

* Track A: Peter Robinson (Augusta University, USA)
* Track B: Silvia Bonomi (Sapienza University, Italy)
* Track C: Partha Sarathi Mandal (Indian Institute of Technology Guwahati, India)

Steering Committee

* Anish Arora (Ohio State University, USA)
* Shlomi Dolev (Ben-Gurion University of the Negev, Israel)
* Sayaka Kamei (Hiroshima University, Japan)
* Sandeep Kulkarni (Michigan State University, USA)
* Toshimitsu Masuzawa (The University of Osaka, Japan)
* Franck Petit (Sorbonne Université, France)
* Elad Michael Schiller (Chalmers University of Technology, Sweden)
* Sébastien Tixeuil (Chair) (Sorbonne Université, France)

Advisory Committee

* Sukumar Ghosh (University of Iowa, USA)
* Ted Herman (University of Iowa, USA)

--
Gokarna Sharma and Sébastien Tixeuil

_________________________________

Gokarna Sharma, Ph.D.

Associate Professor & Assistant Chair

Office: 268 Mathematical Sciences Building

Department of Computer Science
Kent State University, Kent, OH 44242, USA

http://www.cs.kent.edu/~sharma/

Email: gsharma2@kent.edu<mailto:gsharma2@kent,.edu>, Ph: (330) 672-9065

[DMANET] 27th International Conference on Distributed Computing and Networking (ICDCN 2026)

Call for Papers and Workshop Proposals

27th International Conference on Distributed Computing and Networking (ICDCN 2026)

January 6-9, 2026 Nara, Japan

http://icdcn.org/

*** paper submission deadline: July 25, 2025 ***

The International Conference on Distributed Computing and Networking (ICDCN) is a premier international conference dedicated to addressing advances in Distributed Computing and Communication Networks. The 27th edition of this conference will be held at the Nara Kasugano International Forum IRAKA, located in a historical city, Nara, Japan. Nara is the most historic and spiritual center of Japan, where the first capital city was built over 1300 years ago. Close to Kyoto and Osaka and quickly accessible by train, Nara has World Heritage sites and well-preserved temples and shrines. ICDCN 2026 will consist of a highly selective technical program consisting of refereed papers, distinguished keynotes, an industrial track, workshops, tutorials, posters and demos, and a doctoral symposium on emerging topics about distributed computing and networking.
The proceedings of ICDCN 2026, including all satellite events such as posters, demos, and workshops, will be published in the ACM International Conference Proceeding Series (ICPS). Additionally, extended versions of selected papers will be invited for fast-track publications in the Theoretical Computer Science (TCS) Journal or in Elsevier's Pervasive and Mobile Computing (PMC) Journal.

** Call for Papers

Regular Papers should not exceed 10 pages double-column including figures, tables, and references in standard ACM format. Regular papers may include a clearly marked Appendix with all the additional details required to validate the results (including technical proofs and experimental results that did not fit into the first 10 pages). Short Papers must not exceed 5 pages double-column including figures, tables, and references in standard ACM format. At least one author of each accepted paper must register for the conference and present the paper. All papers must be submitted through the EasyChair portal. For more details, visit the conference web site.
Papers describing original research work and practical experiences/experimental results are solicited on topics that include, but are not limited to, the following.

* Distributed Computing Topics of Interest
- Cloud Computing and Big Data Processing
- Concurrency, Synchronization, and Persistence
- Distributed Algorithms: Design, Analysis, and Complexity
- Distributed Computing Aspects of Blockchains
- Distributed Graph Algorithms
- Distributed Embedded Systems
- Distributed Operating Systems, Storage and Database Systems
- Distributed Quantum Computing
- Edge Computing and Mobile Offloading
- Fault-tolerance, Reliability, and Availability of Distributed Systems
- Formal Methods for Distributed Systems
- High performance Computing and Grid Computing
- Machine Learning in Distributed Computing and Networking
- Pervasive and Mobile Computing
- Scalable Distributed Systems
- Secure Multi-Party Computation
- Security, Privacy and Game Theory in Distributed Computing and Networking
- Self-organization, Self-stabilization, and Autonomic Computing
- Social Networks

* Networking Topics of Interest
- AI and ML in Communication and Computer Networks
- O-RAN and spectrum sensing/sharing
- D2D, Sensor, PAN and Mesh Networks
- Mobile Wireless Networks (5G/6G)
- Cloud, Edge, and Fog Networking
- Emerging Topics in Networks
- Emerging Network Applications
- Energy-efficient and Green Networking
- Information-centric and Content-based Networking
- Intent-based Networking and Zero-configuration Networks
- Interdisciplinary Approaches in Networking
- Internet of Things and Cyber-Physical Systems
- Internetworking Protocols & Internet Applications
- Network Function Virtualization and Software Defined Networking
- Networking and Computing for Sustainability, Society, and Development
- Censorship circumvention and net neutrality
- Datacenter networking
- Extremely high-frequency communications (mmWave, THz)
- Network support for VR/AR
- Tactile Internet
- Next-generation Networks and Services
- Pervasive Networking and Sensing
- Pricing and Network Economics
- Public Safety Computing Systems
- Quantum Network Protocols
- Security, Privacy, Trust, and Game Theory in Networking
- AI for Network Security
- Social Networks
- UAV Networks and Mobile Robots
- Vehicular Networks, Smart Grids, and Smart City Applications
- Backscatter and Ultra-low Power Networks
- Challenging Network Environments (underwater, underground)
- Visible light communications (VLC)
- Testbeds, experimentations, and networked experimental platforms

For further details, please visit the following page:
https://sites.google.com/view/icdcn2026/submissions/call-for-paper

** Call for Workshops

ICDCN2026 plans to host several workshops. The Organizing Committee invites proposals for one-day or half-day workshops affiliated with the conference.
The detailed information can be found at:
https://sites.google.com/view/icdcn2026/submissions/call-for-workshops

** Important Dates

- Wokrshop proposal July 10, 2025
- Paper submission: July 25, 2025
- Notifications: September 26, 2025
- Camera Ready Papers: TBA
- Conference Dates: January 6-9, 2026

** Organizing Committee

General Co-Chairs
Keiichi Yasumoto (NAIST, Japan)
Idit Keidar (Technion, Israel)
General Vice Chair
Hirozumi Yamaguchi (Osaka Univ., Japan)
TPC Co-Chairs
Simone Silvestri (Univ of Kentucky, USA)
Vincent Gramoli (Univ of Sydney, Australia)
Workshop Co-Chairs
Takuya Yoshihiro (Wakayama Univ, Japan)
Sandip Chakraborty (IIT Kharagpur, India)
Finance Co-Chairs
Akira Uchiyama (Osaka Univ., Japan)
Hirohiko Suwa (NAIST, Japan)
Publication Chair
Soumyajit Chatterjee (Nokia Bell Labs Cambridge, UK)
Sourav Kanti Addya (National Institute of Technology Karnataka, India)
Keynote and Panel Chair
Valerie King (Univ. of British Columbia)
Tutorial Co-Chairs
Nirmalya Roy (Univ of Maryland Baltimore County, USA)
Taisuke Izumi (Osaka Univ., Japan)
Poster and Demo Chair
Shantanu Pal (Deakin Univ, Australia)
Doctoral Symposium Co-Chairs
Viviana Arrigoni (University of Rome, Italy)
Industry Track Co-Chairs
Atsushi Tagami (KDDI Research Inc., Japan)
Local Arrangements Co-Chairs
Tomokazu Matsui (NAIST, Japan)
Tatsuya Amano (Osaka Univ., Japan)
Publicity Co-Chairs
Eirini Tsiropoulou (Arizona State Univ., USA)
Mukulika Maity (IIIT Delhi, India)
Debasree Das (University of Bamberg, Germany)
Web Chair
Ayumi Ohnishi (Kobe Univ., Japan)
Social Media Chair
Bishakh Ghosh (EasyAuth, India)
Steering Committee Chair
Sajal K. Das, (Missouri Univ. of Science and Technology, USA)

** Contact
http://icdcn.org/
Email: icdcn2026.contact@gmail.com<mailto:icdcn2026.contact@gmail.com> (Conference Organizers)
----------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Thanks & Regards,
Debasree Das

----

Debasree Das
Research Assistant
Chair of Mobile Systems
University of Bamberg
Webpage: https://debasree08.github.io/debasree/
An der Webrei 5
96047 Bamberg
Room: WE5/05.131

Theory Announcements

Tuesday, July 22, 2025

[DMANET] [CFP][ISIC 2025] HYBRID mode: International Semantic Intelligence Conference

[DMANET] Open PhD position in Discrete Optimization at TU Munich

Monday, July 21, 2025

[DMANET] Real-Time Intelligent Systems (Springer LNNS)

[DMANET] ADMIN: Holiday break 28.7.-12.8.

Saturday, July 19, 2025

[DMANET] SAGT 2025 - Call for Participation

Friday, July 18, 2025

[DMANET] Postdoctoral fellow position at the University of Houston

[DMANET] [ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

[DMANET] Postdoc position (algorithms and computational complexity for social choice problems)

Thursday, July 17, 2025

[DMANET] Registration is Now Open – MIP South America 2025

[DMANET] Doctoral / Post-Doctoral Position at University of Konstanz

Wednesday, July 16, 2025

[DMANET] [Cryptography] Advances in Privacy, Security, and Trust: Cryptographic Perspectives from PST2025 - Call for Paper

[DMANET] [Call for Papers] Deadline Extended – SMARTTECH 2025

[DMANET] Call for Participation: NeurIPS Workshop on GPUs and Optimization

[DMANET] IEEE CSF 2026: CFP Summer Cycle - Deadline July 24, 2025, AoE

[DMANET] [Extended Deadline] - CFP: Networking Solutions for Metaverse, Social Applications, Multimedia, and Games, within IEEE Consumer Communications & Networking Conference 9–12 January 2026 Las Vegas, USA

[DMANET] [Extended Deadline] Call for Papers – RuleML+RR 2025 Doctoral Consortium

[DMANET] Call for papers for IEEE SISDL 2025

[DMANET] GAP Days workshop, Koper, Slovenia, August 25-29

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

Tuesday, July 15, 2025

[DMANET] Networks Special Issue: "Innovative Approaches in Network Optimization"- EURO 2025

[DMANET] 【CFP】IWAE 2025 Submission Deadline Extended to 31 July 2025

[DMANET] SSS 2025 - Deadline extension until July 22nd

[DMANET] 27th International Conference on Distributed Computing and Networking (ICDCN 2026)

Mailing Lists

Search This Blog

Blog Archive

Tuesday, July 22, 2025

Monday, July 21, 2025

Saturday, July 19, 2025

Friday, July 18, 2025

Thursday, July 17, 2025

Wednesday, July 16, 2025

Tuesday, July 15, 2025

Mailing Lists

Subscribe To

Search This Blog

Blog Archive