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

Searching Call For Papers

Category Year
Country/Region
Keywords From

Searching Results

  1. 6th International Workshop on Hybrid Systems and Biology (HSB 2019)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic
  2. Interactive Workshop on the Industrial Application of Verification and Testing (InterAVT 2019)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic
  3. 3rd Workshop on Learning in Verification (LiVe 2019)
    Deadline: 2018-11-16 Event Date: 2019-04-06 - 2019-04-11
    Venue: Prague, Czech Republic
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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