default search action

combined dblp search
author search
venue search
publication search

ask others

International Symposium on Frontiers of Combining Systems (FroCoS)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

is part of (every other year): International Joint Conference on Automated Reasoning (IJCAR)

14th FroCoS 2023: Prague, Czech Republic

- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2023
Uli Sattler, Martin Suda:
Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14279, Springer 2023, ISBN 978-3-031-43368-9 [contents]

13th FroCoS 2021: Birmingham, UK

- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2021
Boris Konev, Giles Reger:
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings. Lecture Notes in Computer Science 12941, Springer 2021, ISBN 978-3-030-86204-6 [contents]

12th FroCoS 2019: London, UK

- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2019
Andreas Herzig, Andrei Popescu:
Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings. Lecture Notes in Computer Science 11715, Springer 2019, ISBN 978-3-030-29006-1 [contents]

11th FroCoS 2017: Brasilia, Brazil

- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2017
Clare Dixon, Marcelo Finger:
Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Lecture Notes in Computer Science 10483, Springer 2017, ISBN 978-3-319-66166-7 [contents]

10th FroCoS 2015: Wroclaw, Poland

- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2015
Carsten Lutz, Silvio Ranise:
Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings. Lecture Notes in Computer Science 9322, Springer 2015, ISBN 978-3-319-24245-3 [contents]

9th FroCoS 2013: Nancy, France

- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2013
Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt:
Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Lecture Notes in Computer Science 8152, Springer 2013, ISBN 978-3-642-40884-7 [contents]

8th FroCoS 2011: Saarbrücken, Germany

- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2011
Cesare Tinelli, Viorica Sofronie-Stokkermans:
Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings. Lecture Notes in Computer Science 6989, Springer 2011, ISBN 978-3-642-24363-9 [contents]

7th FroCoS 2009: Trento, Italy

- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2009
Silvio Ghilardi, Roberto Sebastiani:
Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings. Lecture Notes in Computer Science 5749, Springer 2009, ISBN 978-3-642-04221-8 [contents]

6th FroCoS 2007: Liverpool, UK

- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2007
Boris Konev, Frank Wolter:
Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Lecture Notes in Computer Science 4720, Springer 2007, ISBN 978-3-540-74620-1 [contents]

5th FroCoS 2005: Vienna, Austria

- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2005
Bernhard Gramlich:
Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings. Lecture Notes in Computer Science 3717, Springer 2005, ISBN 3-540-29051-6 [contents]

4th FroCoS 2002: Santa Margherita Ligure, Italy

- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2002
Alessandro Armando:
Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings. Lecture Notes in Computer Science 2309, Springer 2002, ISBN 3-540-43381-3 [contents]

3rd FroCoS 2000: Nancy, France

- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2000
Hélène Kirchner, Christophe Ringeissen:
Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings. Lecture Notes in Computer Science 1794, Springer 2000, ISBN 3-540-67281-8 [contents]

2nd FroCoS 1998: Amsterdam, The Netherlands

- view
- export record
  dblp key:
  - conf/frocos/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/1998
Dov M. Gabbay, Maarten de Rijke:
Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings. Research Studies Press/Wiley 1998 [contents]

1st FroCoS 1996: Munich, Germany

- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/frocos/1996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/1996
Franz Baader, Klaus U. Schulz:
Frontiers of Combining Systems, First International Workshop FroCoS 1996, Munich, Germany, March 26-29, 1996, Proceedings. Applied Logic Series 3, Kluwer Academic Publishers 1996, ISBN 0-7923-4271-2 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.