DEI Talks | Fluent API: A software engineering technique with type theoretical implications by Yossi Gil

Joseph (Yossi) Gil is an Associate Professor at the Faculty of Computer Science of the Technion, Israel Institute of Technology. His publications were in diverse areas including distributed systems, image processing,  algorithms, PRAMs and parallel computing, databases, concepts of object oriented programming, numerical algorithms, … His B.Sc. (in physics summa cum laude), M.Sc. (computer science, summa cum laude) and Ph.D. were awarded by the Hebrew University in Jerusalem. Theoretical computer science, especially lower bounds and algorithms were his academic nursery, but he is also very keen on programming in various programming languages. His current research interest is in type systems and applications of machine learning to software engineering and numerical algorithms.

Join us on the 27th of April, at 14:30, in room B016 FEUP, for the presentation of “Fluent API: A software engineering technique with type theoretical implications”.

Abstract:

 A chain of method calls in an OO language, such as a.b().c(d).e(f,g).h().i()… is what the industry calls fluent API. In such a chain, the return value of all but the last invocation, is the receiver of the next invocation. The technique is advertised and used as a powerful software engineering tool. The technique is also used to embed domain specific languages (DSLs), such as SQL, in a host general programming language, such as Java. In this talk, I will present the technique, and the fundamental theoretical questions: How should one design the classes and methods so that fluent API works the way it is supposed to? What is required from the type system of the host programming language to admit certain chains, and forbid others?

The presentation will survey a series of publications showing deep correspondence between type systems and the theory of automata: finite state automata, pushdown automata, etc.

New PhD’s honored in the Conferement Ceremony 2022

The FEUP Auditorium will receive on April 8th, at 17:00, another Conferement Ceremony, which will award the most honorable distinction to those who completed their PhD and defended their thesis in 2020 and 2021.

In the list of honorees we find many students who decided to do their PhDs in DEI Programs. To them our best wishes, professional and personal.

 

Doctoral Program in Informatics Engineering

Bruno Miguel Carvalhido Lima

 

Doctoral Program in Digital Media

António Alberto Castro Baía Reis

Daniel dos Santos Catalão

Eduardo José Botelho Batista Morais de Sousa

João Miguel Calisto Marçal

Luciano José Santos Reis Moreira

Roberto Ivo Fernandes Vaz (Cum Laude)

 

Doctoral Program in Computer Science (Joint program with FCUP, UA and UM)

André Filipe Faria dos Santos

Diogo José Domingues Regateiro

Francisco Nuno Teixeira Neves

João Miguel Maia Soares de Resende

Joaquim Magalhães Esteves da Silva

Jorge Miguel Barros da Silva

José Luís da Silva Devezas (Cum Laude)

Liu Chong

Luís Miguel Tomé Nóbrega

Mariana Rafaela Figueiredo Ferreira de Oliveira

Patrícia Raquel Vieira Sousa

Ricardo Jorge Terroso de Araújo

Ricardo Pereira de Magalhães Cruz

Rogério António da Costa Pontes

Rui Jorge Pereira Gonçalves

Sílvia da Conceição Neto Bessa

DEI Talks | JUMPING FINITE AUTOMATA by Prof. Alexander Meduna

Prof. Alexander Meduna (born 1957 in Olomouc, Czech Republic ) is a theoretical computer scientist and expert on compiler design, formal languages and automata. He is a professor of Computer Science at the Brno University of Technology. Formerly, he taught theoretical computer science at various European and American universities, including the University of Missouri, where he spent a decade teaching advanced topics of formal language theory. He wrote over ninety papers related to theoretical computer science.

Join us on the 7th April, at 14:30, in room I-105 of FEUP, for the presentation of JUMPING FINITE AUTOMATA

Abstract:

