Roussanka Loukanova

Research Areas / CV and Publications / Current Grants / Talks / Conferences / Editor

Since 19 August 2019, my work is at the Department of Algebra and Logic, Institute of Mathematics and Informatics (IMI), Bulgarian Academy of Sciences (BAS), Sofia, Bulgaria.

Between 1 October 2014 and 30 June 2018, I was a guest lecturer and researcher in the group of Mathematical Logic, Department of Mathematics, Stockholm University. We continue research cooperation.

Previously, I taught courses in the areas of mathematics, logic, computability, computer science, and computational linguistics, at Sofia University, Indiana University, University of Minnesota, Illinois Wesleyan University, Uppsala University, and Stockholm University.

Research Areas

My expertise is on computational theories from the areas of Mathematical Logic, Theory of Computation, and their foundations of Computer Science and other computational sciences. Primarily, my research has been on theoretical developments for applications to syntax-semantics interfaces in formal and natural languages, from the perspective of their nature and applications to technologies and computational sciences.

Type-Theoretic approaches to information theory and information processing
- Dependent-Type Theory of Situated Information
- Type-Theory of Algorithms
Recursion Theory
Computational Syntax --- classic and new theories of formal and natural languages
Automata Theory
Mathematical and Computational Linguistics
Computational Semantics of Formal and Natural Languages
Computational Syntax-Semantics Interfaces in Formal and Natural Languages
Partiality, underspecification, and dependency on situations, context, and agents, in information and languages
Generalised Computational Grammar of Natural Language --- covering lexicon and syntax-semantics interface
Type-Theoretic Grammars
Constraint Based Lexicalized Grammar (CBLG) of Natural Language
Bio-inspired Computational Theories of Information and Language --- theory of computation, including classic and new theories of languages and automata; Computational models of information and languages based on their biological phenomena, via SynSem interfaces
Type-Theoretic Approach to Computational Neuroscience of Information and Language --- based on theory of computation, including classic and new theories of languages and automata
Artificial Intelligence

to top

Academic Bio: CV and Publications

a brief version of my Curriculum Vitae (cv.pdf)
a full version of my Curriculum Vitae (cv-full.pdf)
Publications and Ongoing Work (publications.pdf) including hyperlinks to publications and PDFs of some pre-prints

to top

Research Association and Current Grants

Department of Algebra and Logic, Institute of Mathematics and Informatics (IMI), Bulgarian Academy of Sciences, Sofia, Bulgaria
Associated researcher and cooperation: the group in Mathematical Logic, Department of Mathematics, Stockholm University
Project: COST Action European Research Network on Formal Proofs (EuroProofNet) CA20111, 11 October 2021 -- 10 October 2025
The main proposer and the leader of EuroProofNet is Frédéric Blanqui. I'm a secondary proposer, together with colleagues from other countries:
https://www.cost.eu/actions/CA20111/
https://europroofnet.github.io/
I'm happily proud that I am:
- elected as a member of the Management Committee (MC) of EuroProofNet
- elected as (1) the vice-leader and (2) the leader (from 18 Oct 2024) of WG6: Type Theory
- assigned in the following Working Groups (WGs) of EuroProofNet:
By having years of work experience with mathematical logic, theories of computation, automatic provers, verification, CompLing, etc., applications of math logic, I can definitely confirm:
- EuroProofNet is a unique project, historically the first one, by its significance for joining work and efforts of the entire Europe, on
  - new directions of Mathematical Logic and its applications
  - developments of theories and applications, for safe, secure life and work, in Europe and, thus, in the entire world
to top
Some Talks
- Algorithmic Syntax-Semantics with the Type Theory of Acyclic Algorithms. Women in Formal Math and Women in EuroProofNet. Hausdorff Research Institute for Mathematics, Bonn, Germany July 6--7, 2024. https://europroofnet.github.io/women-epn-2024/
  http://www.math.bas.bg/logic/loukanovarp/Roussanka-Loukanova-Bonn2024Jul6.pdf
