[SMT-LIB] SMT-LIB list moving to Google groups

[Cesare Tinelli]

Dear all,

Since we will soon lose access to the Mailman server that hosts this 
mailing list, effective immediately the list will be closed. The message 
archives will be available indefinitely at 
http://www.cs.nyu.edu/pipermail/smt-lib.

The role of this list will be taken by two new Google forums:

https://groups.google.com/d/forum/smt-lib and
https://groups.google.com/d/forum/smt-announce

the first dedicated to questions and technical discussions on the 
SMT-LIB standard and the second reserved for announcements relevant to 
the field (conferences, positions, etc.)

Every member of this list should receive two invitations shortly to join 
each of the two new forums.
If by mistake you do not, you can go to the forum's website and ask to 
join.

Best,


The SMT-LIB coordinators