Search: (more)
Header

Conference Calendar: Upcoming Conferences

WWW WWW   ACSD 2018
International Conference on Application of Concurrency to System Design
24 Jun 2018 - 29 Jun 2018 (Bratislava, Slovakia)
| abstracts: 08 Feb 2018 | papers: 15 Feb 2018 | notification: 29 Mar 2018 |
 
WWW WWW   DAC 2018
Design Automation Conference
24 Jun 2018 - 28 Jun 2018 (San Francisco, CA, USA)
| abstracts: 14 Nov 2017 | papers: 21 Nov 2017 | notification: 23 Feb 2018 |
 
WWW WWW   ICESS 2018
International Conference on Embedded Software and Systems
24 Jun 2018 - 25 Jun 2018 (San Francisco, USA)
| abstracts: 23 Feb 2018 | papers: 23 Feb 2018 | notification: 31 Mar 2018 |
 
WWW WWW   ISPDC 2018
International Symposium on Parallel and Distributed Computing
25 Jun 2018 - 27 Jun 2018 (Geneva, Switzerland)
| abstracts: 29 Jan 2018 | papers: 10 Feb 2018 | notification: 10 Apr 2018 |
 
WWW WWW   ARITH 2018
Symposium on Computer Arithmetic
25 Jun 2018 - 27 Jun 2018 (Amherst, MA, USA)
| abstracts: 07 Feb 2018 | papers: 07 Feb 2018 | notification: 01 Apr 2018 |
 
WWW WWW   SEFM 2018
Software Engineering and Formal Methods
27 Jun 2018 - 29 Jun 2018 (Toulouse, France)
| abstracts: 23 Feb 2018 | papers: 02 Mar 2018 | notification: 09 Apr 2018 |
 
WWW WWW   WCET 2018
Worst-Case Execution Time (WCET) Analysis
03 Jul 2018 - 03 Jul 2018 (Barcelona, Spain)
| abstracts: 24 Apr 2018 | papers: 24 Apr 2018 | notification: 15 May 2018 |
 
WWW WWW   ECRTS 2018
Euromicro Conference on Real-Time Systems
03 Jul 2018 - 06 Jul 2018 (Barcelona, Spain)
| abstracts: 01 Feb 2018 | papers: 01 Feb 2018 | notification: 24 Mar 2018 |
 
WWW WWW   OSPERT 2018
Operating Systems Platforms for Embedded Real-Time Applications
03 Jul 2018 - 03 Jul 2018 (Barcelona, Spain)
| abstracts: 07 Apr 2018 | papers: 07 Apr 2018 | notification: 15 May 2018 |
 
WWW WWW   RTN 2018
International Workshop on Real-Time Networks
03 Jul 2018 - 03 Jul 2018 (Barcelona, Spain)
| abstracts: 24 Apr 2018 | papers: 24 Apr 2018 | notification: 08 May 2018 |
 
WWW WWW   RTN 2018
International Workshop on Real-Time Networks
03 Jul 2018 - 03 Jul 2018 (Barcelona, Spain)
| abstracts: 17 Apr 2018 | papers: 17 Apr 2018 | notification: 08 May 2018 |
 
WWW WWW   WCET 2018
Worst-Case Execution Time (WCET) Analysis
03 Jul 2018 - 03 Jul 2018 (Barcelona, Spain)
| abstracts: 17 Apr 2018 | papers: 17 Apr 2018 | notification: 15 May 2018 |
 
WWW WWW   WATERS 2018
Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems
03 Jul 2018 - 03 Jul 2018 (Barcelona, Spain)
| abstracts: 17 Apr 2018 | papers: 17 Apr 2018 | notification: 15 May 2018 |
 
WWW WWW   WCET 2018
Worst-Case Execution Time (WCET) Analysis
03 Jul 2018 - 03 Jul 2018 (Barcelona, Spain)
| abstracts: 07 Apr 2018 | papers: 07 Apr 2018 | notification: 15 May 2018 |
 
WWW WWW   ReCoSoC 2018
International Symposium on Reconfigurable Communication-centric Systems-on-Chip
09 Jul 2018 - 11 Jul 2018 (Lille, France)
| abstracts: 23 Apr 2018 | papers: 23 Apr 2018 | notification: 21 May 2018 |
 