- Type-Theory of Algorithms with Chain-Free Memory. 21st International Conference on Distributed Computing and Artificial Intelligence (DCAI) 2024. University of Salamanca, Spain, 26th-28th June, 2024 https://www.dcai-conference.net
- Semantics of Propositional Attitudes in Type-Theory of Algorithms. Proof Systems for Mathematics and Verification. EPFL, Lausanne, Switzerland. June 14-15, 2024. https://proofs.swiss/ps/2024/
- Relations between let-Terms of Lambda-Calculus and where-Terms of Type-Theory of Recursion. At: European Research Network on Formal Proofs (EuroProofNet) CA20111; WG6 Type Theory: WG6 meeting in Leuven, Belgium, 4--5 April 2024.
  https://europroofnet.github.io/wg6-leuven/
  https://europroofnet.github.io/wg6-leuven/programme/#loukanova
- Semantics of Propositional Attitudes in Type-Theory of Algorithms. Seminar of Algebra and Logic. Institute of Mathematics and Informatics (IMI), Bulgarian Academy of Sciences (BAS). Nov 24, 2023. http://www.math.bas.bg/algebra/seminarAiL/2023/No18_2023_11_24_R_Loukanova/Abstract-Loukanova-propat-tta-2023-11-24.pdf
- Semantics of Propositional Attitudes in Type-Theory of Algorithms. At the 20th International Workshop of Logic and Engineering of Natural Language Semantics 20 (LENLS20). Hosted by The Association for Logic, Language and Information (FoLLI). 18–20 November, 2023.
  https://lenls.github.io/lenls20/#program
- Rendering Natural Language of Mathematical Texts into Formal Language (Invited Talk) [slides on the website] (https://europroofnet.github.io/cambridge-2023/#loukanova)
- Logic Operators and Quantifiers in Type-Theory of Algorithms. at: International Conference Logic and Engineering of Natural Language Semantics 19 (LENLS19). 19--20 November, 2022. Hosted by The Association for Logic, Language and Information (FoLLI). (https://lenls.github.io/lenls19/)
- Logic Operators and Quantifiers in Type-Theory of Algorithms. (on extended work) at: Seminar of Algebra and Logic. Institute of Mathematics and Informatics (IMI), Bulgarian Academy of Sciences (BAS). Nov 25, 2022. (abstract)
- Algorithmic Dependent-Type Theory of Situated Information and Context Assessments. 19th International Conference on Distributed Computing and Artificial Intelligence L'Aquila (Italy), 13th--15th July, 2022. (pdf)
- Dependent-Type Theory of Situated Information with Context Assessments. Seminar of Algebra and Logic, Department of Algebra and Logic, Institute of Mathematics and Informatics (IMI), Bulgarian Academy of Sciences (BAS), Bulgaria, Online, 24 Jun 2022 (abstract) / (slides at IMI, pdf) / (slides at SU, pdf)
- Restricted Quantification in New Type-Theory of Algorithms. Seminar of Algebra and Logic, Department of Algebra and Logic, Institute of Mathematics and Informatics (IMI), Bulgarian Academy of Sciences (BAS), Bulgaria, Online, 03 Dec 2021 2021 abstract / slides at IMI (pdf) / slides (pdf) / seminar AiL 2021, IMI, BAS / seminar AiL, IMI, BAS
- Reduction Calculus of Type-Theory of Acyclic Algorithms, I--II, Seminar of Algebra and Logic, Department of Algebra and Logic, Institute of Mathematics and Informatics (IMI), Bulgarian Academy of Sciences (BAS), Bulgaria, Online, 29 Jan, 5 Feb 2021 abstract / slides at IMI (pdf) / slides (pdf)
- Type-Theory of Parametric Algorithms, 2020 Annual Report Session of the Department of Algebra and Logic, Institute of Mathematics and Informatics (IMI), Bulgarian Academy of Sciences (BAS), Bulgaria, Online, 18 Dec 2020 (pdf) / at IMI (pdf)
- Type-Theory of Acyclic Algorithms for Semantics of Natural Languages, 56th Linguistics Colloquium, Nov 26--28 2020 (pdf)
- Algorithmic Dependent-Type Theory of Situated Information, 56th Linguistics Colloquium, Nov 26--28 2020 (pdf)
- Type-Theory of Parametric Algorithms with Restricted Computations, Distributed Computing and Artificial Intelligence, 17th International Conference. DCAI 2020. ONLINE, 7th-9th October, 2020 ONLINE 11:45am - 12:00pm, Oct 9
- Type-Theory of Acyclic Recursion and its Reduction Calculus, Seminar of Algebra and Logic, Department of Algebra and Logic, Institute of Mathematics and Informatics , Bulgarian Academy of Sciences (BAS), 30 August 2019
- Relations between Specified and Underspecified Quantification by Moschovakis's Theory of Acyclic Recursion, Logic, Language, and Mind seminar (CLLAM), Department of Philosophy, Stockholm University, 15 March 2019
- Type-Theory of Acyclic Algorithms with Generalised Immediate Terms. 11th International Conference on Agents and Artificial Intelligence (ICAART 2019). Knowledge Representation and Reasoning. ICAART 2019, 19--21 January 2019, Prague, Czech Republic
- Formalisation of Situated Dependent-Type Theory with Underspecified Assessments. Decision Economics. Designs, Models, and Techniques for Boundedly Rational Decisions. DCAI 2018. 20--23 June 2018, Toledo, Spain
- Syntax-Semantics Interfaces of Modifiers. Distributed Computing and Artificial Intelligence, 15th International Conference. DCAI 2018. Special Session on Complexity in Natural and Formal Languages (CNFL). 20--23 June 2018, Toledo, Spain
- Type-theory of acyclic recursion and its calculi. Second Workshop on Mathematical Logic and its Applications, 5--9 March 2018, Kanazawa, Japan
- Gamma-star Reduction in the Type-theory of Acyclic Recursion. 10th International Conference on Agents and Artificial Intelligence, ICAART 2018, 16--18 January, 2018 - Funchal, Madeira, Portugal
- Moschovakis Acyclic Recursion and its Reduction Calculi, at Mini-Symposium: CORCON 4Dec17. Department of Mathematics and Statistics, University of Canterbury, Christchurch, New Zealand. 4 December 2017
- Semantic Argument Slots in the Type-Theory of Acyclic Recursion and Syntax-Semantics Interfaces in CBLG, at Logic and Engineering of Natural Language Semantics 14 (LENLS 14) a workshop of the JSAI International Symposia on AI (isAI2017)
- Invited talk: Algorithmic Concepts of Situated Information, at the Symposium Possible Worlds: Problems and Prospects at the Ninth European Congress of Analytic Philosophy (ECAP9), 21--26 August 2017, Munich
- Talk: Type Theory of Situated Information, at Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing17), Stockholm, August 26, 2017
- Talk: Type Theory of Situated Algorithms (TTofSitAlg), at New Worlds of Computation (NWC 2017) and Journées Calculabilités, 12--14 Apr 2017, Orléans, France
- Speaker at: Situations, Information, and Semantic Content, Munich Center for Mathematical Philosophy (MCMP), LMU, Ludwig-Maximilians-Universität München, 16--18 December, 2016
- Tutorial: Higher-Order Situation Theory in Artificial Intelligence at the International Conference on Agents and Artificial Intelligence - ICAART 2016 | Tutorials
to top
Organization, Conference Events
- EuroProofNet Symposium, Orsay, 2025 Sep 8-19 https://europroofnet.github.io/Symposium/
  - School on Logical Frameworks and Proof Systems Interoperability (LFPSI)
  - Workshop on Automated Theorem Proving and Proof Logging
  - Workshop on Large Proof Libraries
  - Conference on Mathematical and Computational Linguistics for Proofs (MathCompLingP / MCLP)
  - Workshop on Program Verification
- The founder and a chair of the series of the Symposium Logic and Algorithms in Computational Linguistics (LACompLing)
  - Symposium Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021),
    part of a week on Mathematical Linguistics (MALIN) 2021, Montpellier, 13--17 December 2021
  - Symposium Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018), Stockholm, 28--31 August 2018
  - Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017), Stockholm, August 16--19, 2017
- Logic in Stockholm 2017
  - NLS Summer School in Logic 2017, Stockholm, 7--11 August, 2017
  - Logic Colloquium 2017, Stockholm, 14--20 August, 2017
  - Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017), Stockholm, August 16--19, 2017
  - Computer Science Logic CSL'2017, Stockholm, August 20--24, 2017
- The founder, chair, and organizer together with Sara Rodríguez González (University of Salamanca) of:
  Special Session on Computational Linguistics, Information, Reasoning, and AI (CLIRAI) / (CompLingInfoReasAI) at the International Conference on Distributed Computing and Artificial Intelligence, DCAI
- A general co-chair of the federated conferences of Mathematical Linguistics (MALIN) 2021, Montpellier, 13--17 December 2021
- The founder and a chair of the Special Session on Natural Language Processing in Artificial Intelligence - NLPinAI, within the International Conference on Agents and Artificial Intelligence - ICAART
  LLMaNLPinAI and NLPinAI are continuation of the series PUaNLP 2015--2017 at ICAART.
  - LLMaNLPinAI 2024 is part of the main conference ICAART 2024, Rome, Italy, 24--26 February 2024. Technical Program:
    Large Language Models & Natural Language Processing in Artificial Intelligence - LLMaNLPinAI 2024
    Zoom co-chairing: ICAART24-3B: Oral Presentations: Large Language Models (LLMs)
    Sunday, February 25th, 2024 09:00 - 10:30
  - Special Session on Natural Language Processing in Artificial Intelligence - NLPinAI 2023, within the International Conference on Agents and Artificial Intelligence, ICAART 2023, 22--24 February 2023 --- Lisbon, Portugal
  - Special Session on Natural Language Processing in Artificial Intelligence - NLPinAI 2022, within the International Conference on Agents and Artificial Intelligence, ICAART 2022, 3--5 February 2022, Online Streaming
  - Special Session on Natural Language Processing in Artificial Intelligence - NLPinAI 2021, within the International Conference on Agents and Artificial Intelligence, ICAART 2021, 4-6 February 2021 - Online Streaming
  - Special Session on Natural Language Processing in Artificial Intelligence - NLPinAI 2020, within the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, Valletta, Malta, 22--24 February, 2020
  - Special Session on Natural Language Processing in Artificial Intelligence - NLPinAI 2019, within the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, 19--21 February, 2019 - Prague, Czech Republic
  - Special Session on Natural Language Processing in Artificial Intelligence - NLPinAI 2018, within the 10th International Conference on Agents and Artificial Intelligence, ICAART 2018, 16--18 January, 2018 - Funchal, Madeira, Portugal
- The founder and a co-chair of Special Session on Partiality, Underspecification, and Natural Language Processing - PUaNLP at International Conference on Agents and Artificial Intelligence - ICAART
  - Special Session on Partiality, Underspecification, and Natural Language Processing - PUaNLP 2017, within the International Conference on Agents and Artificial Intelligence - ICAART 2017, Porto, Portugal | 24--26 February, 2017
  - Special Session on Partiality, Underspecification, and Natural Language Processing - PUaNLP 2016, within the International Conference on Agents and Artificial Intelligence - ICAART 2016, Rome, Italy | 24--26 February, 2016
  - Special Session on Partiality, Underspecification, and Natural Language Processing - PUaNLP 2015 (co-organizer and co-chair) within the International Conference on Agents and Artificial Intelligence - ICAART 2015
