26th International Conference on Computer Aided Verification (CAV'14)

  • Conference Call
  • Inter­na­tional Con­fer­ence on Com­puter Aided Ver­i­fi­ca­tion (CAV’14) is the 26th in a series ded­i­cated to the advance­ment of the the­ory and prac­tice of computer-​aided for­mal analy­sis meth­ods for hard­ware and soft­ware sys­tems. As part of the Fed­er­ated Logic Con­fer­ence (FloC) and the Vienna Sum­mer of Logic, CAV’14 will be col­lo­cated with many other con­fer­ences in logic in Vienna, Aus­tria on July 18 – 22, 2014.

    CAV con­sid­ers it vital to con­tinue spurring advances in hard­ware and soft­ware ver­i­fi­ca­tion while expand­ing to new domains such as bio­log­i­cal sys­tems and com­puter secu­rity. The con­fer­ence cov­ers the spec­trum from the­o­ret­i­cal results to con­crete appli­ca­tions, with an empha­sis on prac­ti­cal ver­i­fi­ca­tion tools and the algo­rithms and tech­niques that are needed for their implementation.

    Invited Talks

    • Erik Win­free – Cal­tech, Pasadena, Cal­i­for­nia, USA: Design­ing and ver­i­fy­ing mol­e­c­u­lar cir­cuits and sys­tems made of DNA
    • Rance Cleave­land – Univ. Mary­land and Fraun­hofer, USA: will talk about Auto­mated Test­ing (pre­lim­i­nary title)

    Events

    FLOC will host CAV-​related work­shops on 17 – 18 July, 2014 and on 23 – 24 July, 2014 and the first day of CAV will be ded­i­cated to tutorials.

    Con­fer­ence Topics

    Top­ics of inter­est include but are not lim­ited to:

    • Algo­rithms and tools for ver­i­fy­ing mod­els and implementations
    • Hard­ware ver­i­fi­ca­tion techniques
    • Deduc­tive, com­po­si­tional, and abstrac­tion tech­niques for verification
    • Pro­gram analy­sis and soft­ware verification
    • Ver­i­fi­ca­tion meth­ods for par­al­lel and con­cur­rent hardware/​software systems
    • Test­ing and run­time analy­sis based on ver­i­fi­ca­tion technology
    • Appli­ca­tions and case stud­ies in verification
    • Deci­sion pro­ce­dures and solvers for verification
    • Math­e­mat­i­cal and log­i­cal foun­da­tions of prac­ti­cal ver­i­fi­ca­tion tools
    • Ver­i­fi­ca­tion in indus­trial practice
    • Algo­rithms and tools for sys­tem synthesis
    • Hybrid sys­tems and embed­ded sys­tems verification
    • Ver­i­fi­ca­tion tech­niques for security
    • For­mal mod­els and meth­ods for bio­log­i­cal systems

    Tutorials

    Pub­li­ca­tion Opportunities

    The pro­ceed­ings of the con­fer­ence will be pub­lished in the Springer-​Verlag Lec­ture Notes in Com­puter Sci­ence series. A selec­tion of papers will be invited to a spe­cial issue of For­mal Meth­ods in Sys­tem Design and the Jour­nal of the ACM.

    CAV Award

    Any­one can sub­mit a nom­i­na­tion. The Award Com­mit­tee can orig­i­nate a nom­i­na­tion. Any­one, with the excep­tion of mem­bers of the Award Com­mit­tee, is eli­gi­ble to receive the Award. A nom­i­na­tion must state clearly the contribution(s), explain why the con­tri­bu­tion is fun­da­men­tal or the series of con­tri­bu­tions is out­stand­ing, and be accom­pa­nied by sup­port­ing let­ters and other evi­dence of worthiness.

    Nom­i­na­tions should include a pro­posed cita­tion (up to 25 words), a suc­cinct (100−250 words) descrip­tion of the contribution(s), and a detailed state­ment to jus­tify the nom­i­na­tion. The cited contribution(s) must have been made not more recently than five years ago and not over twenty years ago.

    In addi­tion, the contribution(s) should not yet have received recog­ni­tion via a major award, such as the ACM Tur­ing or Kanel­lakis Awards. The nom­i­nee may have received such an award for other contributions.

    The 2014 CAV Award Com­mit­tee con­sists of

    The nom­i­na­tions should be sent to Martha Kwia­towska. Nom­i­na­tions must be received by Jan­u­ary 15, 2014.

    Chairs

    starting: ending: 22.07.2014 Location: , Category:

    Timeline

    Conference START 22.07.2014 END

    All deadlines have expired!

    This conference has no more open deadlines. There may be successive conferences coming up you may by interested in.

    Please check our conference list and search...

    Conference Facts

    Location , Address Karlsplatz 13 Category More Info Conference Website

    Further interesting Conferences

    Currently we have no similar events listed. Please check our website regulary, subscribe to our RSS-Feed or follow us on twitter for new listings.