CEDAR 2008: submission deadline extended to June 2, 2008

[Viorica Sofronie-Stokkermans]

[please apologize for multiple copies]

***********************************************************************
*                          DEADLINE EXTENSION                         *
***********************************************************************
* Complexity, Expressibility, and Decidability in Automated Reasoning *
*                             (CEDAR'08)                              *
*          http://www.mpi-inf.mpg.de/~sofronie/cedar08.html           *
*                                                                     *
*   Affiliated with IJCAR 2008 Sydney, Australia, 10-15 August 2008   *
*                     http://www.ijcar.org/2008/                      *
*                                                                     *
***********************************************************************


The submission deadline for the workshop CEDAR'2008 has been extended
to June 2, 2008.

The goal of CEDAR is to bring together researchers interested in problems
that are at the interface between automated reasoning and computational
complexity, in particular in:

-  identifying decidable logical theories and fragments thereof which have
   low complexity, and analyzing possibilities of obtaining optimal
   complexity results with uniform tools;
-  analyzing decidability in combinations of theories and possibilities
   of combining decision procedures;
-  efficient implementations for decidable fragments;
-  application domains where decidability resp. tractability are crucial.

For details see: http://www.mpi-inf.mpg.de/~sofronie/cedar08.html