- 4th International Workshop on AI aspects in Reasoning, Languages, and Computation 2019 (AIRLangComp'19), Leipzig, Germany, 1--4 September, 2019 (Continuation of AIRIM'18)
- 3rd International Workshop on AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18), at the 13th International Symposium Advances in Artificial Intelligence and Applications (AAIA'18), Poznań, Poland, 9--12 September, 2018
- 2nd International Workshop on AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17), at the 12th International Symposium Advances in Artificial Intelligence and Applications (AAIA'17), Prague, Czech Republic, 3--6 September, 2017
- 1st International Workshop on AI aspects of Reasoning, Information, and Memory 2016 (AIRIM'16), at the 11th International Symposium Advances in Artificial Intelligence and Applications (AAIA'16), Gdansk, Poland, 11--14 September, 2016
- IEEE TENCON 2015 track chair; Special Session S2 - Languages, Information, and Computational Intelligence - (co-chair and PC member)
to top
Editor
1. Roussanka Loukanova, Peter LeFanu Lumsdaine, Reinhard Muskens (Editors). Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021). Part of the book series: Studies in Computational Intelligence (SCI, volume 1081) Publisher: Springer Cham. eBook ISBN 978-3-031-21780-7 Published: 11 March 2023. Hardcover ISBN 978-3-031-21779-1 Published: 12 March 2023. Softcover ISBN 978-3-031-21782-1 Due: 26 March 2024. DOI: https://doi.org/10.1007/978-3-031-21780-7
2. Distributed Computing and Artificial Intelligence, Special Sessions I, 21st International Conference (DCAI 2024). Part of the book series: Lecture Notes in Networks and Systems (LNNS). 2024. Publisher: Springer Cham. to appear: https://link.springer.com/book/9783031764585#bibliographic-information
3. Mehmood, R., Alves, V., Praca, I., Wikarek, J., Parra, J., Loukanova, R., de Miguel, I., Pinto, T., Nunes, R., Ricca, M. (Editors). Distributed Computing and Artificial Intelligence, Special Sessions I, 20th International Conference. Part of the book series: Lecture Notes in Networks and Systems (LNNS). Volume 741. 2023. Publisher: Springer Cham. DOI https://doi.org/10.1007/978-3-031-38318-2
4. Machado, J.M., Chamoso, P., Hernández G., Bocewicz G., Loukanova, R., Jove, E., del Rey, A. M., Ricca, M. (Editors). Book Title: Distributed Computing and Artificial Intelligence, Special Sessions, 19th International Conference. Series: Lecture Notes in Networks and Systems (LNNS, volume 585). 2023. DOI: https://doi.org/10.1007/978-3-031-23210-7 Publisher: Springer Cham.
5. González, S.R., Machado, J.M., González-Briones, A., Wikarek, J., Loukanova, R., Katranas, G., Casado-Vara, R. (Editors): Distributed Computing and Artificial Intelligence. Volume 2: Special Sessions 18th International Conference. Series: Lecture Notes in Networks and Systems. Volume 332. 2022. Springer International Publishing. eBook ISBN 978-3-030-86887-1 Series ISSN 2367-3370. DOI: https://doi.org/10.1007/978-3-030-86887-1
6. Ljungström, Axel; Loukanova, Roussanka; Lumsdaine, Peter LeFanu; Muskens, Reinhard (Editors). Proceedings of the SymposiumLogic and Algorithms in Computational Linguistics 2021 (LACompLing2021). Publisher: Stockholm University, 2021, DiVA Portal for Digital Publications
  http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-200167
  https://su.diva-portal.org/smash/record.jsf?pid=diva2:1623904
