DOMAINS :: SMT-LIB :: updates coming

[QPQ]

Forums QPQ
DOMAINS :: SMT-LIB ::.. updates coming

tinelli wrote at Jul 26, 2004 - 11:37 AM
---------------------------------------------------------------------
Hi everybody,

the next few messages will contain a few updates on the SMT-LIB initiative.

As you may recall, last April we moved this discussion list to a discussion forum of the QPQ website (www.qpq.org).  We asked each of you then to create an account for yourself on the QPQ site and add the SMT-LIB forum to your list.
Since only some of you seem to have done that, we urge the others to do so asap so we can retire the mailing list smt-disc at cs.uiowa.edu for good.
(If you do not wish to receive SMT-LIB related email anymore please let Cesare know and he'll remove your address from the list.)

Best,


Silvio and Cesare



---------------------------------------------------------------------

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

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

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