ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

Searching Call For Papers

Category Year
Country
Keywords From

Searching Results

  1. 2nd International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2019)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic
  2. 3rd International Workshop on Program Equivalence and Relational Reasoning (PERR 2019)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic
  3. 11th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2019)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic
  4. 16th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2019)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic
  5. Workshop on Security Practices for Internet of Things (SPIoT 2019)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic
  6. 6th International Workshop on Synthesis of Complex Parameters (SynCoP 2019)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic
  7. Tutorial on Automatic Synthesis of Reactive Systems (SYNTCOMP Camp 2019)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic
  8. 8th Verification Competition (VerifyThis2019)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic
  9. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic
  10. 22nd International Conference on Fundamental Approaches to Software Engineering (FASE)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic