DOMAINS :: SMT-LIB :: News from PDPAR'04 and CAV'04

[QPQ]

Forums QPQ
DOMAINS :: SMT-LIB ::.. News from PDPAR'04 and CAV'04

tinelli wrote at Jul 26, 2004 - 05:36 PM
---------------------------------------------------------------------
I'm posting this for Ofer.

In the future ***please do not reply to SMT-LIB messages by email***,
otherwise they will not get archived.
Instead, follow the link at the bottom of the message to post your reply on the SMT-LIB forum of QPQ.
Thanks for your cooperation.

Cesare


Ofer Strichman wrote:
> As for the workshop next year: if there will be two days of workshops, it is
> better to have it not on the same day of the BMC'05 workshop (and probably
> others which I don't know about yet) as the sets of interested people in
> these workshops is not mutually exclusive.
> 
> Ofer
> 
---------------------------------------------------------------------

Reply to this message:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=reply&topic=47&forum=46

Browse thread:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=viewtopic&topic=47

You are receiving this Email because you are subscribed to be notified of events in forums at: http://www.qpq.org/