WWW WWW   ISVLSI 2018
International Symposium on VLSI Design
09 Jul 2018 - 11 Jul 2018 (Hong Kong SAR, China)
| abstracts: 04 Mar 2018 | papers: 04 Mar 2018 | notification: 02 Apr 2018 |
 
WWW WWW   LICS 2018
Logic in Computer Science
09 Jul 2018 - 12 Jul 2018 (Oxford, UK)
| abstracts: 24 Jan 2018 | papers: 31 Jan 2018 | notification: 31 Mar 2018 |
 
WWW WWW   ITP 2018
Conference on Interactive Theorem Proving
09 Jul 2018 - 12 Jul 2018 (Oxford, UK)
| abstracts: 25 Jan 2018 | papers: 31 Jan 2018 | notification: 31 Mar 2018 |
 
WWW WWW   SAT 2018
Theory and Applications of Satisfiability Testing
09 Jul 2018 - 12 Jul 2018 (Oxford, UK)
| abstracts: 31 Jan 2018 | papers: 07 Feb 2018 | notification: 31 Mar 2018 |
 
WWW WWW   ReCoSoC 2018
International Symposium on Reconfigurable Communication-centric Systems-on-Chip
09 Jul 2018 - 11 Jul 2018 (Lille, France)
| abstracts: 09 Apr 2018 | papers: 16 Apr 2018 | notification: 21 May 2018 |
 
WWW WWW   FSCD 2018
International Conference on Formal Structures for Computation and Deduction
09 Jul 2018 - 12 Jul 2018 (Oxford, UK)
| abstracts: 15 Jan 2018 | papers: 22 Jan 2018 | notification: 02 Apr 2018 |
 
WWW WWW   ASAP 2018
Application-specific Systems, Architectures and Processors
10 Jul 2018 - 12 Jul 2018 (Milano, Italy)
| abstracts: 22 Apr 2018 | papers: 22 Apr 2018 | notification: 22 May 2018 |
 
WWW WWW   ASAP 2018
Application-specific Systems, Architectures and Processors
10 Jul 2018 - 12 Jul 2018 (Milano, Italy)
| abstracts: 07 May 2018 | papers: 07 May 2018 | notification: 25 May 2018 |
 
WWW WWW   IJCAR 2018
International Joint Conference on Automated Reasoning
14 Jul 2018 - 17 Jul 2018 (Oxford, UK)
| abstracts: 22 Jan 2018 | papers: 29 Jan 2018 | notification: 29 Mar 2018 |
 
WWW WWW   IJCAR18 2018
International Joint Conference on Automated Reasoning
14 Jul 2018 - 17 Jul 2018 (Oxford, UK)
| abstracts: 22 Jan 2018 | papers: 29 Jan 2018 | notification: 29 Mar 2018 |
 
WWW WWW   ICLP 2018
International Conference on Logic Programming
14 Jul 2018 - 17 Jul 2018 (Oxford, UK)
| abstracts: 22 Jan 2018 | papers: 29 Jan 2018 | notification: 15 Mar 2018 |
 
WWW WWW   SAMOS 2018
Systems, Architectures, MOdeling, and Simulation
15 Jul 2018 - 19 Jul 2018 (Samos, Greece)
| abstracts: 05 Mar 2018 | papers: 19 Mar 2018 | notification: 07 May 2018 |
 
WWW WWW   FM 2018
Formal Methods
15 Jul 2018 - 17 Jul 2018 (Oxford, UK)
| abstracts: 08 Jan 2018 | papers: 22 Jan 2018 | notification: 09 Apr 2018 |
 
WWW WWW   4PAD 2018
International Symposium on Formal Approaches to Parallel and Distributed Systems
17 Jul 2018 - 19 Jul 2018 (Orleans, France)
| abstracts: 12 Mar 2018 | papers: 12 Mar 2018 | notification: 11 Apr 2018 |
 
WWW WWW   AVoCS 2018
Automated Verification of Critical Systems
18 Jul 2018 - 19 Jul 2018 (Oxford University, UK)
| abstracts: 10 Apr 2018 | papers: 15 Apr 2018 | notification: 15 May 2018 |
 
WWW WWW   ANCS 2018
Symposium on Architectures for Networking and Communications Systems
23 Jul 2018 - 24 Jul 2018 (Ithaca, NY, USA)
| abstracts: 02 Apr 2018 | papers: 09 Apr 2018 | notification: 17 May 2018 |
 
