OASIcs, Volume 113
SLATE 2023, June 26-28, 2023, Vila do Conde, Portugal
Editors: Alberto Simões, Mario Marcelo Berón, and Filipe Portela
OASIcs, Volume 78
Microservices 2017/2019, February 19-21, 2019, University of Applied Sciences and Arts Dortmund, Germany
Editors: Luís Cruz-Filipe, Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, and Sabine Sachweh
Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)
12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 1-206, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
@Proceedings{simoes_et_al:OASIcs.SLATE.2023, title = {{OASIcs, Volume 113, SLATE 2023, Complete Volume}}, booktitle = {12th Symposium on Languages, Applications and Technologies (SLATE 2023)}, pages = {1--206}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-291-4}, ISSN = {2190-6807}, year = {2023}, volume = {113}, editor = {Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023}, URN = {urn:nbn:de:0030-drops-185130}, doi = {10.4230/OASIcs.SLATE.2023}, annote = {Keywords: OASIcs, Volume 113, SLATE 2023, Complete Volume} }
Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)
12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 0:i-0:xii, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
@InProceedings{simoes_et_al:OASIcs.SLATE.2023.0, author = {Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {12th Symposium on Languages, Applications and Technologies (SLATE 2023)}, pages = {0:i--0:xii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-291-4}, ISSN = {2190-6807}, year = {2023}, volume = {113}, editor = {Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023.0}, URN = {urn:nbn:de:0030-drops-185141}, doi = {10.4230/OASIcs.SLATE.2023.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 268, 14th International Conference on Interactive Theorem Proving (ITP 2023)
Luís Cruz-Filipe and Fabrizio Montesi. Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. In 14th International Conference on Interactive Theorem Proving (ITP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 268, pp. 11:1-11:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
@InProceedings{cruzfilipe_et_al:LIPIcs.ITP.2023.11, author = {Cruz-Filipe, Lu{\'\i}s and Montesi, Fabrizio}, title = {{Now It Compiles! Certified Automatic Repair of Uncompilable Protocols}}, booktitle = {14th International Conference on Interactive Theorem Proving (ITP 2023)}, pages = {11:1--11:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-284-6}, ISSN = {1868-8969}, year = {2023}, volume = {268}, editor = {Naumowicz, Adam and Thiemann, Ren\'{e}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2023.11}, URN = {urn:nbn:de:0030-drops-183867}, doi = {10.4230/LIPIcs.ITP.2023.11}, annote = {Keywords: choreographic programming, theorem proving, compilation, program repair} }
Published in: LIPIcs, Volume 263, 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugović, Fabrizio Montesi, and Marco Peressotti. Modular Compilation for Higher-Order Functional Choreographies. In 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 263, pp. 7:1-7:37, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
@InProceedings{cruzfilipe_et_al:LIPIcs.ECOOP.2023.7, author = {Cruz-Filipe, Lu{\'\i}s and Graversen, Eva and Lugovi\'{c}, Lovro and Montesi, Fabrizio and Peressotti, Marco}, title = {{Modular Compilation for Higher-Order Functional Choreographies}}, booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)}, pages = {7:1--7:37}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-281-5}, ISSN = {1868-8969}, year = {2023}, volume = {263}, editor = {Ali, Karim and Salvaneschi, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.7}, URN = {urn:nbn:de:0030-drops-182005}, doi = {10.4230/LIPIcs.ECOOP.2023.7}, annote = {Keywords: Choreographies, Concurrency, \lambda-calculus, Type Systems} }
Published in: OASIcs, Volume 104, 11th Symposium on Languages, Applications and Technologies (SLATE 2022)
Luís Filipe Cunha, J. João Almeida, and Alberto Simões. Reasoning with Portuguese Word Embeddings. In 11th Symposium on Languages, Applications and Technologies (SLATE 2022). Open Access Series in Informatics (OASIcs), Volume 104, pp. 17:1-17:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{cunha_et_al:OASIcs.SLATE.2022.17, author = {Cunha, Lu{\'\i}s Filipe and Almeida, J. Jo\~{a}o and Sim\~{o}es, Alberto}, title = {{Reasoning with Portuguese Word Embeddings}}, booktitle = {11th Symposium on Languages, Applications and Technologies (SLATE 2022)}, pages = {17:1--17:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-245-7}, ISSN = {2190-6807}, year = {2022}, volume = {104}, editor = {Cordeiro, Jo\~{a}o and Pereira, Maria Jo\~{a}o and Rodrigues, Nuno F. and Pais, Sebasti\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2022.17}, URN = {urn:nbn:de:0030-drops-167636}, doi = {10.4230/OASIcs.SLATE.2022.17}, annote = {Keywords: Word Embeddings, Word2Vec, Evaluation Methods} }
Published in: LIPIcs, Volume 229, 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)
Zhenjian Lu, Igor C. Oliveira, and Marius Zimand. Optimal Coding Theorems in Time-Bounded Kolmogorov Complexity. In 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 229, pp. 92:1-92:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{lu_et_al:LIPIcs.ICALP.2022.92, author = {Lu, Zhenjian and Oliveira, Igor C. and Zimand, Marius}, title = {{Optimal Coding Theorems in Time-Bounded Kolmogorov Complexity}}, booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)}, pages = {92:1--92:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-235-8}, ISSN = {1868-8969}, year = {2022}, volume = {229}, editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.92}, URN = {urn:nbn:de:0030-drops-164331}, doi = {10.4230/LIPIcs.ICALP.2022.92}, annote = {Keywords: computational complexity, randomized algorithms, Kolmogorov complexity} }
Published in: OASIcs, Volume 94, 10th Symposium on Languages, Applications and Technologies (SLATE 2021)
Leonor Llansol, João Santos, Luís Duarte, José Santos, Mariana Gaspar, Ana Alves, Hugo Gonçalo Oliveira, and Luísa Coheur. MUAHAH: Taking the Most out of Simple Conversational Agents. In 10th Symposium on Languages, Applications and Technologies (SLATE 2021). Open Access Series in Informatics (OASIcs), Volume 94, pp. 7:1-7:12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{llansol_et_al:OASIcs.SLATE.2021.7, author = {Llansol, Leonor and Santos, Jo\~{a}o and Duarte, Lu{\'\i}s and Santos, Jos\'{e} and Gaspar, Mariana and Alves, Ana and Gon\c{c}alo Oliveira, Hugo and Coheur, Lu{\'\i}sa}, title = {{MUAHAH: Taking the Most out of Simple Conversational Agents}}, booktitle = {10th Symposium on Languages, Applications and Technologies (SLATE 2021)}, pages = {7:1--7:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-202-0}, ISSN = {2190-6807}, year = {2021}, volume = {94}, editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Portela, Filipe and Pereira, Maria Jo\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2021.7}, URN = {urn:nbn:de:0030-drops-144248}, doi = {10.4230/OASIcs.SLATE.2021.7}, annote = {Keywords: Dialog systems, question answering, information retrieval, multi-agent} }
Published in: OASIcs, Volume 94, 10th Symposium on Languages, Applications and Technologies (SLATE 2021)
Luís Filipe Costa Cunha and José Carlos Ramalho. NER in Archival Finding Aids. In 10th Symposium on Languages, Applications and Technologies (SLATE 2021). Open Access Series in Informatics (OASIcs), Volume 94, pp. 8:1-8:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{costacunha_et_al:OASIcs.SLATE.2021.8, author = {Costa Cunha, Lu{\'\i}s Filipe and Ramalho, Jos\'{e} Carlos}, title = {{NER in Archival Finding Aids}}, booktitle = {10th Symposium on Languages, Applications and Technologies (SLATE 2021)}, pages = {8:1--8:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-202-0}, ISSN = {2190-6807}, year = {2021}, volume = {94}, editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Portela, Filipe and Pereira, Maria Jo\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2021.8}, URN = {urn:nbn:de:0030-drops-144257}, doi = {10.4230/OASIcs.SLATE.2021.8}, annote = {Keywords: Named Entity Recognition, Archival Descriptions, Machine Learning, Deep Learning} }
Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)
João Paulo Aires, Simone Bello Kaminski Aires, Maria João Varanda Pereira, and Luís M. Alves. Active Methodologies in Incoming Programming Classes (Short Paper). In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 8:1-8:9, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{aires_et_al:OASIcs.ICPEC.2021.8, author = {Aires, Jo\~{a}o Paulo and Aires, Simone Bello Kaminski and Pereira, Maria Jo\~{a}o Varanda and Alves, Lu{\'\i}s M.}, title = {{Active Methodologies in Incoming Programming Classes}}, booktitle = {Second International Computer Programming Education Conference (ICPEC 2021)}, pages = {8:1--8:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-194-8}, ISSN = {2190-6807}, year = {2021}, volume = {91}, editor = {Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.8}, URN = {urn:nbn:de:0030-drops-142241}, doi = {10.4230/OASIcs.ICPEC.2021.8}, annote = {Keywords: Teaching Programming, Active Methodologies, Learning Innovation} }
Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)
Luís Afonso Casqueiro, Tiago Espinha Gasiba, Maria Pinto-Albuquerque, and Ulrike Lechner. Automated Java Challenges' Security Assessment for Training in Industry - Preliminary Results. In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 10:1-10:11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{casqueiro_et_al:OASIcs.ICPEC.2021.10, author = {Casqueiro, Lu{\'\i}s Afonso and Gasiba, Tiago Espinha and Pinto-Albuquerque, Maria and Lechner, Ulrike}, title = {{Automated Java Challenges' Security Assessment for Training in Industry - Preliminary Results}}, booktitle = {Second International Computer Programming Education Conference (ICPEC 2021)}, pages = {10:1--10:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-194-8}, ISSN = {2190-6807}, year = {2021}, volume = {91}, editor = {Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.10}, URN = {urn:nbn:de:0030-drops-142269}, doi = {10.4230/OASIcs.ICPEC.2021.10}, annote = {Keywords: Education, Teaching, Training, Awareness, Secure Coding, Industry, Programming, Cybersecurity, Capture-the-Flag, Intelligent Coach} }
Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)
Francisco Saraiva, Lázaro V. O. Lima, Cristiana Araújo, Luis Gonzaga Magalhães, and Pedro Rangel Henriques. SHREWS: A Game with Augmented Reality for Training Computational Thinking (Short Paper). In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 14:1-14:10, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{saraiva_et_al:OASIcs.ICPEC.2021.14, author = {Saraiva, Francisco and Lima, L\'{a}zaro V. O. and Ara\'{u}jo, Cristiana and Magalh\~{a}es, Luis Gonzaga and Henriques, Pedro Rangel}, title = {{SHREWS: A Game with Augmented Reality for Training Computational Thinking}}, booktitle = {Second International Computer Programming Education Conference (ICPEC 2021)}, pages = {14:1--14:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-194-8}, ISSN = {2190-6807}, year = {2021}, volume = {91}, editor = {Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.14}, URN = {urn:nbn:de:0030-drops-142309}, doi = {10.4230/OASIcs.ICPEC.2021.14}, annote = {Keywords: Augmented Reality, Computational Thinking, Learning Activity, Game} }
Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)
Lázaro V. O. Lima, Manuel Sousa, Luis Gonzaga Magalhães, and Pedro Rangel Henriques. Understanding Effects of the Algorithm Visualized with AR Techniques (Short Paper). In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 15:1-15:10, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{lima_et_al:OASIcs.ICPEC.2021.15, author = {Lima, L\'{a}zaro V. O. and Sousa, Manuel and Magalh\~{a}es, Luis Gonzaga and Henriques, Pedro Rangel}, title = {{Understanding Effects of the Algorithm Visualized with AR Techniques}}, booktitle = {Second International Computer Programming Education Conference (ICPEC 2021)}, pages = {15:1--15:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-194-8}, ISSN = {2190-6807}, year = {2021}, volume = {91}, editor = {Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.15}, URN = {urn:nbn:de:0030-drops-142312}, doi = {10.4230/OASIcs.ICPEC.2021.15}, annote = {Keywords: Augmented Reality, Learning Resource, Data Visualization, Syntax Tree Visualization} }
Published in: LIPIcs, Volume 193, 12th International Conference on Interactive Theorem Proving (ITP 2021)
Luís Cruz-Filipe, Fabrizio Montesi, and Marco Peressotti. Formalising a Turing-Complete Choreographic Language in Coq. In 12th International Conference on Interactive Theorem Proving (ITP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 193, pp. 15:1-15:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{cruzfilipe_et_al:LIPIcs.ITP.2021.15, author = {Cruz-Filipe, Lu{\'\i}s and Montesi, Fabrizio and Peressotti, Marco}, title = {{Formalising a Turing-Complete Choreographic Language in Coq}}, booktitle = {12th International Conference on Interactive Theorem Proving (ITP 2021)}, pages = {15:1--15:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-188-7}, ISSN = {1868-8969}, year = {2021}, volume = {193}, editor = {Cohen, Liron and Kaliszyk, Cezary}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2021.15}, URN = {urn:nbn:de:0030-drops-139109}, doi = {10.4230/LIPIcs.ITP.2021.15}, annote = {Keywords: Choreographic Programming, Formalisation, Turing Completeness} }
Feedback for Dagstuhl Publishing