Conference series Beta

International Conference on Theory and Applications of Satisfiability Testing

SAT

Events: 28 (2001 to 2026)
Website: http://satisfiability.org/
Academic field: Natural sciences: Computer and information sciences
Disciplines: boolean satisfiability problem, computer science, satisfiability
Identifier: https://id.confref.org/series/s10ahex

Events (28)

20012026

Year	No.	Event	Place	Date
2026	29	29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026	Lisbon
2025	28	28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, Glasgow, Scotland, August 12-15, 2025	Glasgow
2025		Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, the 28th International Conference on Theory and Applications of Satisfiability Testing and the 18th International Symposium on Combinatorial Search (CP 2025 & SAT 2025 & SoCS 2025), Glasgow, UK, August 10-11, 2025.	Glasgow
2024	27	27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024, Pune, India, August 21-24, 2024	Pune
2023	26	26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, Alghero, Italy, July 4-8, 2023	Alghero
2022	25	25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, Haifa, Israel, August 2-5, 2022	Haifa
2021	24	Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings	Barcelona
2020	23	Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings	Alghero
2019	22	Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings SAT	Lisbon	2019-07-09/12
2018	21	Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings SAT	Oxford	2018-07-09/12
2017	20	International Conference on Theory and Applications of Satisfiability Testing SAT 2017, SAT	Melbourne	2017-08-28 to 2017-09-01
2016	19	International Conference on Theory and Applications of Satisfiability Testing SAT 2016, SAT	Bordeaux	2016-07-05/08
2015	18	International Conference on Theory and Applications of Satisfiability Testing SAT 2015, SAT	Austin	2015-09-24/27
2014	17	International Conference on Theory and Applications of Satisfiability Testing SAT 2014, SAT	Vienna	2014-07-14/17
2013	16	International Conference on Theory and Applications of Satisfiability Testing SAT	Helsinki	2013-07-08/12
2012	15	International Conference on Theory and Applications of Satisfiability Testing SAT 2012, SAT	Trento	2012-06-17/20
2011	14	International Conference on Theory and Applications of Satisfiability Testing SAT 2011, SAT	Ann Arbor	2011-06-19/22
2010	13	International Conference on Theory and Applications of Satisfiability Testing SAT 2010, SAT	Edinburgh	2010-07-11/14
2009	12	International Conference on Theory and Applications of Satisfiability Testing SAT 2009, SAT	Swansea	2009-06-30 to 2009-07-03
2008	11	International Conference on Theory and Applications of Satisfiability Testing SAT	Guangzhou	2008-05-12/15
2007	10	International Conference on Theory and Applications of Satisfiability Testing SAT	Lisbon	2007-05-28/31
2006	9	International Conference on Theory and Applications of Satisfiability Testing SAT 2006, SAT	Seattle	2006-08-12/15
2005	8	International Conference on Theory and Applications of Satisfiability Testing SAT	St Andrews	2005-06-19/23
2004	7	International Conference on Theory and Applications of Satisfiability Testing SAT	Vancouver	2004-05-10/13
2004		SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings SAT	Vancouver	2004-01-01
2004	7	Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers	Vancouver
2003	6	International Conference on Theory and Applications of Satisfiability Testing SAT 2003, SAT	Santa Margherita Ligure	2003-05-05/08
2001		Theory and Applications of Satisfiability Testing SAT	Boston	2001-01-01

The events on the map · in the search · calendar of coming events

Ratings

As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.

System	Value	Date	Dataset
CCF	C	2017-04-06	ratings-springer-lod
CORE	A	2017-04-06	ratings-springer-lod
GII-GRIN-SCIE	B	2017-04-06	ratings-springer-lod
h5-index	22	2017	ratings-springer-lod · source
h5-median	37	2017	ratings-springer-lod · source
Qualis	B	2017-04-06	ratings-springer-lod

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/confseries/sat`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/sat`
Wikidata	`http://www.wikidata.org/entity/Q104594680`
dblp	`https://dblp.org/streams/conf/sat`
GND	`https://d-nb.info/gnd/1092249435`

Cite

International Conference on Theory and Applications of Satisfiability Testing. confref identifier s10ahex. https://id.confref.org/series/s10ahex

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.