Colloquium Visual Computing
Information
Sep. 18 - 22 | Inffeldgasse 16b | HSi11
CSS-Festival
October 05th, 2023 | 4 pm
Place: i9
WELCOME – from 4.00 P.M.
4.00 – 4.10 p.m. – Greetings from the Rectorates
4.10 – 4.20 p.m. – Introduction CSS Vision: Thalmann & Lex
4.20 – 4.25 p.m. - Introduction CSS-Team: Coordinator; CSBME; STV (student representative)
4.25 – 5.00 p.m. – Introduction of Specialisations with Students and their Master’s Thesis
GET-TOGETHER – from 5.00 P.M.
Get-Together with teachers and students
Martin Leucker
Formal Verification of Neural Networks?
September 19th, 2023 | 10 am
Place: IST Seminarraum (IC02062)
Short abstract:
Machine learning is a popular tool for building state of the art software systems. It is more and more used also in safety critical areas. This demands for verification techniques ensuring the safety and security of machine learning based solutions. However, in this presentation, we argue that the popularity of machine learning comes from the fact that no formal specification exists which renders traditional verification in appropriate. Instead, validation is typically demanded and we present a recent technique that validates certain correctness properties for an underlying recurrent neural network: Property-directed verification of Recurrent Neural Networks.
Bio:
Martin Leucker is currently a professor at the University of Lübeck, Germany heading the Institute of Software Engineering and Programming Languages. He obtained his Ph. D. at the RWTH Aachen, Germany and afterwards, he worked as a Postdoc at the University of Philadelphia, USA and at the Uppsala University, Sweden. He pursued his habilitation at the TU München, Germany. He is the author of more than 100 peer reviewed conference and journal papers ranging over software engineering, formal methods and theoretical computer science.
Meeting Point Dissertation
September 22nd, 2023, | 9:30 am
Place: HS i9, Inffeldgasse 13, ground floor
Are you working on your PhD or about to start a doctoral project? Then we cordially invite you to join the information and discussion event "Meeting Point Dissertation". The event will provide useful information about the doctoral curriculum and the doctoral schools as well as information about other offers and initiatives for PhD students. A PhD supervisor and former PhD students will also share insights. Registration until 22 September via https://survey.tugraz.at/256274.
CS Talks #12
Title: Personalization for Human-AI Collaboration
Cristina Conati (University of British Columbia)
October 3rd, 2023, 5:00 pm
Aula Alte Technik
Waffles & Wireframes – Breakfast at the CGV
October 6th, 2023, | 9 - 11:30 am
Place: Seminar Room CGV ID02104, Inffeldgasse 16c/2
The Institute of Computer Graphics and Knowledge Visualisation & Fraunhofer Austria
are announcing
current topics for Bachelor and Master theses in the areas of
* Computer Graphics
* Extended Reality
* Geometry Processing
* Computer Aided Design
* Visual Analytics and Information Visualization
* Computer Vision Applications
The topics can be accessed (only from the TU Graz LAN/VPN) here.
Sample lecture "Introduction to (social) network analysis"
Habilitation candidate Jana Lasser
October 13th, 2023 | 2 - 3 pm
Place: HS i6 (MD01180F)
Your future in Computer Science
October 16th, 2023 | 2 pm
Click to watch
The Online Info Event of the Faculty of CSBME of TU Graz is an Event where lecturers and students show how diverse, varied and exciting studies in the fields of Computer Science are and what potential a Master at TU Graz has. At the event, the focal points, special features and unique selling points of the studies will be presented. In addition, the professional opportunities that arise from studying in the field of CS will be conveyed. A special focus will be put on the specialization possibilities/majors. The event is mainly aimed at international bachelor students from the current TU Graz target countries who are considering doing a Master's Programme at TU Graz.
Your future in Biomedical Engineering
October 16th, 2023 | 3 pm
Click to watch
The Online Info Event of the Faculty of CSBME of TU Graz is an Event where lecturers and students show how diverse, varied and exciting studies in the fields of Biomedical Engineering are and what potential a Master at TU Graz has. At the event, the focal points, special features and unique selling points of the studies will be presented. In addition, the professional opportunities that arise from studying in the field of BME will be conveyed. A special focus will be put on the specialization possibilities/majors. The event is mainly aimed at international bachelor students from the current TU Graz target countries who are considering doing a Master's Programme at TU Graz.
The Lunch Lottery
October 18th, 2023, | 12:45 am
Place: Mensa Rooftop
Between 18 and 24 October 2023, meet other employees working at TU Graz and get to know each other beyond the usual team boundaries. You will get to know (as yet) unknown colleagues and their respective fields of work, thus expanding your university network. Once you have registered, you will be paired up with others on one of the days of your choice. You will find out who you will be having lunch with at the Mensa Rooftop, to which TU Graz cordially invites you. We also welcome registrations from employees who have already taken part in previous Lunch Lotteries. Registration
Mathieu Jan
Formal Hardware/Software Modeling for Timing Properties: from Safety to Security
July 11th, 2023, | 10 am
Place: IFEG042
Short abstract:
The emergence of open hardware initiatives, for instance, based on the RISC-V ISA, exposes more easily the exact behavior of hardware designs. They can then be analyzed and combined with application-level semantics to formally verify complex safety (and security) properties at the system level. In this talk, we first present an overview of the LEAF approach for verifying such timing-related properties. Then, we focus on the required formal model tailored to a specific property: the detection of Timing Anomalies (TA) within pipelines of processors. A TA is a counterintuitive timing behavior that can threaten Worst-Case Execution Time (WCET) analyses. We also report ongoing work to generate such pipeline formal models from RISC-V processors described in Chisel/FIRRTL. Finally, we conclude on current extensions to apply the LEAF approach to safety properties.
Bio:
Dr. Mathieu Jan obtained his engineering diploma in 2003 and got a Ph.D. in 2006 on data management for grid architectures from Univ. of Rennes 1 in an INRIA laboratory. He joined CEA LIST in 2007 as a full-time researcher. Since then, his main research interests are embedded systems and real-time systems. Senior expert at CEA LIST since 2014, he obtained a "Habilitation à Diriger des Recherches" (HDR) in 2016, and is a CEA Research Director since 2021. He spent the whole year 2019 as visiting scholar at the University of California, Berkeley (UCB) in the group of Prof. Edward Lee. Since 2020, Mathieu focuses on the hardware/software formal verification of embedded systems and is the Ph.D. director of several Ph.D. students in this area.
Stefano Vassanelli (M.D., Ph.D.)
Connecting brain and artificial neurons: where we are, challenges and opportunities
July 21st, 2023, | 1:15 pm
Place: HS i11 "SIEMENS Hörsaal" (ICK1002H)
Stefano Vassanelli (M.D., Ph.D.) is head of the NeuroChip laboratory and Professor of Physiology at the Department of Biomedical Sciences and Padua Neuroscience Center, University of Padova, Padova, Italy. He obtained his PhD in molecular biology and pathology at the University of Padova and worked as postdoctoral research scientist at the Oregon Graduate Institute of Science & Technology, Portland, Oregon and at the Max-Planck Institute for Biochemistry, Department Membrane and Neurophysics, Martinsried, Germany. His research activity at the crossroad of neuroscience, materials science and electronics focuses on neuroelectronic interfaces, brain-inspired devices, neurophysiology of brain microcircuits and neural computation.
Mandy MacLean
Pulmonary hypertension: estrogens and obesity
July 27th, 2023, | 3 pm
Place: BMT03094
Short abstract:
Pulmonary arterial hypertension (PAH) is most frequently observed in women. Sex hormones likely play a role in the development of PAH and we will discuss the roles of estrogens and estrogen metabolites. These are elevated in both male and female patients. Estrogen and 16-hydroxyestrogen metabolites have pathogenic effects in the lung, inducing pulmonary vascular remodelling and this may involve oxidative stress. Many PAH patients are obese and evidence suggests this impacts significantly on the pathogenesis of PAH partially through increased estrogen synthesisis.
Bio:
Mandy obtained her PhD in Pharmacology from the University of Edinburgh in 1985 and then spend a year in the USA and three years in Cambridge before moving to The University of Glasgow in 1989. Mandy joined The University of Strathclyde in 2019. Her research has focused on the role of serotonin in the development of pulmonary arterial hypertension (PAH). As more women get PAH than men, more recently her work has focused on sex effects and oestrogen metabolism in PAH. She has a BHF programme grant and won the 2017 Reynold Spector Award for Clinical Pharmacology from the American Society for Pharmacology and Experimental Therapeutics (ASPET). Other research awards include a Royal Society Wolfson Research Merit Award and a Royal Society Leverhulme Trust Senior Research Fellowship. She sits n numerous grant funding panels and is a trustee of The Academy of Medical Sciences and The Glasgow Children’s Hospital Charity.
Jean-Max Dutertre: "Review of laser and EM fault injection attacks into microcontrollers"
July 5th, 2023, | 2 pm
Place: IFEG042
Abstract: Microcontrollers storing valuable data or using security functions are vulnerable to fault injection attacks. Among the various types of faults, instruction skips induced at runtime proved to be effective against identification routines or encryption algorithms. Until recently, most research papers assessed a fault model that consists in a single instruction skip, i.e. the ability to prevent one chosen instruction in a program from being executed. This seminar reports experimental results that extend the complexity and versatility of the instruction-skip fault model. It shows how using laser or EM fault injection makes it possible to induce several consecutive instructions skips or to skip instructions from different parts of a program. It focuses on results obtained on custom test circuits and general purpose microcontrollers at different technology nodes. An analysis of the involved injection mechanisms is also provided.
Short bio: Prof. Jean-Max Dutertre received the M.S. and Ph. D. degrees in microelectronics from the University of Science of Montpellier, France, in 1998 and 2002, respectively. He is head of the Secured Architectures and Systems (SAS) research department of Mines Saint-Etienne from Institut Mines-Télécom, which is part of a joint R&D team with the CEA Leti. His research interests are with hardware attacks techniques and the design of the related counter-measures (either hardware or software). He is studying fault injection attacks of secure integrated circuits for 15 years
„Treffpunkt Habil“ – Information and discussion event
July 4th, 2023, | 3 pm - 5 pm
Place: HS FSI 1, Inffeldgasse 11, ground floor
Are you currently working on your habilitation or playing with the idea of starting a habilitation project? On 4 July an information event for habilitation candidates and scientists who are considering a habilitation project will take place under the title “Treffpunkt Habil”. The event, organised by the Human Resource Development, covers a broad range of topics from the importance of habilitation, the habilitation procedure, related recommendations and support services, the submission procedure to the personal experiences of an already habilitated person. In addition, there will be enough time to discuss your questions and exchange ideas with like-minded people.
Registration until 29 June
Summer Party 2023
Summer Party 2023
for CSBME Members
July 4th, 2023 | 6:00 pm
Place: Mensa Inffeldgasse
Our Summer Party will take place again this year - there will be a barbecue buffet and drinks.
All emplyees of the Faculty of Computer Science and Biomedical Engineering are invited.
DocDays 2023
July 4th, 2023 | 09:00 am
Place: Hörsaal HS BMT | Stremayrgasse 16
The DocDays are a one day internal conference for all PhD students (university assistants, project assistants, and self-sustained students) at the Doctoral Schools of Computer Science and Biomedical Engineering. Students will have the opportunity to present their research or research ideas, get feedback, network with their fellows, and get to know the faculty. The DocDays are a joint effort by the Committees of the Doctoral School of Computer Science and Biomedical Engineering.
Verena Biener (FH Coburg)
Mixed Reality for Mobile Knowledge Work
June 2nd, 2023 | 11 am
Place: Franz Leberl Seminarraum
Abstract:
Not least due to the Corona pandemic, mobile working is very widespread, especially among knowledge workers. However, in the home office, on public transportation, or in waiting rooms, the work environments and available mobile devices are often not optimal. Mixed reality has the potential to solve some such problems, for example by displaying multiple virtual screens of variable size that can make working easier.
Similarly, the work environment can be customized to the users preferences. In the course of my PhD, I am exploring the practicality of using virtual work environments over longer periods of time and in everyday situations. In addition, I evaluated different input and output modalities including the use of traditional devices such as mouse, keyboard and tablet combined with the possibilities offered by Mixed Reality, such as depth perception or eye-tracking.
Bio:
Verena Biener is a Ph.D. candidate in computer science at Coburg University in cooperation with the University of Bayreuth. She is advised by Professor Dr. Jens Grubert and Professor Dr. Jörg Müller. Her research is about using mixed reality for knowledge worker tasks in mobile settings. She evaluates different interaction techniques using common devices like touch screens as well as eye-tracking or spatially tracked devices, and she is also interested in the effects of using mixed reality for knowledge work in ecologically valid settings. Verena Biener received her bachelor’s degree in computer science from University of Tübingen, Germany and completed her M.S in computer science at University of Stuttgart, Germany.
Info session: Route 63
Route 63: elective course programme in cooperation with the University of Graz
May 25th, 2023 | 5:30 pm
Sandgasse 36, 8010 Graz
DHEG 136E (Showroom)
After that join the Startup Spritzer!
What is “Route 63”?
Two universities, one goal: The University of Graz and Graz University of Technology want to make their students fit for the professional world. To this end, they are alternately opening up their range of courses in the fields of economics, sociology, psychology and computer science with their cooperation called “Route 63” – named after the bus line connecting the two universities.
TU Graz students can take courses in business administration, sociology and psychology, giving them the tools, they need to set up companies or market software. If you are studying Software Engineering and Management you can use the elective course programme which includes Digital Entrepreneurship, Cognition and Behavior, Current Societies and Business Law to become a sought-after expert for socially explosive topics!
You can find further information in the Curriculum for the Master’s Degree Programme Software Engineering and Management in paragraph 12 (starting on page 30):
- Elective module O2: Digital Entrepreneurship
- Elective module P2: Cognition and Behaviour
- Elective module Q2: Current Socielties
- Elective module R2: Business Law
Competence Corner - Introduction to Conflict Management
April 13th, 2023, | 9 am - 17 pm
Place: Kopernikusgasse 24 | SR 3
Dealing with conflict is a normal part of working life. The point is not to avoid conflict, but to learn how to recognise potential conflict at an early stage and deal with it constructively so that it does not escalate. In this Competence Corner workshop, you will learn the basics of dealing with conflict and how to adapt your approach to the situation. The workshop is designed for university (project) assistants. Registration is open until 6 April at lisa-marie.epple@tugraz.at. This year's Competence Corner will focus on "Effective Collaboration". You will also have the opportunity to learn the rules for successful collaboration in international research teams in the workshop "Teamwork and Communication in Intercultural Teams" on 17 May.
Information
The Lunch Lottery
May 3rd - 9th, 2023, | 12:45 pm
Place: Mensa Rooftop
Between 3 and 9 May 2023, meet other employees working at TU Graz and get to know each other beyond the usual team boundaries. You will get to know (as yet) unknown colleagues and their respective fields of work, thus expanding your university network. Once you have registered, you will be paired up with others on one of the days of your choice. You will find out who you will be having lunch with at the Mensa Rooftop, to which TU Graz cordially invites you. Registration is possible from 3 to 22 April at survey.tugraz.at/786997. We also welcome registrations from employees who have already taken part in previous Lunch Lotteries. More information
Grazer Linuxtage
14. - 15. April 2023 | Campus Inffeldgasse 25/D
Our this year's call for participation is online!
Grazer Linuxtage is an annual event happening at TU Graz on topics related to free/open source software and open hardware platforms.
"Since 2019, the Graz Linuxtage have been held at TU Graz. We try to bring the importance of these topics into the public consciousness. We cover topics like graphics editing with GIMP or Inkscape, photo management with Darktable, free tools for encrypted communication like Matrix, cryptocurrencies like Bitcoin, experiments with the Raspberry Pi and free operating systems like Linux or FreeBSD. For this we offer workshops on Fri, 2023-04-14 afternoon and talks on Saturday, 2023-04-15. We also offer livestreams where you can follow the lectures.
Interested? Away from the audience, we welcome active help with smaller tasks.
Contribute/Help"
CS Talks #11
Title: Why maritime cyber security?
Kimberly Tam (University of Plymouth)
March 28th, 2023, 5:00 pm
Aula Alte Technik
Mateusz Pusz
High-level Abstractions, Safety, or Performance?
March 15th, 2023, | 5:30 pm
Place: HS i11 "SIEMENS Hörsaal" (ICK1002H)
Case study of a physical units library: how Modern C++ addresses this challenge and how it relates to similar solutions on Java or Python.
DMP Workshop @ CSBME
March 08th, 2023, | 2 - 3:30 pm
Place: Inffeldgasse 16b/1 | IC01074
DMP Workshop @ CSBME - data management plans and data respositories
The RDM team of TU Graz invites members and interested colleagues of the Faculty of Computer Science and Biomedical Engineering to a workshop on data management plans (DMP) and the use of our institutional data repository. DMPs are guidelines intended to help researchers to deal with data adequately enabling a subsequent use and preventing possible data loss while they are required for newly funded projects from FWF, EC and other funding agencies. Recommendations for public funded projects also include the use of data repositories. We will show how to use the TU Graz repository providing persistent identifiers to publish data related to project results in addition to scientific publications. We also give the opportunity, especially to PhD students to train and to create their own DMPs for their thesis, and will guide and give feedback to experienced researchers to their DMPs for future projects.
For registration please contact: c.jean-quartier@tugraz.at
Computergrafik
zum Frühstück
Waffles & Wireframes - Breakfast at the CGV
March 03rd, 2023, | 9:30 - 11:00 am
Place: Inffeldgasse 16c | second Floor | Seminarraum
Current topics for Bachelor and Master theses in the areas of
* Computer Graphics
* Extended Reality
* Geometry Processing
* Computer Aided Design
* Visual Analytics and Information Visualization
* Computer Vision Applications
The topics can be accessed (only from the TU Graz LAN/VPN) here.
Daniel Gruss
ERC Starting Grant Kickoff Event
Febuary 28th, 2023, | 5:00 pm
Place: Alte Technik, Aula
In 2022, Daniel Gruss from the Institut of Applied Information Processing and Communication at University of Technology Graz, received the renowned EU Founding Prize for research on energy-efficient IT security from the European Research Council. With his ERC Starting Grant, he is researching how energy effiviency in IT can be increased in the future without causing security gaps. As part of the Kickoff Event Daniel Gruss will present his project.
Colloquium Data Science
Information
February 13 - 16 | Inffeldgasse 18 EG | HSi1
Justus Piater
Making robots learn to perceive and act with understandings
Febuary 13th, 2023, | 4:00 pm
Place: Inffeldgasse 16b, ICO2062
"The titel of this talk is the motto of the Intelligent and Interactive Systems group at the Universitiy of Innsbruck. Our long-term objective is to improve abstraction, robustness, and ultimately explainability of robot perception and action. Motivated by shortcomings of current machine-learning methods, I will discuss examples of our recent work on learning visual relational concepts, extrapolation of learned movements beyond the training distribution, and learning of symbolic concepts and ruels from sensorimotor experience. As an added bonus, I will show how to train neutral networks of a thousand layers without skip connections, batch normalization, propout, or any other architectural tweaks, using our so-called batch-entropy regularization."
Joan Daemen:
On lightweight symmetric cryptography
Febuary 10th | 2 pm
Pleace: IFEG042 (IAIK seminar room)
Mathy Vanhoef:
Detecting Wi-Fi Networks Vulnerable to FragAttacks: Feasible, but also Ethnical?
Febuary 2nd | 1pm
Pleace: IFEG042 (IAIK seminar room)
Habil Talk #1
Peter Roth:
Visual Learing from and for Heterogeneous and Ambiguous Data
January 24th | 2:30 PM
Place: HSi7
The habilitation is the highest-ranking university examination in most Western European countrys, with which the teaching qualification is a scientific subject is determined as part of an academic examination procedure. Habilitations at the Department of Computer Science and Biomedical Engineering follow the habilitation process of TU Graz.
In September 2022 the Habilitation procedure from DI Dr.techn. Peter Roth with the scientific subject "Applied Computer Science" started.
Prof. Ruzica Piskac - Yale: Privacy-preserving Automated Reasoning
December 22 | 2 pm
Place: IFEG042 Inffeldgasse 16a, EG
Bugs in software and hardware can often to catastrophic consequences. There are various ways to improve software quality, formal verification being the most rigorous of all. In formal verification, the goal is to translate programs into formulas, and then automatically prove the correctness of these formulas. Formal methods offer a vast collection of techniques to analyze and verify these systems mathematically to ensure the correctness, robustness, and safety of software and hardware systems against a specification. Despite the significant success of formal method techniques, privacy requirements are not considered in their design.
In the last two decades, we have witnessed fascinating progress in the area of automated reasoning. Modern automated reasoning tools are now applied daily to tasks in program analysis, software engineering, hardware verification, and various other domains. The efficacy of such tools allows their application to even large-scale industrial codebases.
In this talk, we will present our work on adding a privacy-aware perspective to automated reasoning. When using automated reasoning tools, the implicit requirement is that the formula to be proved is public. We propose the concept of privacy-preserving formal reasoning. In our recent work on a zero-knowledge protocol for proving the unsatisfiability of Boolean formulas in propositional logic, we developed a highly efficient protocol for knowledge of a resolution proof of unsatisfiability. We encoded verification of the resolution proof using polynomial equivalence checking, which enabled us to use fast ZKP protocols for polynomial satisfiability.
Graz Security Week
September 26-30 | 16:00 | online
This fourth summer school of its kind targets graduate students interested in security and correctness aspects of computing devices.
Julian Parsert
Neural Termination Analysis
September 28th, 2022, | 9:00 am
Place: Inffeldgasse 16a, IFEG042
We introduce a novel approach to the automated termination analysis of computer programs: we train neural networks to behave as ranking functions. Ranking functions map program states to values that are bounded from below and decrease as the program runs. The existence of a ranking function proves that the program terminates. We learn ranking functions from execution traces by training a neural network so that its output decreases along the sampled executions; then, we use symbolic reasoning to formally verify that it generalises to all possible executions. We demonstrate that, thanks to the ability of neural networks to represent highly complex functions, our method succeeds over programs that are beyond the reach of state-of-the-art tools. This includes programs that use loop guards with disjunctions and programs that exhibit nonlinear behaviour.
Your Future in Computer Science / Biomedical Engineering
September 30 | 16:00 / 17:00 | online
Are you considering a master’s degree in Computer Science or Biomedical Engineering? Join our Online Info Session and listen to lecturers and students introducing our broad range of different programmes. We are also going to provide you with some information about studying in Graz as an International Student. Info: Computer Science 4pm. Info: Biomedical Engineering 5pm.
Massimo Marchiori:
The Joy of Data
September 30 | 4 pm | Inffeldgasse 13, 6 OG.
We live in a world full of data: data pervade our society and our world, and are increasingly considered like a precious commodity, the gold of our modern times.
In this talk we will take a trip into the world of data, and focus on a few novel research examples tackling significant data scenarios.
Starting from "classical" data sources like the Web we will go on with quite more unusual examples, touching on various intriguing aspects of our society (and beyond).
The talk will be expository in nature: no prior specialistic knowledge is required.
Waffles & Wireframes
Announcement of Topics for Bachelor and Master Theses in Winter Term 2022/23
October 5 | 9-12 a.m.
With the new semester coming up, the Institute of Computer Graphics and Knowledge Visualisation & Fraunhofer Austria are announcing current topics for Bachelor and Master theses in the areas of Computer Graphics, Geometry Processing and Visual Analytics.
• They have published the slides and videos on the topics, as offered from our supervisors.
• They will also host a live presentation with fresh waffles in the seminar room (Inffeldgasse 16c/II, SR CGV ID02104)
The topics can be accessed (only from the TU Graz LAN/VPN) here.
ICG:
OpenLabNight 2022
October 6th, 2022, | 6:00 pm
Place: HS i11 "SIEMENS Hörsaal" & Inffeldgasse 16, 2nd floor
For all students and those interested in research, there is OpenLabNight from the Institute of Computer Graphics and Vision on Thursday, October 6.
The event starts at 18:00 with information about project courses in HS i11. At 18:30 there will be pizza and drinks as well as live demos of current research.
Come join us and secure your scientific work!
Academic Advising for incoming students
We offer a special academic advising unit, given by Christian Gütl (CS studies) and Gerhard Sommer (BME). They will explain how things work in our department, and offer to discuss your personal learning agreement in order to achieve all scheduled ECTS credits.
Date, Place:
Academic Adving CS: September 23rd, 14:00; HS i12
Academic Advising BME: September 26th, 14:00; HS BMT (Stremayrgasse 16, EG)
Gunther Helms:
Membranes in MRI - overlooked, but not invisible
July 07th, 2022, | 4:00 pm
Place: Stremayrgasse 16, 3. Stock (BMT03094)
Gunther Helms, Senior lecturer at Lund University (Sweden) is visiting us due to the doctoral examination of Lukas Pirpamer. Helms talks about "Membranes in MRI - overlooked, but not invisible".
Maßnahmen zur Erhöhung des Frauenanteils an der Fakultät CSBME
July 13th, 2022, | 4-6 pm
Place: HS FSI 2 - Inffeldgasse 11
in German
Anna Napetschnig presents her Master Thesis “Frauen@TUG – Do IT! Successful approaches to improve the qualitative and quantitative situation of female students of computer science at Graz University of Technology” and we will discuss her recommendations.
In her Master thesis “Frauen@TUG – Do IT” Anna Napetschnig has developed a catalog of measures for the qualitative and quantitative improvement of the situation of female computer science students at the TU Graz. The first part of the thesis is an inventory of projects for the promotion of young female computer science students at Graz University of Technology and at comparable universities. The second part consists of qualitative and quantitative surveys of female TU Graz students on these measures. This results in a catalog of measures with individual recommendations for the TU Graz, which have the potential to increase the proportion of female computer science students and to reduce the drop out.
She won the Mind the Gap Diversity Award 2021.
You can watch her presentation >here<.
Verleihung Silberne Diplome Telematik
& Summer Party (internal)
July 05th, 2022, | 5:00 pm
Place: Inffeldgasse 10
► Registration required
In the course of the awarding of the Telematics silver diplomas, there will be a department-wide summer party afterwards. All employees of the Department of Computer Science and Biomedical Engineering are invited to attend. Please register here.
Oliver Deussen:
Visualizing Graph Structures
July 05th, 2022, | 1:00 pm
Place: SR CGV
Inevitably, the projection of most graph structures on two-dimensional screens will create errors and therefore visually wrong impressions. In the past, two types of methods have been developed to minimize projection errors and distribute them in a visually pleasing way. The first group of methods, force-directed layouts, interpret the links of a graph as physical springs, while stress-based methods minimize an energy function, which aims to map graph distances faithfully. A unified description of both method types allows to create optimal parameters for both and even to specify new, better methods for most graphs. The addition of vector-based constraints enable systems to render graphs with different layouts and under varying perspectives. Finally, I will show that deviating from all kinds of physical metaphors is a good idea to create even better projection methods.
CSBME goes Dragon Boat Racing @ Graz Riverdays
July 02th, 2022, | 14:00 | Augartenbucht
Besides 3 other TU Graz boats, our faculty also competes with its own boat at this year's Dragon Boat University Cup. Watch us and cheer for us! Fun guaranteed!
Startup Spritzer #81
June 23th, 2022, | 5:00 pm
Place: Inffeldgasse 13, HS i9
► Registration required
This Startup Spritzer is all about startup offerings in Graz: As a young startup, you go through many stages towards success. If you are lucky, you don't have to go this way alone, but are supported by organizations like the Gründungsgarage, the Science Park or the entrepreneurship courses of the TU. Four startups report on their experiences with these programs and share their success stories. Afterwards, the aws will present its funding offers for young entrepreneurs.
CS Talks #9:
Eva Galperin: Who Deserves Cybersecurity?
June 07th, 2022, | 5:30 pm
Place: Aula Alte Technik
We're all in cybersecurity, but who is cybersecurity for and what does cybersecurity protect? This talk will discuss some of the failures and blind spots of cybersecurity as it stands and discusses the ways in which cybersecurity can be reimagined to protect the marginalized.
Tech talk:
DevOps Theory vs. Practice
June 01st, 2022, | 12:01 pm
Place: WebEx
There are a lot of simplified representations of DevOps, but practice shows that it is more difficult than that. Many tools need to mesh like gears, and humans have to interact with each other to provide functional applications to end users. This talk will show how DevOps can be implemented in a way that serves all stakeholders. Automation techniques like Continuous Integration and Continuous Delivery will be introduced, and it will be described how test automatization can be used to reach the goal of a full Continuous Deployment process.
Presenter: Alexander Kalchauer - Alexander is an alumni of TU Graz in Software Engineering and Management and also an alumni of the Catrobat project :logo:. He has worked for 8 years as a technical lead for Dr. Nagler & Company Austria. During this time he was a member of several large project teams working on market data, financial trade data and risk management for several national and international clients. Currently he is implementing DevOps processes for a large German investment company.
Carsten Baum:
Efficient Designated-Verifier Zero-Knowledge and Cheese Puns
May 19th, 2022, | 4:00 pm
Place: IFEG042
Zero knowledge proofs are an important building block in many cryptographic applications. Unfortunately, when the proof statements become very large, existing zero-knowledge proof systems easily reach their limits: either the computational overhead, the memory footprint, or the required bandwidth exceed levels that would be tolerable in practice.
In this talk, I present a designated-verifier zero-knowledge proof system for boolean and arithmetic circuits, called Mac’n’Cheese (CRYPTO 2021), with a focus on supporting large circuits. The work follows the commit-and-prove paradigm instantiated using information-theoretic MACs based on vector oblivious linear evaluation to achieve high efficiency. It additionally allows to optimize disjunctions, with a general OR transformation for proving the disjunction of m
statements that has communication complexity proportional to the longest statement. These disjunctions can further be nested, allowing efficient proofs about complex statements with many levels of disjunctions. Mac’n’Cheese can be made non-interactive (after a preprocessing phase) using the Fiat-Shamir transform.
Additionally, I will present two other recent results which built upon the Mac’n’Cheese proof system. First, I will discuss how to efficiently convert between different proof systems with an approach called Appenzeller2Brie (CCS 2021). Moreover, I will show that a protocol similar to Mac’n’Cheese can be constructed to permit proofs over rings modulo 2^k. This protocol, called QuarkSilver, is the first such protocol to natively work over these rings.
Tech talk:
Development of hand-gesture (camera based) apps (guest lecture by Huawei)
May 18th, 2022, | 12:00 am
Place: Webex
Huawei developers will showcase development of hand-gesture-controlled Android apps using Huawei's AI/ML based computer vision API (supporting also Google Android, React Native, and iOS) under consideration of test-driven development.
Presenters:
Chia Leung Ho: As a passionate Developer Advocate, Chia Leung Ho is committed to bring the developers community together and provide guidance to the next generation. He specializes in the area of HarmonyOS - Wearable application development, Digital Advertising and Android development using Huawei Mobile Services (HMS). Currently based in Huawei Düsseldorf (Germany) and supporting developers from all over Europe.
Muhammed Şimşek: After graduating as a Computer Engineer, Muhammed Şimşek started working at Huawei at the R&D Center in Istanbul. There he started working on big data analysis of telecommunications data, but quickly switched to working with Android to extend the reach of the Huawei Mobile Services (HMS). Currently he works at Huawei Netherlands and supports developers in Germany and the Benelux.
Note: There will be high-tech swags sponsored by Huawei!
You are cordially invited to this talk!
Arranged through Prof. Slany's Catrobat team, winner of the Huawei Best App Europe award 2020.
Nils Götzen:
EU Horizon Project – SimInSitu
May 16th, 2022, | 16:30 am
Place: BMT01046
SimInSitu is aiming to develop a sophisticated in-silico method to predict the short- and long-term behavior of in-situ tissue engineered heart valves by combing advanced tissue remodeling algorithms with a personalized virtual heart modelling approach. The method will be specifically developed to predict the complex transformation process of biodegradable heart valves from the initially synthetic scaffold into a fully remodeled & functional valve.
Jaan Raik:
HW-based monitoring and mitigation of cache SCAs
May 11th, 2022, | 9:00 am
Place: IFEG02
Tyge Tiessen:
A formal analysis of boomerang probabilities
April 29th, 2022, | 9:30 am
Place: IFEG042
In the past 20 years since their conception, boomerang attacks have become an important tool in the cryptanalysis of block ciphers. In the classical estimate of their success probability, assumptions are made about the independence of the underlying differential trails that are not well-founded. We underline the problems inherent in these independence assumptions by using them to prove that for any boomerang there exists a differential trail over the entire cipher with a higher probability than the boomerang.
We further provide a framework which allows us to formulate and prove rigorous statements about the probabilities involved in boomerang attacks without relying on independence assumptions of the trails.
Johanna Pirker @ 84th Vienna Children's Lecture
March 27th, 2022, | 11:00 am
What does a great game need?
The Vienna Children's Lectures at the Zoom Children's Museum give inquisitive children aged eight to twelve an insight into the world of science. This time, computer scientist Johanna Pirkner will talk about the various components of an exciting computer game in the lecture "Vom Spielen und Gamen" ("On Playing and Gaming") and will also address the ideas and suggestions of the young audience. Registration is required.
Information event on the Master's program Computational Social Systems
March 30th, 2022, | 05:00 pm | University of Graz, Universitätsstraße 15, HS 15.14
The English-language Master's program deals with new challenges and opportunities of digitalization. Digitalization generates and stores more and more data about our society and our behavior. The master's program trains experts who can derive valuable knowledge from these volumes of data using methods from computer science and specialist know-how and guarantee responsible use of this data. The CSS master's program places great emphasis on interdisciplinarity.
Virtual Open Lab Night 2022
Tuesday, March 8th, 2022, | 5:00 pm | online
Vision, Learning & Optimization
Thomas Pock and his team show how to solve challenging computer vision and image processing problems using variational methods and machine learning.
Mixed Reality
Denis Kalkofen and his team present novel approaches for mixed reality displays.
Learning & Recognition
Horst Bischof and his team present recent work on autonomous driving and recognition of human motions and activities.
Real-Time Graphics
Markus Steinberger and his team demonstrate real-time graphics, modeling and other 3D applications running in real time on the GPU.
Robotics and 3D
Friedrich Fraundorfer and his team show research results in the area of 3D computer vision and demonstrate the camera drones used the aerial vision lab.
Virtual Reality
Dieter Schmalstieg and his team show novel algorithms and display technologies for Virtual Reality.
The Formalization and Representation of Expert Knowledge with Visual Analytics to Improve Product Quality in Serial Manufacturing Processes
December 09th, 2021 | 11:00 pm | online
Advances in new technologies, such as the Internet of Things (IoT) and big data analytics are enabling a new generation of smart manufacturing processes. These technologies allow the efficient tracking of the quality of produced parts along every step in the manufacturing process.
Here, sophisticated measurement equipment forms interconnected IoT networks, where the “smartness” level depends to great extent on how organizations can leverage data-driven approaches to create value of resulting big datasets and to support human experts with their high-cognition analysis tasks. In this regard, Visual Analytics (VA) can help to integrate human experts into the visual exploration of IoT data by augmenting analytical reasoning capabilities together with model-supported and custom-designed visualization interfaces. Thus, in this thesis, we analyze the role of VA in serial manufacturing processes. Specifically, we aim to examine how such visualization approaches can be used to formalize and represent expert knowledge to make it readily accessible for the development of data-driven approaches, which show great potential in improving serial manufacturing processes. In doing so, we present results from four design study projects in collaboration with a German manufacturer of electric vehicles. Our results indicate that VA shows great potential in augmenting human analytical reasoning processes of knowledge-intensive tasks. Furthermore, we outline how features, models, and especially labels can be leveraged by organizations as explicit knowledge products to be shared among organizational members and leveraged to engage in sophisticated data-driven approaches.
About Joscha Eirich
Joscha Eirich holds two bachelor's and master's degrees in business administration and information systems from the University of Bamberg.
At the moment he is working on his PhD at BMW Group. His research activities focus on the integration of domain knowledge into machine learning pipelines as well as visual analytics for the analysis of large-scale IoT data from serial manufacturing processes.
tugraz.webex.com/tugraz/j.php
Thursday, Dec 09, 2021 11:00 am | 1 hour | (UTC+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna Meeting number: 2733 247 3401
Password: UJhxpqJ4M28
Join by video system
Dial 27332473401@tugraz.webex.com
You can also dial 62.109.219.4 and enter your meeting number.
Join by phone
+43-720-815221 Austria Toll
+44-20-3478-5289 United Kingdom Toll
Access code: 273 324 73401
Matchmaking Encryption
December 20th, 2021 | 12:00 -14:00 | webex
Join via the meeting link
Join with meeting ID:
Meeting ID (access code): 2733 968 8841 Meeting password: imNugMMt623
Daniele Venturi introduce a new form of encryption that we name matchmaking encryption (ME). Using ME, sender S and receiver R (each with its own attributes) can both specify policies the other party must satisfy in order for the message to be revealed. The main security guarantee is that of privacy-preserving policy matching: During decryption nothing is leaked beyond the fact that a match occurred/did not occur. ME opens up new ways of secretly communicating, and enables several new applications where both participants can specify fine-grained access policies to encrypted data. For instance, in social matchmaking, S can encrypt a file containing his/her personal details and specify a policy so that the file can be decrypted only by his/her ideal partner. On the other end, a receiver R will be able to decrypt the file only if S corresponds to his/her ideal partner defined through a policy. On the theoretical side, we define security for ME, as well as provide generic frameworks for constructing ME from functional encryption. These constructions need to face the technical challenge of simultaneously checking the policies chosen by S and R, to avoid any leakage. On the practical side, we construct an efficient identity-based scheme for equality policies, with provable security in the random oracle model under the standard BDH assumption. We implement and evaluate our scheme and provide experimental evidence that our construction is practical. We also apply identity-based ME to a concrete use case, in particular for creating an anonymous bulletin board over a Tor network.
Speaker: Daniele Venturi (Professor of Applied Mathematics, UC Santa Cruz)
SAFEST project - a Hardware Security network
November 22th, 2021 | 2:00 - 3:00 pm | IFEG042
In this talk, Prof. Pagliarini will introduce the SAFEST project and the opportunities for collaboration and staff exchanges between TU Graz and TalTech. SAFEST is a H2020 Twinning action, a type of project where partners are committed to cross-training each other on the complementary topics of (hardware) security and circuit design. In particular, Prof. Pagliarini's team provides expertise on the design of application specific integrated circuits (ASICs). The talk will also cover one successful collaboration between TalTech and TU Graz where a post-quantum crypto core named SABER was recently taped out in 65nm CMOS.
CSBME Faculty Day 2021
October 14th 2021, 13:30 - 18:00 CET, Aula "Alte Technik" and online
In addition to the Inaugural Lecture by David Garcia-Becerra, we will also host the Dean's List awards ceremony for the top students on our faculty and the presentation of the eponymous scholarship.
We are also pleased to have short research presentations by our career professors: Ursula Augsdörfer, Friedrich Fraundorfer, Elisabeth Lex, Viktoria Pammer-Schindler, Markus Steinberger, as well as Selina Wriessnegger.
A running buffet rounds off the Faculty Day.
Computer science education in Bavaria: reacting to the challenges of digitization
When: October 19th, 2021 from 17:00 - 18:00
Where: HS BE01, Steyrergasse 30, Ground Floor // Webex
Registration required!
The unstoppable digitization of all areas of life is changing our society sustainably and dramatically. School education must respond to this appropriately, i.e., on a broad front. This requires a carefully planned, long-term, evidence-based overall strategy designed for sustainability, which must touch (almost) all areas of school activity. In line with this universality of demands, an enormous diversity of terms used for informatics education is evident worldwide. We have identified over 40 relevant terms for this purpose. Equally diverse are the teaching contents offered in this area. The identification of competencies to be learned by students poses particular difficulties. There is very little preliminary research on this to date.
To master digital systems, our students need solid knowledge of their technical functioning and logical structure as well as competencies suitable for everyday use to apply digital tools effectively and efficiently. This foundation can only be learned in a dedicated subject of computer science. But all other school subjects must also respond to the challenges of digitization by adapting their learning objectives, learning methods and the media used accordingly. However, it is not easy to make such changes to an existing school system while it is still in operation. The greatest challenge here is the restructuring of pre- and in-service teacher education, both in computer science and in the didactics of all other subjects.
The German State of Bavaria already reacted to this challenge in 2000 with the introduction of a compulsory subject in computer science at its Gymnasien and Realschulen, which was significantly developed designed and supported by the author, i.a. in teacher education, curriculum work, and by writing textbooks. This was followed in 2019 by another major offensive by the state government, in which the existing compulsory subject of computer science was further expanded as well as newly introduced at main schools.
In this presentation, the basic concept of this subject will be presented, as well as some supporting activities such as teacher training. However, in the course of these activities, some persistent obstacles have also emerged that are very difficult to remove, Above all, the low enrollments in teacher training programs for computer science, as can be observed in almost all concerned countries. One possible reason for this could be found in the contradictory personal requirements of a teaching degree on the one hand and a computer science degree on the other.
International Days 2021
When: October 19th, 2021 - October 21st, 2021
Where: Webex
Have you been thinking about going abroad as part of your studies for some time now? Do you keep asking yourself the following questions: Where? When? For how long? What opportunities are there at all?
During the International Days at Graz University of Technology, there will be various opportunities to get information, ask open questions and network with students who are currently doing a semester abroad or are doing their exchange at Graz University of Technology.
Online consultation
have a look on Discord if we're online
Dean's Office
Inffeldgasse 10/II, 8010 Graz
Office Hours (on site)
Mon, Tue, Thu, Fri 09:00 - 12:00
Wed 10:00 - 11:00 and 14:00 - 16:00
