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
Powered by Blogger.