Theory Announcements
Theorynet, DMANet and a few other announcements.
Wednesday, May 6, 2026
[DMANET] ALGOCLOUD 2026 - call for papers
›
============================================================================= *ALGOCLOUD 2026* - 11th International Symposium on Algorithmi...
[DMANET] [Call for Papers] Women in Logic 2026 -- Extended deadline!
›
--------------------------------------------------------------- Call for Contributions WiL 2026: 10th Women in Logic Workshop July 24-25, 20...
[DMANET] Call for Papers - Joint CP/SAT Doctoral Program 2026 (Extended Deadlines)
›
Website: http://satcpdp26.github.io Dates: July 18-19, 2026 Location: Lisbon, Portugal, as part of the FLoC 26 workshop program Extended ...
[DMANET] Pragmatics of SAT (PoS 2026) [Extended full paper deadline, final call]
›
- Did your nice paper for SAT or a related FLoC conference just get rejected? - Do you have interesting results or ideas related to SAT or ...
[DMANET] SPAA 2026 Call for Workshops and Tutorials [Deadline Extension]
›
Dear all, We welcome proposals for workshops and tutorials that fall within the scope of the SPAA community <https://spaa.acm.org/> o...
[DMANET] Full professor (W2) in Mathematical Optimization at RWTH Aachen University
›
RWTH Aachen University (Department of Mathematics) is inviting applications for the position of full professor (W2) in the area of Ma...
Tuesday, May 5, 2026
[DMANET] Research Fellowships at IBS Extremal Combinatorics and Probability Group (ECOPRO with Hong Liu)
›
Dear Colleagues, The Extremal Combinatorics and Probability Group (ECOPRO) at the Institute for Basic Science (IBS) invites applications fo...
[DMANET] Postdoctoral position at Bilkent
›
Dear All, I would greatly appreciate it if you could share the following postdoctoral position ad in my group at the Bilkent Quantum & ...
[DMANET] PhD position in algorithmic graph theory, TU Dresden
›
A PhD position is open at the Chair of Algorithmic and Structural Graph Theory at TU Dresden, Germany, with a flexible starting date in 202...
[DMANET] SC-Square: Second deadline extension
›
DEADLINE EXTENDED: SC-Square 2026: 11th International Workshop on Satisfiability Checking and Symbolic Computation July 13, 2026, Oldenbur...
[DMANET] TEAC Special Issue on Fair Division - Deadline Extended to 1 June 2026
›
Dear colleagues, This is the final call for submissions to the Special Issue on Fair Division at ACM Transactions on Economics and Computat...
[DMANET] =?Windows-1252?Q?[CFP]_CloudNet_2026_Submission_Deadline:_15_May, _2026_?= – 14th IEEE International Conference on Cloud Networking (CloudNet 2026) | Athens, Greece
›
======================================== We apologize if you receive multiple copies of this CFPs. We appreciate your help to contribute ...
Monday, May 4, 2026
[DMANET] ICALP 2027 Track B, two-round submissions, first deadline 15 Sept (!) 2026
›
Starting with ICALP 2027, Track B (Automata, Logic, Semantics, and Theory of Programming) will introduce a two-round submission process. The...
[DMANET] 4th WORKSHOP ON PARAMETERIZED COMPLEXITY OF COMPUTATIONAL REASONING
›
******************************************************************************************* 4th WORKSHOP ON PARAMETERIZED COMPLEXITY OF COMP...
[DMANET] CFP: International Conferences (IUCC, CIT, DSCI, IOI), UK, 26-28 October 2026
›
[Please accept our apologies if you receive multiple copies of this email] The 24th International Conference on Ubiquitous Computing and Co...
[DMANET] Funded PhD Position Available: Practical Data Structures and Algorithms for Large-Scale Genomic and Text Representations
›
Dear all, I have a funded PhD position available at the University of Queensland in Brisbane, Australia. The project will investigate comp...
[DMANET] 2nd Call for Papers: SYNT'26 (FLoC workshop), July 25, Lisbon (deadline extended to May 15)
›
SYNT 2026 : 15th International Workshop on Synthesis 25th July 2026 Co-located with FLoC 2026, Lisbon, Portugal --- The SYNT workshop aims...
[DMANET] Computability in Europe 2026: Call for informal presentations
›
Computability in Europe 2026 invites submissions for informal presentations of ongoing work, recent results, and emerging ideas. Continuin...
Sunday, May 3, 2026
[DMANET] [CFP]: DSCI-2026, The 8th International Conference on Data Science and Computational Intelligence, UK, 26-28 October 2026
›
[Please accept our apologies if you receive multiple copies of this message] ************************* DSCI-2026 Call for Papers************...
Saturday, May 2, 2026
[DMANET] Final CFP (deadlines extended for two weeks): The 9th International Conference on Algorithmic Decision Theory (ADT 2026)
›
The 9th International Conference on Algorithmic Decision Theory (ADT 2026) will be held at University Paris Dauphine-PSL on November 16-18, ...
[DMANET] FLLM2026 (Co-Sponsored by IEEE): The 4th International Conference on Foundation and Large Language Models, 17 - 20 November 2026 | Barcelona, Spain
›
[Apologies if you got multiple copies of this invitation] The 4th International Conference on Foundation and Large Language Models (FLLM 2...
[DMANET] [CFP]: IOI-2026, The 6th International Conference on Internet of Intelligence, UK, 26-28 October 2026
›
[Please accept our apologies if you receive multiple copies of this message] ************************* IOI-2026 Call for Papers*************...
[DMANET] 21st Workshop on Modelling and Mining Networks (WAW 2026) - June 15-19, 2026
›
I am happy to announce that WAW 2026 will be held at the Fields Institute for Research in Mathematical Sciences, Toronto, ON, Canada: June 1...
[DMANET] OR 2026 in Passau, Germany: Submisison deadline extended!
›
International Conference on Operations Research (OR 2026) ~ Converging Streams in Decision Making ~ September 1-4, 2026, Passau, Germany *T...
[DMANET] LAWCG 2026 - Deadline extension
›
Dear all, We have decided to extend the submission deadline of LAWCG 2026 by 7 days. Submissions end: May 07, 2026 Author notificatio...
Friday, May 1, 2026
[DMANET] The 4th CINI HPC Summer School 2026
›
** Call for Attendees ** The 4th CINI HPC Summer School 2026 https://hpcsummerschool.massimocafaro.it We are pleased to announce the 4th ...
[DMANET] CPM 2026 call for participation
›
The 37th Annual Symposium on Combinatorial Pattern Matching (CPM 2026) will take place in Copenhagen, Denmark, from June 15 to 17, 2026. ...
‹
›
Home
View web version