sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT and EATCSIEEE Computer Societyc2008
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer ScienceIEEE Computer Societyc2008
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]IEEE Computer Societyc2006
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT and EATCSIEEE Computer Societyc2007
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT and EATCSIEEE Computer Societyc2006
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACTIEEE Computer Societyc2005
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBMIEEE Computer Societyc2005
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT, EATCSIEEE Computer Societyc2003
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACTIEEE Computer Societyc2004
supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer ScienceIEEE Computer Societyc2010
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with SIGACT and EATCSIEEE Computer Societyc2002