Roussanka Loukanova

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, and since July 1, 2018, I'm in research cooperation with the group of Mathematical Logic, Department of Mathematics, Stockholm University.

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
• 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
• A Type-Theoretic Approach to Computational Neuroscience of Information and Language --- based on theory of computation, including classic and new theories of languages and automata
• Computational models of information and languages based on their biological phenomena
• Artificial Intelligence

Academic Bio

• 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

Research Activities

• Department of Algebra and Logic, Institute of Mathematics and Informatics (IMI), Bulgarian Academy of Sciences, Sofia, Bulgaria
• Associated researcher at 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 the vice-leader of WG6: Type theory, work group of EuroProofNet
  • assigned in the following Working Groups (WGs) of EuroProofNet:
  • WG1: Tools for proof systems interoperability
  • WG2: Automated theorem provers
  • WG3: Program verification
  • WG6: Type theory
  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

  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) DOI https://doi.org/10.1007/978-3-031-21780-7 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.
  2. 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
  3. 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.
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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

  Organization, Conference Events

  • 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, chair, and organizer together with Sara Rodríguez, University of Salamanca, Salamanca, Spain Special Session on Computational Linguistics, Information, Reasoning, and AI (CLIRAI) / (CompLingInfoReasAI) at the International Conference on Distributed Computing and Artificial Intelligence, DCAI
    • Special Session on Computational Linguistics, Information, Reasoning, and AI (CLIRAI)
      at the International Conference on Distributed Computing and Artificial Intelligence, DCAI'23
      Guimarães, Portugal, 12--14 July 2023
    • Special Session on Computational Linguistics, Information, Reasoning, and AI 2022 (CompLingInfoReasAI'22) at the 19th International Conference on Distributed Computing and Artificial Intelligence 2022, DCAI'22, L'Aquila (Italy) - Hybrid, within PAAMS'22, 13--15 July, 2022 DCAI
    • Special Session on Computational Linguistics, Information, Reasoning, and AI 2021 (CompLingInfoReasAI'21) at the 18th International Conference on Distributed Computing and Artificial Intelligence 2021, DCAI'21, Salamanca, Spain, within PAAMS'21, 6--8 October, 2021
  • 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 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
  • 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
  • Special Session on Natural Language and Argumentation 2020 (NLA'20) at the 17th International Conference on Distributed Computing and Artificial Intelligence DCAI'20, L'Aquila (Italy), 7th-9th October, 2020
  • 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
  • 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
  • Special Session on Logic, Information, Language, Memory, Reasoning 2017 - LogInfoLangMR17, Polytechnic of Porto - Porto (Portugal) | 21st-23rd June, 2017
  • IEEE TENCON 2015 track chair; Special Session S2 - Languages, Information, and Computational Intelligence - LangInfoCompInt 2015 (co-chair and PC member)

  Some Talks

  • 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 (pdf)
  • 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

  ---

  Roussanka Loukanova
  Last modified: Sun Apr 14 12:22:12 CEST 2024

  ---