This talk proposes a new investigation area in automata theory — jumping finite automata. These automata work like classical finite automata except that they read input words discontinuously — that is, after reading a symbol, they can jump over some symbols within the words and continue their computation from there. The talk gives several results concerning jumping finite automata in terms of commonly investigated areas of automata theory, such as closure properties. Most importantly, it achieves several results that demonstrate differences between jumping finite automata and classical finite automata. In its conclusion, the talk  formulates several open problems and suggests future investigation areas.

His latest book is Handbook of Mathematical Models for Languages and Computation

Meduna, Alexander; Tomko, Martin, Horacek, Petr (2019)

The Institution of Engineering and Technology, Stevenage, UK, ISBN: 978-1-78561-660-0

https://www.amazon.ae/Handbook-Mathematical-Models-Languages-Computation/dp/1785616595

His previous books include

  • Meduna, Alexander (2000). Automata and Languages: Theory and Applications. Springer Science & Business Media. ISBN 9781852330743.
  • Meduna, Alexander (2007). Elements of Compiler Design. CRC Press. ISBN 9781420063233.
  • Meduna, Alexander (2014). Formal Languages and Computation: Models and Their Applications. CRC Press. ISBN 9781466513457.
  • Meduna, Alexander; Švec, Martin (2005). Grammars with Context Conditions and Their Applications. John Wiley & Sons. ISBN 9780471736554.
  • Meduna, Alexander; Techet, Jiří (2010). Scattered Context Grammars and Their Applications. WIT Press. ISBN 9781845644260.
  • Meduna, Alexander; Zemek, Petr (2014). Regulated Grammars and Automata. Springer. ISBN 9781493903696.
  • Meduna, Alexander; Soukup, Ondřej (2017). Modern Language Models and Computation: Theory with Applications. Springer. ISBN 9783319630991.

Talk | “Interactive Music Analysis using the DFT and Pitch-Class Distributions extracted from MIDI files” by Fabian C. Moss

Fabien C. Moss is a Research Fellow in Cultural Analytics at University of Amsterdam (UvA). Working with large symbolic datasets of musical scores and harmonic annotations, he is primarily interested in Computational Music Analysis, Music Theory, Music Cognition, and their mutual relationship. His research is inherently interdisciplinary and aims to bridge the humanities and the sciences by drawing on methods and concepts from the Musicology and Music Theory, Mathematics, Music Information Retrieval, Data Science and Machine Learning, Music Psychology and Cognition, and the Digital Humanities.

Join us on the 4th of April, at 14:30, in room B015 of FEUP, for the presentation of “Interactive Music Analysis using the DFT and Pitch-Class Distributions extracted from MIDI files

By the author:

“The discrete Fourier transform (DFT) is a cornerstone of digital signal processing and commonly used to extract periodicities in time-continuous signals.

In recent years, however, mathematical music theorists have begun to explore DFT’s potential when applied not to the time but to the pitch-class domain, where the periodicities are given by equal divisions of the octave [1-3]. Earlier this year, we introduced wavescapes [4], a visualization method of hierarchical pitch-class relations in pieces of music.

Building on this work, we are currently developing midiVERTO [5], an interactive web app to analyze MIDI files using the DFT, that allows users to create wavescapes and inspect the dynamics of pitch-class distributions at several hierarchical levels. In my presentation, I will briefly introduce the underlying theoretical work followed by a tutorial on how to use the app for music analysis.

[1] Amiot (2016). Music Through Fourier Space: Discrete Fourier Transform in Music Theory. Springer.

[2] Noll (2019). Insiders’ Choice: Studying Pitch Class Sets Through Their Discrete Fourier Transformations. InMathematics and Computation in Music (pp. 371–378). Springer. https://doi.org/10.1007/978-3-030-21392-3_32

[3] Tymoczko & Yust (2019). Fourier Phase and Pitch-Class Sum. In Mathematics and Computation in Music (pp. 46–58). Springer. https://doi.org/10.1007/978-3-030-21392-3_4

