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

Main Menu

Searching By

PARTNERS

Contact us

SC2-CSA 2016 - Satisfiability Checking and Symbolic Computation

Date2016-09-24 - 2016-09-27

Deadline2016-05-10

VenueTimisoara, Romania Romania

Keywords

Websitehttps://synasc.ro/2016

Topics/Call fo Papers

This will be the initial workshop of the SC2-Cooperation and Support Activity. The detailed call for papers is being prepared, but we expect that it will contain a mixture of formal presentation and less formal "what I intend to do". We intend to publish the proceedings either as EasyChair Proceedings or as CEUR-WS proceedings.

Other CFPs

  1. 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
  2. 2nd International Conference on Applied and Theoretical Computing and Communication Technology (iCATccT - 2016)
  3. 15th Baltic Electronics Conference (BEC2016)
  4. Integration of ERP and Legacy FDA-Regulated Systems - By AtoZ Compliance
  5. HVAC and GMP Environmental Control - for Pharmaceutical Clean Rooms- By Compliance Global Inc

Last modified: 2016-04-05 23:30:03