WWW WWW   PODC 2018
ACM Symposium on Principles of Distributed Computing
23 Jul 2018 - 27 Jul 2018 (Royal Holloway, University of London, UK)
| abstracts: 11 Feb 2018 | papers: 18 Feb 2018 | notification: 28 Apr 2018 |
 
WWW WWW   WoLLIC 2018
Workshop on Logic, Language, Information and Computation
24 Jul 2018 - 27 Jul 2018 (Bogota, Colombia)
| abstracts: 11 Mar 2018 | papers: 18 Mar 2018 | notification: 15 Apr 2018 |
 
WWW WWW   CAV 2018
International Conference on Computer Aided Verification
24 Jul 2018 - 28 Jul 2018 (Oxford, UK)
| abstracts: 24 Jan 2018 | papers: 31 Jan 2018 | notification: 31 Mar 2018 |
 
WWW WWW   PECCS 2018
International Conference on Pervasive and Embedded Computing and Communication Systems
29 Jul 2018 - 30 Jul 2018 (Porto, Portugal)
| abstracts: 13 Mar 2018 | papers: 13 Mar 2018 | notification: 14 May 2018 |
 
WWW WWW   ICINCO 2018
International Conference on Informatics in Control, Automation and Robotics
29 Jul 2018 - 31 Jul 2018 (Porto, Portugal)
| abstracts: 03 Apr 2018 | papers: 03 Apr 2018 | notification: 14 May 2018 |
 
WWW WWW   AHS 2018
Adaptive Hardware and Systems
06 Aug 2018 - 09 Aug 2018 (University of Edinburgh, Edinburgh, UK)
| abstracts: 16 Mar 2018 | papers: 16 Mar 2018 | notification: 18 May 2018 |
 
WWW WWW   ICPP 2018
International Conference on Parallel Processing
13 Aug 2018 - 16 Aug 2018 (Eugene, Oregon, USA)
| abstracts: 06 Apr 2018 | papers: 06 Apr 2018 | notification: 18 May 2018 |
 
WWW WWW   FPL 2018
International Conference on Field Programmable Logic and Applications
27 Aug 2018 - 31 Aug 2018 (Dublin, Ireland)
| abstracts: 17 May 2018 | papers: 17 May 2018 | notification: 21 May 2018 |
 
WWW WWW   FSP 2018
International Workshop on *FPGAs for Software Programmers*
27 Aug 2018 - 31 Aug 2018 (Dublin, Ireland)
| abstracts: 27 May 2018 | papers: 27 May 2018 | notification: 01 Jul 2018 |
 
WWW WWW   FPL 2018
International Conference on Field Programmable Logic and Applications
27 Aug 2018 - 31 Aug 2018 (Dublin, Ireland)
| abstracts: 19 Mar 2018 | papers: 02 Apr 2018 | notification: 21 May 2018 |
 
WWW WWW   FSP 2018
International Workshop on *FPGAs for Software Programmers*
27 Aug 2018 - 31 Aug 2018 (Dublin, Ireland)
| abstracts: 17 Jun 2018 | papers: 17 Jun 2018 | notification: 09 Jul 2018 |
 
WWW WWW   RTCSA 2018
Real-Time Computing Systems and Applications
28 Aug 2018 - 31 Aug 2018 (Hokkaido, Japan)
| abstracts: 13 Apr 2018 | papers: 20 Apr 2018 | notification: 01 Jun 2018 |
 
WWW WWW   HeteroPar 2018
International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms
28 Aug 2018 - 28 Aug 2018 (Turin, Italy)
| abstracts: 27 May 2018 | papers: 27 May 2018 | notification: 25 Jun 2018 |
 
WWW WWW   HeteroPar 2018
International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms
28 Aug 2018 - 28 Aug 2018 (Turin, Italy)
| abstracts: 04 May 2018 | papers: 04 May 2018 | notification: 15 Jun 2018 |
 
WWW WWW   TASE 2018
International Symposium on Theoretical Aspects of Software Engineering
29 Aug 2018 - 31 Aug 2018 (Guangzhou, China)
| abstracts: 23 Feb 2018 | papers: 02 Mar 2018 | notification: 06 May 2018 |
 
