Theory Announcements
Theorynet, DMANet and a few other announcements.
Wednesday, June 18, 2025
[DMANET] [CFP] Reachability Problems 2025, deadline June 27
›
/[Apologies for multiple copies.]/ The 19th International Conference on Reachability Problems (RP'2025) is being organized by the IMDEA ...
[DMANET] CfP: NMR 2025 --- 2nd Call for Papers
›
============================= *** NMR 2025: Call for Papers *** November 11-13, 2025, Melbourne, Australia * Deadlines: July 10 & 17, 20...
Tuesday, June 17, 2025
[DMANET] Call for PhD Student Positions at the Max Planck Institute for Informatics
›
Max Planck Institute for Informatics seeks PhD Students in the Algorithms and Complexity Department directed by Danupon Nanongkai. The Algor...
[DMANET] PhD position in Verification of Neural Networks for Control at Aalborg University
›
At the Department of Computer Science, Aalborg University, Denmark, a fully funded 3-year PhD position is available. The position is associa...
[DMANET] Reminder: FRICO 2025 Registration Open Until July 1
›
Dear PhD students, a short reminder that the registration for the 28th edition of the Workshop on Future Research in Combinatorial Optimizat...
[DMANET] Registration open for Workshop on Random Simplicial Complexes and Hypergraphs in Nottingham
›
We are pleased to announce that registration is open for the Workshop on Random Simplicial Complexes and Hypergraphs taking place on 1-2nd S...
[DMANET] [2nd CfP] OVERLAY 2025 @ ECAI: 7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
›
7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2025), co-located wit...
[DMANET] 2nd ABCD Workshop on Algorithms and Mathematical Optimization: New Trends
›
Call for participation 2nd ABCD Workshop on Algorithms and Mathematical Optimization: New Trends on Monday, July 14, 2025 at the University ...
[DMANET] Reminder: International Workshop on Algorithmic Optimization
›
Dear friends and colleagues, the research training group Algorithmic Optimization (ALOP) at Trier University is in its ninth and final year ...
Monday, June 16, 2025
[DMANET] 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 ...
[DMANET] GECCO Job Market
›
GECCO Job Market https://gecco-2025.sigevo.org/Job-Market The GECCO Job Market is an event where people offering jobs can advertise open pos...
Sunday, June 15, 2025
[DMANET] SNAMS-2025 (Co-Sponsored by IEEE ) : The 12th International Conference on Social Networks Analysis, Management and Security, Vienna, Austria, November 25-28, 2025.
›
[Apologies if you got multiple copies of this invitation] The 12th International Conference on Social Networks Analysis, Management and Secu...
[DMANET] [cfp] FSTTCS'25 | Dec 17 - 19, BITS Pilani, Goa, India
›
FSTTCS 2025 < https://www.fsttcs.org.in/2025/ >: Call for Papers FSTTCS 2025 < https://www.fsttcs.org.in/2025/ > is the 45th con...
Saturday, June 14, 2025
[DMANET] Permutation Patterns 2025: registration deadline is JUNE 19th
›
The registration for Permutation Patterns 2025 (held in sunny St Andrews, Scotland) will close June 19th. https://sites.cs.st-andrews.ac.uk...
Friday, June 13, 2025
[DMANET] Call for Papers - WALCOM 2026
›
Call for Papers - WALCOM 2026 The 20th International Conference and Workshops on Algorithms and Computation March 4-6, 2026, Perugia, Italy ...
[DMANET] DLT4SEC - Call for Papers and Demos - Porto - 29 September 2025
›
_*** CALL FOR PAPERS and DEMOS ***_ 1st International Workshop on DLT for Cybersecurity and Vice-Versa DLT4SEC 2025 _September 29, 2025_ _Po...
[DMANET] [Deadline Approaching] Cyber Security in Networking Conference 2025
›
[Apologies if you got multiple copies of this Call For Papers] ********************************************************************* CAL...
[DMANET] SOFSEM 2026: 1st Call for Papers
›
SOFSEM 2026 – Call for Papers 51st International Conference on Current Trends in Theory and Practice of Computer Science February 9–13, 2026...
Thursday, June 12, 2025
[DMANET] PUCV (Chile) Call for Faculty Positions at Escuela de Ingeniería Informática
›
****************************** *Call for Faculty Positions at Escuela de Ingeniería Informática, Pontificia Universidad Católica de Valparaí...
[DMANET] IEEE BCCA 2025: The 7th International Conference on Blockchain Computing and Applications, Dubrovnik, Croatia [Hybrid Conference] [Special Track]
›
*The 7th International Conference on Blockchain Computing and Applications (BCCA 2025)* 14-17 October 2025 | Dubrovnik, Croatia *Hybrid Conf...
[DMANET] [Deadline Extended] IEEE Intelligent Metaverse Conference (iMETA 2025), Dubrovnik, Croatia [Hybrid Conference]
›
*The 3rd IEEE International Conference on **Intelligent Metaverse Technologies & Applications **(iMETA 2025)* *14-17 October 2025 | Dubr...
[DMANET] Deadline extended -- Workshop "Mathematics in the Age of Data", Sept. 8-10, 2025 -- 2nd CfP
›
============================================== 2nd Call for Participation -- Registration Deadline extended to July 15, 2025 ...
[DMANET] SNAMS-2025 (Co-Sponsored by IEEE ) : The 12th International Conference on Social Networks Analysis, Management and Security, Vienna, Austria, November 25-28, 2025.
›
[Apologies if you got multiple copies of this invitation] The 12th International Conference on Social Networks Analysis, Management and Secu...
›
Home
View web version