7. Roussanka Loukanova (Editor). Natural Language Processing in Artificial Intelligence — NLPinAI 2021. Book series Studies in Computational Intelligence book series (SCI), Volume 999. Publisher: Springer, Cham. Hardcover ISBN 978-3-030-90137-0. Softcover ISBN 978-3- 030-90140-0. eBook ISBN 978-3-030-90138-7. DOI: https://doi.org/10.1007/978-3-030-90138-7
8. Roussanka Loukanova (Editor). Natural Language Processing in Artificial Intelligence — NLPinAI 2020. Book series Studies in Computational Intelligence book series (SCI), Volume 939. Publisher: Springer, Cham. Hardcover ISBN 978-3-030-63786-6. Softcover ISBN 978-3- 030-63789-7. eBook ISBN 978-3-030-63787-3. DOI: https://doi.org/10.1007/978-3-030-63787-3
9. Sara Rodríguez González, Alfonso González-Briones, Arkadiusz Gola, George Katranas, Michela Ricca, Roussanka Loukanova, Javier Prieto (Editors). Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference. DCAI 2020. Book series: Advances in Intelligent Systems and Computing. Springer, Cham. ISBN: 978-3-030-53828-6 DOI: 10.1007/978-3-030-53829-3
  https://doi.org/10.1007/978-3-030-53829-3
  NLA’20 Front Matter, Pages 49-51: https://link.springer.com/content/pdf/bfm%3A978-3-030-53829-3%2F2%2F1.pdf
10. Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller (Editors). AI Aspects in Reasoning, Languages, and Computation. Book series: Studies in Computational Intelligence (SCI). 2020. (First Online: 01 October 2019) Volume 889. Springer International Publishing, Cham. ISBN 978-3-030-41424-5 ISBN 978-3-030-41425-2 (eBook)
  https://doi.org/10.1007/978-3-030-41425-2
11. Roussanka Loukanova (Editor). Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018). 2020. Book series: Studies in Computational Intelligence (SCI). Volume 860. Springer International Publishing, Cham. ISBN 978-3-030-30077-7 (eBook) ISBN 978-3-030- 30076-0 (Hardcover) https://doi.org/10.1007/978-3-030-30077-7
12. Journal of Logic, Language and Information. Roussanka Loukanova and Michael Moortgat (Editors). Volume 28, Issue 2, June 2019 Special Issue: Logic and Algorithms in Computational Linguistics 2017. Springer Netherlands. ISSN: 0925-8531 (Print) 1572-9583 (Online)
  https://link.springer.com/journal/10849/28/2
13. Krasimir Angelov, Kristina Liefke, Roussanka Loukanova, Michael Moortgat, Satoshi Tojo (Editors). Proceedings of the Symposium on Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018). Publisher: Stockholm: Stockholm University, 2018. Identifiers: URN: urn:nbn:se:su:diva-160428; OAI: oai:DiVA.org:su-160428; DiVA, id: diva2:1250462
  https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-160428
  https://su.diva-portal.org/smash/record.jsf?pid=diva2%3A1250462&dswid=-7690
14. Roussanka Loukanova and Kristina Liefke (Editors). Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017). Publisher: Stockholm: Stockholm University, 2017. Identifiers: URN: urn:nbn:se:su:diva-146800; OAI: oai:DiVA.org:su-146800; DiVA: diva2:1140018
  https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-146800
  https://su.diva-portal.org/smash/record.jsf?pid=diva2%3A1140018&dswid=6070
15. H. Christiansen, M. D. Jiménez-López, R. Loukanova, L.S. Moss (Editors). Partiality and Underspecification in Information, Languages, and Knowledge. 2017. Cambridge Scholars Publishing. ISBN (13) 978-1-4438-7947-7; (10) 1-4438-7947-9
  https://www.cambridgescholars.com/product/978-1-4438-7947-7
to top
Roussanka Loukanova
Last modified: Wed Oct 23 14:44:24 CEST 2024