[4] Viaccoz, C., Harasim, D., Moss, F. C., & Rohrmeier, M. (2022). Wavescapes: A visual hierarchical analysis of tonality using the discrete Fourier transform. Musicae Scientiaehttps://doi.org/10.1177/10298649211034906

[5] Harasim, D., Affatato, G., & Moss, F. C. (2022). midiVERTO: A Web Application to Visualize Tonality in Real Time. arXiv:2203.13158 [cs]http://arxiv.org/abs/2203.13158

CreativityTalks | Prof. António Sampaio da Nóvoa will be our next guest

There are many “futurisms” that suggest an education without schools, based on the immense possibilities of technologies and artificial intelligence. These “futurisms” gained strength with the pandemic and the different forms of isolation to which we have been subjected. But education does not take place in “confinement”, it always requires a relationship, an encounter, working together. This is not the time to announce the “death of school”, but rather to invent it anew.

“Inventing the School anew” will be the topic of the 6th Creativity Talk, presented by Professor *António Sampaio da Nóvoa, on March 17, at 18:00, at the FEUP’s Anfiteatro Nobre (B032).

The session will be moderated by Amélia Lopes, Full Professor and President of the Scientific Council of the Faculty of Psychology and Education Sciences of the University of Porto.

The participation in the lecture requires a (free) registration at Eventbrite (places available to the capacity of the room by order of registration).

If you cannot attend in person, you can attend remotely through the following address: https://youtu.be/V2I0h0EQBO0

*Bio

António Sampaio da Nóvoa is a Full Professor at the University of Lisbon. He holds a PhD in History from the University of Paris IV-Sorbonne and a PhD in Education Sciences from the University of Geneva. He was Rector of the University of Lisbon between 2006 and 2013. He was Portugal’s Ambassador to UNESCO between 2018 and 2021.

1984 Revisited: Was George Orwell an optimist?

Debating privacy in the digital era – 03/02, 14:30, online

George Orwell’s masterpiece “1984” offers today an almost realistic description of the vast surveillance system on which capitalist democracies are now based. For the first time in the history of humanity, electronics have made it possible to bring together in the same instruments and the same gestures the work and the supervision exercised over the worker. Big Brother is no longer a figure of speech – he has become an everyday vulgarity.

This work will serve as inspiration for the Workshop promoted by the Doctoral Program in Digital Media at U.Porto, to be held online on February 3rd, at 14:30.

The afternoon will be dedicated to the theme of privacy in the digital era and intends to address its multiple implications today and to foresee future ones – namely regarding the transparency/opacity of digital systems and its relation with digital literacy, surveillance capitalism, prediction algorithms, among others.

To help this reflection, the session will open with a lecture by Professor Luís Borges Gouveia (Fernando Pessoa University/CITCEM – Transdisciplinary Research Centre “Culture, Space and Memory”), followed by a round table with Amílcar Correia (Co Director of Público newspaper), Arlindo Oliveira (President of INESC) and Filipe Vilas Boas (Artist).

The event will be held at Zoom https://bit.ly/35qpn9x,  with live broadcast on Youtube https://bit.ly/34lwLTl

Dealing with memory latency in the age of big data

