Activities

Seminar za računalniško matematiko - Sredin seminar

Jump to year:

2022

12-16 December 2022
Matjaž Konvalinka attends the workshop Enumerative Combinatorics in Oberwolfach.
12-13 November 2022
Meeting of the research group in Terme Čatež.
11 November 2022
Batagelj, V.: 60 let računalnika Zuse Z23 in začetki računalništva v Sloveniji. 75. Občni zbor DMFA Slovenije, Terme Čatež. Slides.
10 November 2022
Andrej Bauer delivered a public lecture Voting systems at Slovenian local elecions.
21 September 2022
Batagelj, V.: Projections of weighted two-mode networks. Applied Statistics 2022, Ljubljana, Slovenia. Slides.
11-16 September 2022
International Conference on Functional Programming (ICFP 2022) took place in Ljubljana, Slovenia. Our group was actively involved in its organization:
  • Andrej Bauer (general chair)
  • Katja Berčič (student volunteer co-chair)
  • Matija Pretnar (PC member, OCaml workshop PC chair, ML workshop PC member)
  • Filip Koprivec (student volunteer)
7-8 September 2022
Symbolic Data Analysis Workshop (SDA 2022), Caserta, Italy
  • Batagelj, V. Member of the Program Committee.
  • Batagelj, V.: Symbolic Networks and Algebra. Slides
19-24 July 2022
Classification and Data Science in the Digital Age (IFCS 2022), Porto
  • Batagelj, V. Member of the Scientific Programme Committee.
  • Batagelj, V.: Clustering and Blockmodeling Temporal Networks - Two Indirect Approaches. Slides. Paper in: Paula Brito, José G. Dias, Berthold Lausen, Angela Montanari, Rebecca Nugent (eds.) Springer, Paper.
12-16 July 2022
Sunbelt 2022, Cairns, Australia & Zoom
  • Batagelj, V.: Projections of signed two-mode networks. Online/Zoom. Slides.
  • Matveeva, N., Ferligoj, A., Batagelj, V.: Co-authorship network of post-Soviet countries. Online/Zoom.
30 May - 3 June 2022
Tomaž Pisanski delivered a plenary lecture at Combinatorics 2022, Mantua, Italy.
23-25 May 2022
Batagelj, V.: On projections of two-mode networks (plenary). 12th International Conference on Network Analysis, NET 2022, Nizhny Novgorod / on Zoom. Slides.
20-22 April 2022
Batagelj, V.: Projections of binary two-mode networks. Austrian and Slovenian Statistical Days 2022, Graz, Austria; Slides.
6 April 2022
Matija Pretnar receives ETAPS 2022 Test of time award: Gordon Plotkin and Matija Pretnar received the ETAPS 2022 Test of time award for the article “Handlers of Algebraic Effects”. The ETAPS Test of Time Award, recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS.
4-7 April 2022
Yasin-23, HSE / on Zoom
  • Batagelj, V.: On projections of a binary two-mode network. Slides.
  • Matveeva, N., Batagelj, V., Ferligoj, A.: Scientific collaboration network of post-Soviet countries: the effects of different networks normalizations.
21-25 February 2022
“Logic and higher structures”, invited lecturer and speaker: Egbert Rijke was an invited lecturer at the “Logic and higher structures” conference, organized by Centre International de Rencontres Mathématiques in Marseille, France. Andrej Bauer was a speaker at the same meeting.
10-20 January 2022
FPSAC 2021, conference organization: Matjaž Konvalinka was a member of the Program Committee.

2021