WWW WWW   SAS 2018
Static Analysis Symposium
29 Aug 2018 - 31 Aug 2018 (Freiburg im Breisgau, Germany)
| abstracts: 13 Apr 2018 | papers: 13 Apr 2018 | notification: 05 Jun 2018 |
 
WWW WWW   SAS 2018
Static Analysis Symposium
29 Aug 2018 - 31 Aug 2018 (Freiburg im Breisgau, Germany)
| abstracts: 06 Apr 2018 | papers: 06 Apr 2018 | notification: 05 Jun 2018 |
 
WWW WWW   DSD 2018
Euromicro Conference on Digital System Design
29 Aug 2018 - 31 Aug 2018 (Prague, Czech)
| abstracts: 01 Apr 2018 | papers: 01 Apr 2018 | notification: 15 May 2018 |
 
WWW WWW   ICAC 2018
International Conference on Autonomic Computing
03 Sep 2018 - 07 Sep 2018 (Trento, Italy)
| abstracts: 25 Mar 2018 | papers: 08 Apr 2018 | notification: 03 Jun 2018 |
 
WWW WWW   SETTA 2018
Symposium on Dependable Software Engineering
04 Sep 2018 - 06 Sep 2018 (Beijing, China)
| abstracts: 23 Mar 2018 | papers: 30 Mar 2018 | notification: 18 May 2018 |
 
WWW WWW   CONCUR 2018
International Conference on Concurrency Theory
04 Sep 2018 - 07 Sep 2018 (Beijing, China)
| abstracts: 17 Apr 2018 | papers: 23 Apr 2018 | notification: 07 Jun 2018 |
 
WWW WWW   CSL 2018
Computer Science Logic
04 Sep 2018 - 07 Sep 2018 (Birmingham, UK)
| abstracts: 07 Apr 2018 | papers: 14 Apr 2018 | notification: 14 Jun 2018 |
 
WWW WWW   FORMATS 2018
Formal Modelling and Analysis of Timed Systems
04 Sep 2018 - 06 Sep 2018 (Beijing, China)
| abstracts: 23 Mar 2018 | papers: 30 Mar 2018 | notification: 25 May 2018 |
 
WWW WWW   FORMATS 2018
Formal Modelling and Analysis of Timed Systems
04 Sep 2018 - 06 Sep 2018 (Beijing, China)
| abstracts: 06 Apr 2018 | papers: 11 Apr 2018 | notification: 25 May 2018 |
 
WWW WWW   FDL 2018
Forum on Specification and Design Languages
10 Sep 2018 - 12 Sep 2018 (Munich, Germany)
| abstracts: 21 Apr 2018 | papers: 28 Apr 2018 | notification: 26 Jun 2018 |
 
WWW WWW   FDL 2018
Forum on Specification and Design Languages
10 Sep 2018 - 12 Sep 2018 (Munich, Germany)
| abstracts: 06 May 2018 | papers: 13 May 2018 | notification: 03 Jul 2018 |
 
WWW WWW   MCSoC 2018
International Symposium on Embedded Multicore Systems-on-Chip
12 Sep 2018 - 14 Sep 2018 (Hanoi, Vietnam)
| abstracts: 30 Apr 2018 | papers: 07 May 2018 | notification: 23 Jun 2018 |
 
WWW WWW   MCSoC 2018
International Symposium on Embedded Multicore Systems-on-Chip
12 Sep 2018 - 14 Sep 2018 (Hanoi, Vietnam)
| abstracts: 31 Mar 2018 | papers: 06 Apr 2018 | notification: 23 Jun 2018 |
 
WWW WWW   WAISE 2018
International Workshop on Artificial Intelligence Safety Engineering
18 Sep 2018 - 18 Sep 2018 (Västerås, Sweden)
| abstracts: 22 May 2018 | papers: 22 May 2018 | notification: 04 Jun 2018 |
 
WWW WWW   RuleML+RR 2018
International Joint Conference on Rules and Reasoning
18 Sep 2018 - 21 Sep 2018 (Luxembourg)
| abstracts: 20 Apr 2018 | papers: 27 Apr 2018 | notification: 01 Jun 2018 |
 
