ITU

Programming Logic and Semantics

Organisational unit: Research Group

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Research Group Coordinator

Rasmus Ejlers Møgelberg (mogel@itu.dk)

Organisation profile

Programming, Logic and Semantics

The Programming, Logic and Semantics group is concerned with the foundation of programming languages. Where the Software Development Group focuses on specific programs and languages, this group focuses on fundamental research in computer science. With backgrounds in computer science, mathematics and philosophy the researchers have taken on one of the greatest challenges in computer science: to ensure that the software of the future is not riddled with errors. The main focus is on supplying stronger guarantees of programs working as intended from the start.

Visit the group’s own website:
https://pls.wikit.itu.dk/

  1. 2019
  2. Published

    Modal dependent type theory and dependent right adjoints

    Birkedal, L., Clouston, R., Mannaa, B., Møgelberg, R. E., M. Pitts, A. & Spitters, B., Dec 2019, In : Mathematical Structures in Computer Science. 21 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. Published

    Assisted Declarative Process Creation from Natural Language Descriptions

    Lopez, H. A., Marquard, M., Muttenthaler, L. & Strømsted, R., 21 Nov 2019, 2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW). IEEE Computer Society Press, p. 96-99 4 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  4. Published

    Exploring the Modeling of Declarative Processes Using a Hybrid Approach

    Abbad Andaloussi, A., Buch-Lorentsen, J., Lopez, H. A., Slaats, T. & Weber, B., 15 Oct 2019, Conceptual Modeling: Conceptual Modeling. ER 2019.. Switzerland: Springer Nature, Vol. 11788. p. 162-170 9 p. (Lecture Notes in Computer Science, Vol. 11788).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  5. Published

    Declarative Choreographies and Liveness

    Hildebrandt, T. T., Slaats, T., López, H. A., Debois, S. & Carbone, M., Jun 2019, International Conference on Formal Techniques for Distributed Objects, Components, and Systems: FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, p. 129-147 19 p. (Lecture Notes in Computer Science, Vol. 11535).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  6. Published

    A Sound Algorithm for Asynchronous Session Subtyping

    Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2019, In : Leibniz International Proceedings in Informatics. 140, p. 34:1–34:16

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  7. Published

    Bisimulation as path type for guarded recursive types

    Veltri, N. & Møgelberg, R. E., 2019, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Vol. 3. 29 p. 4

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  8. Published

    Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming

    Bahr, P., Graulund, C. U. & Møgelberg, R. E., 2019, Proceedings of the ACM on Programming Languages. IFCP ed. Association for Computing Machinery, Vol. 3. 109

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  9. 2018
  10. Published

    The Process Highlighter: From Texts to Declarative Processes and Back

    López-Acosta, H-A., Hildebrandt, T., Debois, S. & Marquard, M., 28 Sep 2018, Copenhagen: IT-Universitetet i København. 19 p. (IT University Technical Report Series).

    Research output: Book / Anthology / Report / Ph.D. thesisReportCommunication

  11. Published

    The Process Highlighter: From Texts to Declarative Processes and Back

    López-Acosta, H-A., Hildebrandt, T., Debois, S. & Marquard, M., 10 Sep 2018, In : CEUR Workshop Proceedings. p. 66-70 5 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  12. Published

    Dynamic Evaluation Forms using Declarative Modeling

    Strømsted, R., López-Acosta, H-A., Debois, S. & Marquard, M., 4 Sep 2018, 16th International Conference on Business Process Management (BPM'18). Weber, B., van der Aalst, W. M. P., Casati, F., Conforti, R. & Dumas, M. (eds.). Sydney, Australia: CEUR Workshop Proceedings, p. 172-179 7 p. (CEUR Workshop Proceedings, Vol. 2196).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Previous 1 2 3 4 5 6 7 8 ...14 Next