Theory Announcements

Theorynet, DMANet and a few other announcements.

Wednesday, February 4, 2026

[DMANET] CFP: IEEE SmartSys 2026 @ SMARTCOMP - June 2026, Italy

›
[Apologies for duplicates of this message] Eleventh IEEE Workshop on Smart Service Systems (SmartSys) • Co-located with t...

[DMANET] Fully Funded PhD Position in Algorithms & Complexity

›
*Fully Funded PhD Position in Algorithms & Complexity* *University of Birmingham – School of Computer Science* *Start:* September 2026 |...

[DMANET] IFORS Vienna 2026 - Call For Abstracts

›
We are delighted to invite you to take part in the IFORS 2026 Conference, to be held in Vienna, Austria, from July 12 to 17, 2026. The Inter...
Tuesday, February 3, 2026

[DMANET] 2026 INFORMS-QSR Tutorial Series

›
On behalf of the Quality, Statistics, and Reliability (QSR) Section of INFORMS, we invite you to participate in the 2026 QSR Tutorial Series...

[DMANET] AAAC 2026 second call for papers

›
AAAC 2026 CALL FOR PAPERS The 17th Annual Meeting of the Asian Association for Algorithms and Computation (AAAC 2026) will take place on May...

[DMANET] Fully funded Master/PhD positions in Discrete Math at HKUST

›
The Department of Mathematics at the Hong Kong University of Science and Technology (HKUST) invites applications for multiple MPhil (Master)...

[DMANET] SC-Square 2026: First Call for Papers

›
SC-Square 2026: 10th International Workshop on Satisfiability Checking and Symbolic Computation July 13, 2026, Oldenburg Germany ***********...

[DMANET] Call for Co-Guest Editors – Next-Generation Mathematical Solving Collection (Wiley)

›
Call for Co-Guest Editors – Next-Generation Mathematical Solving Collection (Wiley) Wiley is launching an open call for Co-Guest Editors for...

[DMANET] CfP: UNIF'26 - The 40th International Workshop on Unification

›
==================================================== Call for Papers UNIF 2026 The 40th Interna...

[DMANET] WAIFI 2026 - EXTENSION SUBMISSION DEADLINE: March 15

›
Dear colleagues, (apologies for multiple postings) ------------------------------------------ Due to numerous requests of authors, the DEADL...

[DMANET] Call for Papers - Springer Optimization and Its Applications edited book titled ‘Handbook of General Systems of Nonlinear Equations’ - Deadline May 1, 2026

›
Dear All, This is the official first Call for Chapters in the forthcoming Springer Optimization and Its Applications edited book titled ...

[DMANET] CfP: ISGAIE 2026|| Extended deadline Feb 20, 2026 || May 20 - 22, 2026 - Casablanca, Morocco

›
===Please accept our apologies in case of multiple copies of this CFP==== *-----------------------------Call For Papers --------------------...

[DMANET] DOC2026 & YPOC2026 Workshops | Cagliari, May 21–22, 2026

›
********************* DOC2026 and YPOC2026 workshops May 21 - 22, 2026 Cagliari (Sardinia, Italy) https://sites.google.com/view/doc2026/hom...

[DMANET] PhD Positions in Symbolic AI @ TU Wien: Learning Abstractions for Generalized Reasoning (The LAGER Project)

›
Two PhD Positions @ TU Wien The research groups Knowledge-Based Systems (KBS) and Database and AI (DBAI) in Institute of Logic and Computati...

[DMANET] AofA 2026: call for papers

›
The 37th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2026) is plann...

[DMANET] multiple tenure-track positions at the University of Warsaw

›
The Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw (MIM UW) invites applications for the positions of Assista...

[DMANET] DC Online Resources (IFORS)

›
As our material progresses, this is just a reminder every now and then. To access information regarding IFORS Developing Countries resources...
Monday, February 2, 2026

[DMANET] Faculty and Postdoc Positions in Chinese Academy of Sciences

›
The Center for Algorithms and Learning Theory (CALT) at the Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences, is exci...

[DMANET] Updated Deadline and Final Call: The 8th Games, Agents, and Incentives Workshop (GAIW)@AAMAS 2026

›
Call for Papers: The 8th Games, Agents, and Incentives Workshop (GAIW)@AAMAS 2026 Webpage: https://gtep-workshops.github.io/gaiw2026/ - ...

[DMANET] 5-year PhD position in Discrete Optimization at TU Berlin

›
Institute of Mathematics Technische Universität Berlin 5 year PhD position in Discrete Optimization Research Assistant (100% TV-L 13) ...

[DMANET] Numeration 2026, Nancy, June 1 - June 5, 2026 Second announcement - Registration is OPEN !

›
==================================================     Numeration 2026, Nancy, June 1 - June 5, 2026 ======================================...

[DMANET] PODC 2026 Call for workshops and tutorials

›
Apologies for multiple postings. ----- ================================================ ACM PODC 2026: CALL FOR WORKSHOPS AND TUTORIALS ====...

[DMANET] PhD position in Berlin, deadline Feb 23

›
There is a four year PhD position (75% E13 TV-L FU) in discrete methods in algebraic geometry (Christian Haase) at Freie Universität Berlin....

[DMANET] CFP: OVERLAY-26 @ FLoC - 8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis - deadline: April 17, 2026

›
8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2026), co-located wit...
›
Home
View web version
Powered by Blogger.