WWW WWW   ICTCS 2018
Italian Conference on Theoretical Computer Science
18 Sep 2018 - 20 Sep 2018 (Urbino, Italy)
| abstracts: 17 May 2018 | papers: 24 May 2018 | notification: 30 Jun 2018 |
 
WWW WWW   IWSBP 2018
International Workshop on Boolean Problems
19 Sep 2018 - 21 Sep 2018 (Bremen, Germany)
| abstracts: 27 May 2018 | papers: 27 May 2018 | notification: 08 Jul 2018 |
 
WWW WWW   RP 2018
Reachability Problems
24 Sep 2018 - 26 Sep 2018 (Campus of St-Charles, Marseille, France.)
| abstracts: 31 May 2018 | papers: 07 Jun 2018 | notification: 11 Jul 2018 |
 
WWW WWW   VECoS 2018
International Workshop on Verification and Evaluation ofComputer and Communication Systems
26 Sep 2018 - 28 Sep 2018 (Grenoble, France)
| abstracts: 30 Apr 2018 | papers: 30 Apr 2018 | notification: 11 Jun 2018 |
 
WWW WWW   VECoS 2018
International Workshop on Verification and Evaluation ofComputer and Communication Systems
26 Sep 2018 - 28 Sep 2018 (Grenoble, France)
| abstracts: 08 Apr 2018 | papers: 30 Apr 2018 | notification: 11 Jun 2018 |
 
WWW WWW   GandALF 2018
Games, Automata, Logics, and Formal Verification
26 Sep 2018 - 28 Sep 2018 (Saarbrücken, Germany)
| abstracts: 13 Jun 2018 | papers: 15 Jun 2018 | notification: 01 Aug 2018 |
 
WWW WWW   CASES 2018
Compilers, Architectures and Synthesis for Embedded Systems
30 Sep 2018 - 05 Oct 2018 (Torino, Italy)
| abstracts: 27 Mar 2018 | papers: 03 Apr 2018 | notification: 01 Jul 2018 |
 
WWW WWW   EMSOFT 2018
International Conference on Embedded Software
30 Sep 2018 - 05 Oct 2018 (Torino, Italy)
| abstracts: 27 Mar 2018 | papers: 03 Apr 2018 | notification: 01 Jul 2018 |
 
WWW WWW   SecDev18 2018
Secure Development Conference
30 Sep 2018 - 02 Oct 2018 (Cambridge, Massachusetts, USA)
| abstracts: 05 Mar 2018 | papers: 05 Mar 2018 | notification: 15 May 2018 |
 
WWW WWW   CODES-ISSS 2018
International Conference on Hardware-Software Codesign and System Synthesis
30 Sep 2018 - 05 Oct 2018 (Torino, Italy)
| abstracts: 27 Mar 2018 | papers: 03 Apr 2018 | notification: 01 Jul 2018 |
 
WWW WWW   NOCS 2018
IEEE/ACM International Symposium on Networks-on-Chip
04 Oct 2018 - 05 Oct 2018 (Torino, Italy)
| abstracts: 24 Apr 2018 | papers: 01 May 2018 | notification: 01 Jul 2018 |
 
WWW WWW   ATVA 2018
International Symposium on Automated Technology for Verification and Analysis
07 Oct 2018 - 10 Oct 2018 (Los Angeles, USA)
| abstracts: 04 May 2018 | papers: 04 May 2018 | notification: 22 Jun 2018 |
 
WWW WWW   ICCD 2018
International Conference on Computer Design
07 Oct 2018 - 10 Oct 2018 (Orlando, Florida USA)
| abstracts: 18 May 2018 | papers: 25 May 2018 | notification: 06 Aug 2018 |
 
WWW WWW   DASIP 2018
Conference on Design and Architectures for Signal and Image Processing
10 Oct 2018 - 12 Oct 2018 (Porto, Portugal)
| abstracts: 25 May 2018 | papers: 25 May 2018 | notification: 06 Jun 2018 |
 
WWW WWW   RTNS 2018
International Conference on Real-Time and Network Systems
10 Oct 2018 - 12 Oct 2018 (Poitiers, France)
| abstracts: 26 Jun 2018 | papers: 26 Jun 2018 | notification: 03 Aug 2018 |
 
WWW WWW   MORSE 2018
Workshop on Model-Driven Robot Software Engineering
14 Oct 2018 - 19 Oct 2018 (Copenhagen, Denmark)
| abstracts: 10 Jul 2018 | papers: 17 Jul 2018 | notification: 17 Aug 2018 |
 
