Symposium on Combinatorial Search
The Symposium on Combinatorial Search (SoCS) in an international conference aimed at bringing together researchers and all others interested in all fields that use combinatorial search, including artificial intelligence, planning, robotics, constraint programming, meta-reasoning, operations research, navigation, and bioinformatics.
In addition, the conference tries to strengthen the relation with other important areas of artificial intelligence. In recent years, there has been an emphasis on robotics, automated planning, big data, and meta-reasoning.
SoCS is also an unincorporated non-profit volunteer association organized in New Hampshire (USA), with the purpose of promoting the study and understanding of combinatorial search and heuristic search algorithms among the public through the organization of scientific meetings, publications, tutorials, and other public scientific and educational activities.
History
The First Symposium on Combinatorial Search was held in Chicago (Illinois, USA) in 2008 as a result of various workshops that were held in previous conferences, mainly IJCAI, AAAI and ICAPS. Since then, it has been held every year, always in association with a larger event.
Although the first three symposia were held in the United States, SoCS rotates around the world, being co-located near whichever major conference the organizers target. Papers from the first two symposia (2008 and 2009) are available on the web. Since SoCS 2010, the symposium has published with AAAI Press and all accepted papers can be found in the AAAI Digital Library.[1][2][3][4][5][6]
List of past conferences
Conference | Year | City | Country | Date |
---|---|---|---|---|
SoCS 2015 | 2015 | Ein Gedi | Israel | June 11-13 |
SoCS 2014 | 2014 | Prague | Czech Republic | August 15-17 |
SoCS 2013 | 2013 | Leavenworth (Washington) | USA | July 11-13 |
SoCS 2012 | 2012 | Niagara Falls | Canada | July 19-21 |
SoCS 2011 | 2011 | Barcelona | Spain | July 15–16 |
SoCS 2010 | 2010 | Atlanta (Georgia) | USA | July 8–10 |
SoCS 2009 | 2009 | Lake Arrowhead (California) | USA | July 8–10 |
SoCS 2008 | 2008 | Chicago (Illinois) | USA | July 13–14 |
Awards
Since 2011 until 2014, the Symposium on Combinatorial Search has been awarding the best paper, the best student paper, and the best Program Committee member.
Best paper
Conference | Authors | Title |
---|---|---|
SoCS 2015 | Álvaro Torralba and Peter Kissmann | Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink |
SoCS 2014 | Roni Stern, Scott Kiesel, Rami Puzis, Ariel Felner, Wheeler Ruml | Max Is More than Min: Solving Maximization Problems with Heuristic Search |
SoCS 2013 | Álvaro Torralba and Vidal Alcázar | Constrained Symbolic Search: On Mutexes, BDD Minimization and More |
SoCS 2012 | Guni Sharon, Roni Stern, Ariel Felner and Nathan Sturtevant | Meta-agent Conflict-Based Search For Optimal Multi-Agent Path Finding |
SoCS 2011 | Christer Bäckström and Peter Jonsson | All PSPACE-complete Planning Problems are Equal but some are more Equal than Others |
Best student paper
Conference | Authors | Title |
---|---|---|
SoCS 2015 | Dylan O'Ceallaigh and Wheeler Ruml | Metareasoning in Real-time Heuristic Search |
SoCS 2014 | Christopher Wilt, Wheeler Ruml | Speedy versus Greedy Search |
SoCS 2013 | Nicolás Rivera, León Illanes, Jorge Baier and Carlos Hernández Ulloa | Reconnecting with the Ideal Tree: An Alternative to Heuristic Learning in Real-Time Search |
SoCS 2012 | Jordan T. Thayer, J. Benton and Malte Helmert | Better Parameter-free Anytime Search by Minimizing Time Between Solutions |
SoCS 2011 | Lars Kotthoff, Ian Gent and Ian Miguel | A Critical Evaluation of Machine Learning in Algorithm Selection for Search Problems |
Best Program Committee member
Conference | PC member |
---|---|
SoCS 2015 | |
SoCS 2014 | Christer Bäckström |
SoCS 2013 | Jörg Hoffmann |
SoCS 2012 | Ethan Burns |
SoCS 2011 | Rob Holte |
References
- ↑ Felner, Ariel; Sturtevant, Nathan (2010). Proceedings of the Third Annual Symposium on Combinatorial Search. AAAI Press. External link in
|title=
(help). - ↑ Borrajo, Daniel; Likhachev, Maxim; Linares Lopez, Carlos (2011). Proceedings of the Fourth Annual Symposium on Combinatorial Search. AAAI Press. External link in
|title=
(help) - ↑ Borrajo, Daniel; Felner, Ariel; Korf, Richard; Likhachev, Maxim; Linares Lopez, Carlos; Ruml, Wheeler; Sturtevant, Nathan (2012). Proceedings of the Fifth Annual Symposium on Combinatorial Search. AAAI Press. External link in
|title=
(help) - ↑ Helmert, Malte; Röger, Gabriele (2013). Proceedings of the Sixth Annual Symposium on Combinatorial Search. AAAI Press. External link in
|title=
(help) - ↑ Edelkamp, Stefan; Barták, Roman (2014). Proceedings of the Seventh Annual Symposium on Combinatorial Search. AAAI Press. External link in
|title=
(help) - ↑ Lelis, Levi; Stern, Roni (2015). Proceedings of the Eighth Annual Symposium on Combinatorial Search. AAAI Press. External link in
|title=
(help)
External links
- International Symposium on Combinatorial Search (SoCS) with information of all SoCS events
- SoCS 2015
- SoCS 2014
- SoCS 2013
- SoCS 2012
- SoCS 2011
- SoCS 2010
- SoCS 2009
- SoCS 2008