Changes between Version 21 and Version 22 of Conferences


Ignore:
Timestamp:
06/01/16 21:43:57 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v21 v22  
    66|| CADE || Jan || Jun || [http://www.cadeinc.org Conf. on Automated Deduction] || 1/18 || 1/25 || [http://www.ijcar-2016.info 6/27–7/2] ||    ||    ||  8/?   ||
    77|| ISSTA || Jan || Jul || [http://dl.acm.org/event.cfm?id=RE222 Int'l Symposium on Software Testing & Analysis] ||  || 1/29 || [https://issta2016.cispa.saarland 7/18–20] || || || ||
    8 || FM || !Jan/May || !Jun/Nov || Formal Methods ||
     8|| FM || !Jan/May || !Jun/Nov || [http://www.fmeurope.org/?page_id=221 Int'l Symposium on Formal Methods] || 5/16 || 5/30 || [http://fm2016.cs.ucy.ac.cy 11/7–11] || || || ||
    99|| !EuroPar || Feb ||  Aug || European Parallel Computing ||
    1010|| NSV || Feb-May || Apr-Jul || Int'l workshop on Numerical Software Verification ||