[SMT-LIB] SMT 2008

Clark Barrett barrett at cs.nyu.edu
Wed Nov 7 18:52:25 EST 2007


Dear SMT community,

Thank you to those of you who participated in the survey.  The results were
overwhelmingly in favor of having SMT at CAV next year.  With this in mind, we
submitted a proposal to CAV and it was accepted.  SMT Workshop will be held as
a two-day tutorial at Princeton, NJ, USA, preceeding CAV (July 7-8).  SMT-COMP
will also run during CAV as in years past.  More information about both of
these events will be available as they draw closer.

For those of you who are interested in the results of the survey, they are
summarized below.  We will take these preferences into account as much as
possible and will encourage a broader discussion during SMT 2008.

Clark Barrett and Leonardo de Moura
SMT 2008 chairs

-------------------------------------------------------------------------------
Survey Results

Number of respondents: 35

Location: CAV:      24
          IJCAR:     9
          Separate:  1
          No pref:   1

Duration: 1 day  :   9
          2 days :  23
          No pref:   3

Archive:  Online:   20
          Informal: 11
          Formal:    3
          No pref:   1

Steering: Yes:      26
          No:        5
          No pref:   4

Kinds of submissions (average score):

  Extended Abstracts:       4.34
  Original Papers:          4.37
  Presentation-only Papers: 3.17

Note: it's tempting to guess that there might be a correlation between those
who prefer CAV and those who prefer 2 days, but this is not actually the case:
i.e. the 24 who prefer CAV are split among 16 who prefer 2 days, 5 who prefer 1
day, and 3 with no preference.


More information about the SMT-LIB mailing list