SLATE'22

Thursday, 14th July | Friday, 15th July | Keynotes

Thursday, 14th July

All papers have 20 minutes for presentation, plus 5 minutes for Q&A;

Papers/Events	Authors	Tracks	Time
Welcome Session			09:00
Keynote I: Program and programming languages design: for fun and profit	Simão Melo de Sousa		09:30
Coffee Break			10:30
Session I	(Chair: Maria João Varanda)
Extending PyJL - Transpiling Python Libraries to Julia	Miguel Marcelino and António Leitão	HCL	10:55
Automatic Classification of Portuguese Proverbs	Reis Sónia and Jorge Baptista	HHL	11:20
Synthetic Data Generation From JSON Schemas	Hugo Cardoso and José Carlos Ramalho	CCL	11:45
Question Answering for Toxicological Information Extraction	Bruno Ferreira, Hugo Oliveira, Hugo Amaro, Ângela Laranjeiro, and Catarina Silva	HHL	12:10
Lunch			12:35
Session II	(Chair: Pedro Rangel Henriques)
Classification of Public Administration Complaints	Francisco Caldeira, Luis Nunes, and Ricardo Ribeiro	HHL	14:30
Comparing Different Approaches for Detecting Hate Speech in Online Portuguese Comments	Bernardo Matos, Raquel Santos, Paula Carvalho, Ricardo Ribeiro, and Fernando Batista	HHL	14:55
Generation of document type exercises for automated assessment	José Paulo Leal, Ricardo Queirós, and Marco Primo	CCL	15:20
Large Semantic Graph Summarization using Namespaces	Ana Costa, André Santos, and José Paulo Leal	CCL	15:45
Free Break			16:10
Session III	(Chair: Sebastião Pais)
Semi-Supervised Annotation of Portuguese Hate Speech Across Social Media Domains	Raquel Santos, Bernardo Matos, Paula Carvalho, Fernando Batista, and Ricardo Ribeiro	HHL	16:30
Metaobject protocols for Julia	Marcelo Santos and António Leitão	HCL	16:55
EWVM, a Web Virtual Machine to support code generation in Compiler courses	Sofia Teixeira, Pedro Rangel Henriques, and José Ramalho	HCL	17:20
ScraPE - an Automated Tool for Programming Exercises Scraping	Ricardo Queirós	CCL	17:45
Dinner			20:00

Lunches will be served in the Buffet, at the Faculty of Health Sciences.
Dinner will take place at the Hotel Puralã (Alameda Pêro da Covilhã, 6200-507 Covilhã).

Papers/Events	Authors	Tracks	Time
Keynote II: Text2story: narrative extraction from texts	Ricardo Campos		09:30
Coffee Break			10:30
Session IV	(Chair: Nuno Rodrigues)
Down-Translating XML: The Python Way	Alberto Simões and Jose Joao Almeida	CCL	10:55
The Visual Programming Environment ROBI for Educational Robotics	Alvaro Neto, Cristiana Araújo, Pedro Henriques, and Gustavo Galvão	HCL	11:20
OMT, a Web-based tool for Ontology Matching	João Gomes, Alda Gançarski, and Pedro Henriques	CCL	11:45
Analysing Off-the-Shelf Options for Question Answering from Portuguese FAQs	Hugo Gonçalo Oliveira, Sara Inácio, and Catarina Silva	HHL	12:10
Lunch			12:35
Session V	(Chair: João Cordeiro)
Reasoning with Portuguese Word Embeddings	Luis Cunha, José Almeida, and Alberto Simões	HHL	14:30
Determining Programming Languages Complexity and its impact on Processing	Gonçalo Pinto, Pedro Henriques, Daniela da Cruz, and João Cruz	HCL	14:55
Assessing Similarity Between Two Ontologies: The Use Of The Integrity Coefficient	Aly Ngoné Ngom, Papa Ousseynou Mbaye, and Ibrahima Gaye	CCL	15:20
Closing Session			16:00

Simão Melo de Sousa

RELEASE (UBI), Covilhã, Portugal | NOVA-Lincs, Lisbon, Portugal

Abstract

Programming languages and their programs are, for the programming practitioner, objects of passion. This is even more the case for the researcher that study and use them. In my talk I will describe how their design and crafting are regularly behind the curtain and usually a key element in the research I have conducted in collaboration with industrial partners. I will focus on my recent research on blockchain and resource analysis.

Short Bio

Simão Melo de Sousa is an expert in security and reliability of computer systems. In particular. He is actively developing research and publishing on the fundamentals and the design of techniques and tools for the formal assurance of security and reliability of software, in particular for blockchains and smart contracts. He is a co-author of the book “Rigorous software development - An introduction to program verification” published in 2011 by Springer-Verlag. He received his PhD from INRIA Sofia Antipolis / University of Nice Sofia Antipolis with a thesis on the theme “Tools and techniques for the formal verification of the JavaCard platform” and obtained his Habilitation from the University of Beira Interior. He is an Associate Professor at the Computer Science Department of the University of Beira interior where he teaches courses in the area of programming (foundational concepts, algorithms and data structures and programming languages), software engineering, compilation, computing fundamentals, formal verification, security and cryptography. He is also a member of the NOVA-Lincs Research and coordinates the research activities of the RELEASE group (Reliable and Secure Computation Lab) of the University of Beira Interior. He has scientifically coordinated several research projects in the area of software reliability and critical systems, information security, testing and software quality (as-a-service), blockchain and smart contracts. He was also visiting researcher at INRIA Paris-Saclay in 2010 and 2017 and at Sorbonne Université-Paris in 2021. He actively collaborates with several leading industrial partners, nationally and internationally, in its area of expertise, in particular in the area of blockchain, critical systems, security, e-health, railway systems, avionics and aerospace. In this context, he has successfully participated in several technology transfer initiatives.

Ricardo Campos

Ci2 - Smart Cities Research Center - IPT, Tomar, Portugal

Abstract

Narratives are present in many forms of human expression and can be understood as a fundamental way of communication between people. Understanding the underlying story of a narrative, however, may be a rather complex task for both linguists and computational linguistics. The latter is a subfield of Artificial Intelligence that makes use of computational approaches, such as natural language processing techniques, to automatically extract narratives from texts. While textual content is still the main representation of information, readers would greatly benefit from tools that automatically summarize information, expand the user's knowledge (by linking them to external knowledge bases), identify the main actors of a story, their trajectories in time and space, relationships, and event identification. In this talk, I will provide a complete roadmap of the narrative extraction process, highlight some of its challenges, and will refer to some of the tools we have been developing within the context of the text2story line of research (UIDB/50014/2020 and LA/P/0063/2020 - FCT - Fundação para a Ciência e Tecnologia), and that help to understand the storyline of an event.

Short Bio

Ricardo Campos is a Professor at the Polytechnic Institute of Tomar and a Senior Research at INESC TEC. He is PhD in Computer Science by the University of Porto (U. Porto), being also a former student of the University of Beira Interior (UBI). He has more than 10 years of experience in Information Retrieval (IR) and Natural Language Processing (NLP), period during which his research has been recognized with multiple awards. He is the leading author of the highly impactful Yake! keyword extractor toolkit (https://yake.inesctec.pt) and of the tell me stories project (https://contamehistorias.pt). His current research focuses on developing methods concerned the process of narrative extraction from texts. He his particularly interested in practical approaches regarding the relationship behind entities, events and temporal aspects, as a means to make sense of unstructured data.