21 December 2021
Anja Petković Komel defended her PhD thesis : “Meta-analysis of type theories with an application to the design of formal proofs”
18 November 2021
9:00-12:00 - Batagelj, V. received the Blejec award from the Slovenian statistical society at Statistični dan 2021, SURS.
18-20 October 2021
Batagelj, V.: Network multiplication and derived networks. NET 2021 - The 11th International Conference on Network Analysis. Nizhny Novgorod / Zoom. slides
17-22 October 2021
“Efficient Compilation of Algebraic Effect Handlers” (SPLASH 2021), contributed talk: Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers, “Efficient Compilation of Algebraic Effect Handlers”, contributed talk, ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity
13 October 2021
Andrej Bauer receives 2022 Conant Prize: Andrej Bauer has received the 2022 AMS Levi L. Conant Prize for the article “Five stages of accepting constructive mathematics”, Bulletin of the AMS, 54 (2017), 481-498. The Levi L. Conant Prize recognizes the best expository paper published in either the Notices of the AMS or the Bulletin of the AMS in the preceding five years.
11-12 October 2021
COST action CA20111: European Research Network on Formal Proofs, project start: Andrej Bauer and Anja Petković Komel attended the first Management Committee Meeting of the European Research Network on Formal Proofs COST network. They are the Slovenian representatives in the Management Committee. Anja Petković Komel has been elected the gender-balance coordinator.
6 October 2021
Batagelj, V.: Matematiki in računalniško izobraževanje, do leta 1980 / osebni pogled. IJS / on Zoom. IS 2021 - Multiconference Information Society 2021, YouTube. paper, in S. Divjak, A. Krapež, eds. Zvezek I: 50-letnica poučevanja računalništva v slovenskih srednjih šolah. Zbornik 24. mednarodne multikonference Informacijska Družba – IS 2021, Ljubljana, pp 5-9. draft
6-10 September 2021
Batagelj, V.: Blockmodeling temporal networks described by temporal quantities using clustering with relational constraint. Naples / on Zoom. EUSN 2021 – 5th European Conference on Social Networks, slides.
22 August 2021
“Higher-Order Asynchronous Effects” (HOPE 2021), contributed talk: Danel Ahman, Matija Pretnar, and Janez Radešček, “Higher-Order Asynchronous Effects”, contributed talk, Higher-Order Programming with Effects, abstract.
18-23 July 2021
Scalable Handling of Effects, Andrej Bauer and Matija Pretnar participated in the Dagstuhl Seminar 21292.
17-18 July 2021
“Towards an Elaboration Theorem” (HoTT/UF 2021), invited talk: Anja Petković Komel, “Towards an Elaboration Theorem”, invited talk, Workshop on Homotopy Type Theory/Univalent Foundations, abstract, slides, video.
5-10 July 2021
Batagelj, V.: Normalizations and Projections in Analysis of Weighted Two-Mode Networks. On Zoom. Networks 2021 and XXXXI Sunbelt Social Networks Conference, slides
20-26 June 2021
8th European Congress of Mathematics
  • Tomaž Pisanski, Chair of Organizing Committee
  • Invited talk: Andrej Bauer, “The dawn of formalized mathematics”, abstract, slides, video.
  • Batagelj, V.: Semirings and temporal network analysis. On Zoom. slides
  • Mathematics in the Digital Age of Science, minisymposium organization: Katja Berčič was one of the organisers of the minisymposium dedicated to digital representation of, improving access to and preservation of mathematical knowledge, as well as other ways of using the digital environment to benefit mathematics. She also gave a talk, “Infrastructure for mathematical data”
14-18 June 2021
27th International Conference on Types for Proofs and Programs (TYPES 2021)
24-26 May 2021
Batagelj, V.: Semirings in network data analysis, an overview (invited): on Zoom. MS2A2M conference, abstracts, slides.
20 May 2021
“Contextual Categories“, online seminar: Egbert Rijke and John Cartmell organized an online seminar on contextual categories. It was attended by several dozen researchers from the international community.
12-16 April 2021
Spring School on Homotopy Type Theory (EPIT): Andrej Bauer and Egbert Rijke were invited lecturers at the Spring school on Homotopy type theory, organized by Ecole de Printemps d’Informatique Théorique, France.
8 April 2021
“A higher encode decode method” (HoTTEST), invited talk: Egbert Rijke, “A higher encode decode method”, Homotopy Type Theory Electronic Seminar Talks, slides.
25-28 January 2021
Computer Science Logic 2021, conference organization: Danel Ahman, Andrej Bauer, Katja Berčič, and Anja Petković Komel were members of the organizing team of CSL 2021 on-line conference.
17-22 January 2021
“Asynchronous Effects” (POPL 2021), contributed talk: Danel Ahman, Matija Pretnar, “Asynchronous Effects”, 48th ACM SIGPLAN Symposium on Principles of Programming Languages, paper.
11 January 2021
Philipp Haselwarter defended his PhD thesis: “An Effective Metatheory for Type Theory”

2020

19 October 2020
Matjaž Konvalinka becomes a member of the editorial board of Combinatorial Theory.
24-25 September 2020
Batagelj, V.: Networks and symbolic data analysis. Final COSTNET conference, Zoom.
2 September 2020
Ilse Fischer and Matjaž Konvalinka publish the article The mysterious story of square ice, piles of cubes, and bijections in Proceedings of the National Academy of Sciences of the United States of America.
13-17 July 2020
2020 Sunbelt Virtual Conference (on Zoom)
  • Batagelj, V.: Toward an indirect approach for blockmodeling temporal networks. slides
  • Maltseva, D., Batagelj, V.: Comparing two approaches to bibliographic networks construction.
  • Batagelj, V., Maltseva, D.: Analysis of bibliographic networks.
6-24 July 2020
FPSAC 2020 online, conference organization: Matjaž Konvalinka was a member of the Organizing Committee.
16 June 2020
Matjaž Konvalinka is promoted to Full Professor at the University of Ljubljana.
1 January 2020
Matjaž Konvalinka becomes Editor-in-Chief of Annals of Combinatorics.