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