Formal Languages and Automata Theory.

Artificial intelligence logic and applications = the 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings / by: (Language materials, printed)

Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings / by: (Language materials, printed)

Recent trends in algebraic development techniques = 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers / by: (Language materials, printed)

The semantic web = ESWC 2023 satellite events : Hersonissos, Crete, Greece, May 28 - June 1, 2023 : proceedings / by: (Language materials, printed)

Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings / by: (Language materials, printed)

Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings / by: (Language materials, printed)

Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings / by: (Language materials, printed)

Frontiers of combining systems = 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings / by: (Language materials, printed)

Automated reasoning with analytic tableaux and related methods = 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings / by: (Language materials, printed)

Flexible query answering systems = 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023 : proceedings / by: (Language materials, printed)

Automated deduction - CADE 29 = 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023 : proceedings / by: (Language materials, printed)

Intelligent computer mathematics = 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings / by: (Language materials, printed)

Machine learning and knowledge extraction = 7th IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023 : proceedings / by: (Language materials, printed)

Metadata and semantic research = 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022 : revised selected papers / by: (Language materials, printed)

Information processing and management of uncertainty in knowledge-based systems = 19th International Conference, IPMU 2022, Milan, Italy, July 11-15, 2022 : proceedings.. Part II / by: (Language materials, printed)

Information processing and management of uncertainty in knowledge-based systems = 19th International Conference, IPMU 2022, Milan, Italy, July 11-15, 2022 : proceedings.. Part I / by: (Language materials, printed)

Deriving priorities from incomplete fuzzy reciprocal preference relations = theories and methodologies / by: (Language materials, printed)

Developments in Language Theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings / by: (Language materials, printed)

Inductive Logic Programming = 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings / by: (Language materials, printed)

R-Calculus, II: Many-Valued Logics by: (Language materials, printed)

Artificial General Intelligence = 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15–18, 2021, Proceedings / by: (Language materials, printed)

Metadata and Semantic Research = 15th International Conference, MTSR 2021, Virtual Event, November 29 – December 3, 2021, Revised Selected Papers / by: (Language materials, printed)

Formal Analysis by Abstract Interpretation = Case Studies in Modern Protocols / by: (Language materials, printed)

Language, Logic, and Computation = 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / by: (Language materials, printed)

Logic-Based Program Synthesis and Transformation = 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings / by: (Language materials, printed)

Automata Theory and Formal Languages = Fundamental Notions, Theorems, and Techniques / by: (Language materials, printed)

Machine Learning and Knowledge Extraction = 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, Vienna, Austria, August 23–26, 2022, Proceedings / by: (Language materials, printed)

Automated Reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings / by: (Language materials, printed)

Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / by: (Language materials, printed)

Coalgebraic Methods in Computer Science = 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings / by: (Language materials, printed)

The Semantic Web: ESWC 2022 Satellite Events = Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings / by: (Language materials, printed)

Foundations of Information and Knowledge Systems = 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings / by: (Language materials, printed)

Information Processing and Management of Uncertainty in Knowledge-Based Systems = 19th International Conference, IPMU 2022, Milan, Italy, July 11–15, 2022, Proceedings, Part II / by: (Language materials, printed)

Information Processing and Management of Uncertainty in Knowledge-Based Systems = 19th International Conference, IPMU 2022, Milan, Italy, July 11–15, 2022, Proceedings, Part I / by: (Language materials, printed)

Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings / by: (Language materials, printed)

Implementation and Application of Automata = 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings / by: (Language materials, printed)

Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings / by: (Language materials, printed)

R-Calculus, III: Post Three-Valued Logic by: (Language materials, printed)

Formal Aspects of Component Software = 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings / by: (Language materials, printed)

Multigrammatical Framework for Knowledge-Based Digital Economy by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I / by: (Language materials, printed)

Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by: (Language materials, printed)

Open Semantic Technologies for Intelligent Systems = 11th International Conference, OSTIS 2021, Minsk, Belarus, September 16–18, 2021, Revised Selected Papers / by: (Language materials, printed)

Chinese Lexical Semantics = 22nd Workshop, CLSW 2021, Nanjing, China, May 15–16, 2021, Revised Selected Papers, Part I / by: (Language materials, printed)

Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / by: (Language materials, printed)

Knowledge Engineering and Knowledge Management = 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings / by: (Language materials, printed)

Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers / by: (Language materials, printed)

Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / by: (Language materials, printed)

Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / by: (Language materials, printed)

Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / by: (Language materials, printed)

Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / by: (Language materials, printed)

Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by: (Language materials, printed)

Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by: (Language materials, printed)

Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by: (Language materials, printed)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by: (Language materials, printed)

Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by: (Language materials, printed)