Categories
Session

6.4.2021 Anni Hakanen

Time: 6.4.2021 at 13:00

Speaker: Anni Hakanen, University of Turku

Title: On the Forced Vertices of Resolving Sets and Metric Bases of Graphs

Abstract: A resolving set of a graph is a subset of the vertices which gives a unique combination of distances to each vertex of the graph. Resolving sets can be used to locate vertices in a graph. A resolving set of minimum cardinality is called a metric basis of the graph. In this talk, we will discuss how the concept of a resolving set can be generalised to locate vertex sets instead of individual vertices. Special emphasis is placed on characterising vertices that are necessary to locate vertex sets. A vertex that is in all such resolving sets is called a forced vertex. Forced vertices do not exist for resolving sets that can locate one vertex at a time. However, we can define a similar concept for the metric bases of graphs.

Categories
Uncategorized

23.3.2021 Mikhail Barash

Time: 23.3.2021 at 12.00

Speaker: Mikhail Barash, University of Bergen, Norway

Title: Beyond Grammars and Parsing

Abstract: I will discuss how grammar models can be used to define syntax and static semantics of programming languages, and what the limitations of such models are. I will then talk about “projectional editing”, which enables direct manipulation of abstract syntax trees and does not require parsing. The talk is based on papers at STAF 2020 [ http://ceur-ws.org/Vol-2707/oopslepaper4.pdf ] and NIK 2020 [ https://ojs.bibsys.no/index.php/NIK/article/view/839 ].