Lecture DEI Series
Date: June 25th
Time: 14:00
Room: Auditório A – INESCTEC
Speaker: Walid A. Najjar
Affiliation: Department of Computer Science & Engineering University of California Riverside
Abstract
For over two decades the gap between processor and memory speeds has been the most daunting challenge in computer architecture. The advent of big data applications has exacerbated the problem. Traditional multi-core architecture mitigate memory latency through the use of massive cache hierarchies that take up over 80% of the chip area and a proportional percentage of the energy budget. However, big data applications exhibit very poor data locality and cannot benefits from large cache hierarchies. Such applications will be fully impacted by memory latency. Hardware multithreaded architectures have the ability to mask memory latency by context switching between ready threads when a memory access is performed. Classical hardware multithreaded architectures, such as barrel processors (e.g. the UltraSparc and the Cray XMT), must maintain a full state for every thread which requires a lot of resources. FPGAs allow us the opportunity to configure custom or semi-custom processing cores for specific applications.
In this talk I will describe the implementation of data processing applications on the latency masking Filament architecture using semi-custom data paths.
Short Bio
Walid A. Najjar is a Professor in the Department of Computer Science and Engineering at the University of California Riverside. His areas of research include computer architectures and compilers for parallel and high-performance computing, embedded systems, FPGA-based code acceleration and reconfigurable computing.
Walid received a B.E. in Electrical Engineering from the American University of Beirut in 1979, and the M.S. and Ph.D. in Computer Engineering from the University of Southern California in 1985 and 1988 respectively. From 1989 to 2000 he was on the faculty of the Department of Computer Science at Colorado State University, before that he was with the USC-Information Sciences Institute. He was elected Fellow of the IEEE and the AAAS.”

19th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC’2019)

The international scientific meeting in the field of Robotics is co-sponsored by the Portuguese Society for Robotics, IEEE and IEEE Robotics and Automation Society (RAS), through its Portuguese Chapter.
ICARSC 2019 will take place at Porto – Gondomar, April 24-26, 2019. The conference is organized by the University of Porto – Faculty of Engineering, INESC-TEC, LIACC, CISTER, P.Porto and by the Portuguese Society for Robotics.
More information at https://web.fe.up.pt/~icarsc2019/

Doctoral Exams: “the increased space in the artistic experience: screens, systems and physical contexts”

PhD Exams in Digital Media

Required by:

Ivo Jorge Meireles de Sousa Teixeira

 

Date, Time and Location

July 25 at 10:30 a.m., in the Act Room of Engineering Faculty

Jury President

Dr. Jorge Manuel Pinho de Sousa, FEUP Professor 

Vowels

Dr. Sandra Vieira Jürgens, Visiting Assistant Professor, Art History Department,Social and Human Sciences Faculty, Universidade Nova de Lisboa;

Dr. Ana Maria of Assunção Carvalho, Assistant Professor at Maia Institute University;

Doctor Vítor Joaquim Paredes Fernandes, Visiting Assistant Professor at Portuguese Arts School of Catholic University;

Dr. José Miguel Santos Araújo Carvalhais Fonseca, Assistant Professor, Design Department, Fine Arts Faculty, OPorto University (Advisor);

Dr. André Rangel Macedo, Visiting Assistant Professor, Fine Arts Department, Fine Arts Faculty, Oporto University 

Dr. Rui Luis Nogueira Penha, Visiting Assistant Professor, Computer Engineering Department, Engineering Faculty, Oporto University.

Doctoral Exams: “applying real-time strategy game principles to emergency management”

PhD Exams in Digital Media

Required by:

Hugo Miguel Gonçalves Crespo Machado da Silva

 

Date, Time and Location

July 12 at 2:30 p.m., in the Act Room of Engineering Faculty

President of the Jury

Dr. Jorge Manuel Pinho de Sousa, FEUP Professor 

Vowels

Dr. Teresa Isabel Lopes Romão, Assistant Professor,Informatics Department, Science and Technology Faculty , Universidade Nova de Lisboa;

Dr. Jorge Gustavo Pereira Bastos Rocha, Assistant Professor, Informatics Department, Engineering School,Minho  University;

Dr. Pedro Miguel do Vale Moreira, Adjunct Professor, Higher School of Technology and Management,  Viana do Castelo Polytechnic Institute;

Dr. Luís Filipe Pinto de Almeida Teixeira, Assistant Professor, Computer Engineering Department,  Engineering Faculty, Oporto University;

Dr. António Fernando Vasconcelos Cunha Castro Coelho, Assistant Professor,  Computer Engineering Department , Engineering  Faculty , Oporto University (Advisor).