Scrapbook
| |
|
♦ |
|
SAT 2023, Alghero, Italy |
| |
|
♦ |
|
SAT 2022, Haifa, Israel |
| |
|
♦ |
|
SAT 2019, Lisbon, Portugal |
| |
|
♦ |
|
SAT 2017, Melbourne, Australia |
| |
|
♦ |
|
SAT 2016, Bordeaux, France |
| |
|
♦ |
|
SAT 2015, Austin, Texas, USA |
| |
|
| |
|
♦ |
|
SAT 2014, Wien, Österreich |
| |
|
| |
|
♦ |
|
SAT 2013, Helsinki, Finland |
| |
|
| |
|
♦ |
|
SAT 2012, Trento, Italia |
| |
|
| |
|
♦ |
|
SAT Interactions, 2012, Dagstuhl, Germany |
| |
|
| |
|
♦ |
|
SAT Conference, 2011, Ann Arbor, Michigan, USA |
| |
|
| |
banquet
awards
museum
bus trip
conference
riverfront
|
| |
|
♦ |
|
SAT Conference, 2009, Swansea, UK |
| |
|
| |
|
♦ |
|
SAT Next Generation SAT Solvers, 2009, Dagstuhl, Germany |
| |
|
| |
|
♦ |
|
SAT Conference, 2008, Guangzhou, China |
| |
|
| |
|
♦ |
|
SAT Symposium, 2006, Guangzhou, China |
| |
|
| |
|
♦ |
|
SAT Symposium, 2004, Guangzhou, China |
| |
|
| |
|
♦ |
|
SAT Algorithms Workshop, 2003, Dagstuhl, Germany |
| |
|
| |
|
♦ |
|
SAT Conference, 2002, Cincinnati, Ohio, USA |
| |
|
|
registrants |
| |
|
♦ |
|
SAT Conference, 2000, Renesse, The Netherlands |
| |
|
| |
See also this clickable picture for names and home pages of attendees
|
| |
|
♦ |
|
SAT Workshop, 1998, Paderborn, Germany |
| |
|
|
registrants |
| |
|
♦ |
|
SAT Workshop, 1998, Paderborn, Germany - 2nd view |
| |
|
|
registrants |
| |
|
♦ |
|
SAT Workshop, 1996, Siena, Italy |
| |
|
|
registrants |
| |
|
|
|
|