WWW WWW   MODELS 2018
International Conference on Model Driven Engineering Languages and Systems
14 Oct 2018 - 19 Oct 2018 (Copenhagen, Denmark)
| abstracts: 27 Apr 2018 | papers: 04 May 2018 | notification: 05 Jul 2018 |
 
WWW WWW   MEMOCODE 2018
Formal Methods and Models for Codesign
15 Oct 2018 - 18 Oct 2018 (Beijing, China)
| abstracts: 25 May 2018 | papers: 01 Jun 2018 | notification: 23 Jul 2018 |
 
WWW WWW   MEMOCODE 2018
Formal Methods and Models for Codesign
15 Oct 2018 - 18 Oct 2018 (Beijing, China)
| abstracts: 01 Jun 2018 | papers: 08 Jun 2018 | notification: 23 Jul 2018 |
 
WWW WWW   TIME 2018
Temporal Representation and Reasoning
15 Oct 2018 - 17 Oct 2018 (Warsaw, Poland)
| abstracts: 07 May 2018 | papers: 11 May 2018 | notification: 26 Jun 2018 |
 
WWW WWW   MICRO 2018
International Symposium on Microarchitecture
20 Oct 2018 - 24 Oct 2018 ( Fukuoka, Japan)
| abstracts: 30 Mar 2018 | papers: 06 Apr 2018 | notification: 18 Jul 2018 |
 
WWW WWW   DL 2018
International Workshop on Description Logics
26 Oct 2018 - 29 Oct 2018 (Tempe, Arizona, US)
| abstracts: 29 Jun 2018 | papers: 06 Jul 2018 | notification: 10 Sep 2018 |
 
WWW WWW   FMCAD 2018
Formal Methods in Computer-Aided Design
30 Oct 2018 - 02 Nov 2018 (Austin, Texas)
| abstracts: 11 May 2018 | papers: 18 May 2018 | notification: 18 Jul 2018 |
 
WWW WWW   PACT 2018
Parallel Architectures and Compilation Techniques
01 Nov 2018 - 04 Nov 2018 (Limassol, Cyprus)
| abstracts: 04 Apr 2018 | papers: 15 Apr 2018 | notification: 20 Jun 2018 |
 
WWW WWW   ICCAD 2018
International Conference on Computer-Aided Design
05 Nov 2018 - 16 Nov 2018 (San Diego, CA, USA)
| abstracts: 23 Apr 2018 | papers: 24 Apr 2018 | notification: 27 Jun 2018 |
 
WWW WWW   RV 2018
International Conference on Runtime Verification
10 Nov 2018 - 13 Nov 2018 (Limassol, Cyprus)
| abstracts: 18 Jun 2018 | papers: 25 Jun 2018 | notification: 10 Sep 2018 |
 
WWW WWW   ICFEM 2018
International Conference on Formal Engineering Methods
12 Nov 2018 - 16 Nov 2018 (Gold Coast, Australia)
| abstracts: 07 May 2018 | papers: 14 May 2018 | notification: 29 Jun 2018 |
 
WWW WWW   LPAR 2018
Logic for Programming and Automated Reasoning
16 Nov 2018 - 21 Nov 2018 (Awassa, Ethiopia)
| abstracts: 06 Aug 2018 | papers: 13 Aug 2018 | notification: 24 Aug 2018 |
 
WWW WWW   SYNCHRON 2018
International Open Workshop on Synchronous Programming
26 Nov 2018 - 30 Nov 2018 (Villa Clythia, Fréjus, France)
| abstracts: 01 Nov 2018 | papers: 01 Nov 2018 | notification: 02 Nov 2018 |
 
WWW WWW   ReConFig 2018
Reconfigurable Computing and FPGAs
03 Dec 2018 - 05 Dec 2018 (Cancun, Mexico)
| abstracts: 03 Aug 2018 | papers: 03 Aug 2018 | notification: 21 Sep 2018 |
 
WWW WWW   Programming 2019
The Art, Science, and Engineering of Programming
01 Apr 2019 - 04 Apr 2019 (Genova, Italy)
| abstracts: 01 Jun 2018 | papers: 01 Jun 2018 | notification: 01 Aug 2018 |