|
|
|
FCCM 2025
International IEEE Symposium on Field-Programmable Custom Computing Machines
04 May 2025 - 07 May 2025 (Fayetteville, Arkansas, USA)
| abstracts: 10 Jan 2025 | papers: 17 Jan 2025 | notification: 10 Mar 2025 |
|
|
|
|
RAW 2025
Reconfigurable Architectures Workshop
03 Jun 2025 - 04 Jun 2025 (Milan, Italy)
| abstracts: 20 Jan 2025 | papers: 20 Jan 2025 | notification: 14 Feb 2025 |
|
|
|
|
MBMV 2025
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
11 Mar 2025 - 12 Mar 2025 (Rostock, Germany)
| abstracts: 13 Jan 2025 | papers: 20 Jan 2025 | notification: 17 Feb 2025 |
|
|
|
|
LICS 2025
Logic in Computer Science
23 Jun 2025 - 26 Jun 2025 (Singapore)
| abstracts: 16 Jan 2025 | papers: 23 Jan 2025 | notification: 08 Apr 2025 |
|
|
|
|
MoVe4SPS25 2025
Modeling and Verification for Secure and Performant Cyber-Physical Systems
06 May 2025 - 06 May 2025 (Irvine, CA, USA)
| abstracts: 26 Jan 2025 | papers: 26 Jan 2025 | notification: 10 Mar 2025 |
|
|
|
|
ISORC 2025
IEEE International Symposium On Real-Time Computing
26 May 2025 - 29 May 2025 (Toulouse, France)
| abstracts: 26 Jan 2025 | papers: 26 Jan 2025 | notification: 05 Mar 2025 |
|
|
|
|
ARCS 2025
International Conference on Architecture of Computing Systems
22 Apr 2025 - 24 Apr 2025 (Kiel, Germany)
| abstracts: 26 Jan 2025 | papers: 26 Jan 2025 | notification: 16 Mar 2025 |
|
|
|
|
ERAS 2025
Engineering Reliable Autonomous Systems
29 May 2025 - 30 May 2025 (Worcester, MA, USA)
| abstracts: 30 Jan 2025 | papers: 30 Jan 2025 | notification: 20 Mar 2025 |
|
|
|
|
RTNS 2025
International Conference on Real-Time and Network Systems
05 Nov 2025 - 07 Nov 2025 (Pisa, Italy)
| abstracts: 30 Jan 2025 | papers: 30 Jan 2025 | notification: 27 Mar 2025 |
|
|
|
|
CAV 2025
International Conference on Computer Aided Verification
21 Jul 2025 - 25 Jul 2025 (Zagreb, Croatia)
| abstracts: 24 Jan 2025 | papers: 31 Jan 2025 | notification: 02 Apr 2025 |
|
|
|
|
CGRA4HPCA 2025
International Workshop on Coarse-Grained Reconfigurable Architectures for High-Performance Computing and AI
03 Jun 2025 - 03 Jun 2025 (Milano, Italy)
| abstracts: 01 Feb 2025 | papers: 01 Feb 2025 | notification: 23 Feb 2025 |
|
|
|
|
ICGT 2025
International Conference on Graph Transformation
12 Jun 2025 - 13 Jun 2025 (Koblenz, Germany)
| abstracts: 28 Jan 2025 | papers: 04 Feb 2025 | notification: 29 Apr 2025 |
|
|
|
|
DisCoTec 2025
Distributed Computing Techniques
16 Jun 2025 - 20 Jun 2025 (Lille, France)
| abstracts: 31 Jan 2025 | papers: 07 Feb 2025 | notification: 28 Mar 2025 |
|
|
|
|
ECMFA 2025
European Conference on Modelling Foundations and Applications
10 Jun 2025 - 13 Jun 2025 (Koblenz, Germany)
| abstracts: 31 Jan 2025 | papers: 07 Feb 2025 | notification: 02 May 2025 |
|
|
|
|
TASE 2025
International Symposium on Theoretical Aspects of Software Engineering
14 Jul 2025 - 16 Jul 2025 (Limassol, Cyprus)
| abstracts: 01 Feb 2025 | papers: 07 Feb 2025 | notification: 01 Apr 2025 |
|
|
|
|
SPIN 2025
International Symposium on Model Checking of Software
07 May 2025 - 08 May 2025 (Hamilton, Canada)
| abstracts: 13 Feb 2025 | papers: 13 Feb 2025 | notification: 24 Mar 2025 |
|
|
|
|
SLE 2025
International Conference on Software Language Engineering
12 Jun 2025 - 13 Jun 2025 (Koblenz, Germany)
| abstracts: 07 Feb 2025 | papers: 14 Feb 2025 | notification: 15 Apr 2025 |
|
|
|
|
HEART 2025
International Symposium on Highly Efficient Accelerators and Reconfigurable Technology
26 May 2025 - 28 May 2025 (Kumamoto, Japan)
| abstracts: 17 Feb 2025 | papers: 17 Feb 2025 | notification: 10 Mar 2025 |
|
|
|
|
ASAP 2025
Application-specific Systems, Architectures and Processors
28 Jul 2025 - 30 Jul 2025 (Vancouver, BC, Canada)
| abstracts: 14 Feb 2025 | papers: 21 Feb 2025 | notification: 28 Apr 2025 |
|
|
|
|
CADE 2025
Conference on Automated Deduction
28 Jul 2025 - 02 Aug 2025 (Stuttgart, Germany)
| abstracts: 17 Feb 2025 | papers: 24 Feb 2025 | notification: 28 Apr 2025 |
|
|
|
|
CONCUR 2025
International Conference on Concurrency Theory
26 Aug 2025 - 29 Aug 2025 (Aarhus, Denmark)
| abstracts: 01 Apr 2025 | papers: 07 Apr 2025 | notification: 27 May 2025 |
|
|
|
|
DSD 2025
Euromicro Conference on Digital System Design
10 Sep 2025 - 12 Sep 2025 (Salerno, Italy)
| abstracts: 15 Apr 2025 | papers: 15 Apr 2025 | notification: 15 May 2025 |
|
|
|
|
CGO 2025
International Symposium on Code Generation and Optimization
01 Mar 2025 - 05 Mar 2025 (Las Vegas, USA)
| abstracts: 12 Sep 2025 | papers: 12 Sep 2025 | notification: 04 Nov 2025 |
|