• RPTU Department of Computer Science ResearchColloquiaJahr 2021
RPTU SiteRPTU Site
  • Deutsch
RPTU SiteRPTU Site
Department of Computer Science
  • News
    • News
    • Current news, schedules, presentations, ...

      News
    • Dates
    • News from the Department
    • News Archive
    • Miscellaneous
  • Education
    • Education
    • All about admission, courses, lectures, examina, ...

      Education
    • Target Groups
    • For Applicants
    • For Students
    • PhDs and Graduate School
    • For Alumni
    • Courses of Study
    • Courses of Studies
    • Lectures
    • Courses of Study (Additional Informations)
    • Studienanleitung Informatik und Sozioinformatik
    • About Studying Computer Science
  • Research
    • Research
    • Research at the Dept. of Comp. Sci.: research groups, institutes, ...

      Research
    • Professors and lecturers
    • Allied Institutes
    • Colloquia
    • Jobs and Career
    • PhD Program
    • Completed PhDs
  • Organisation
    • Organisation
    • The organizational structure of the Dept. of Comp. Sci: research groups, central institutions, ...

      Organisation
    • Professors and lecturers
    • Office of the Dean
    • SCI
    • Students Council
    • Library
    • Allied Institutes
    • Examination Office
    • Committees
    • Association "Friends of the Department of Computer-Science" ("Förderverein Informatik", FIT)
  • Contact
    • Contact
    • Addresses, maps, bus and train schedules, ...

      Contact
    • Contact Addresses
    • Search
    • Get there
    • Map of our Campus
    • Public Transport Schedules
    • Topographic Maps
    • Umfeld
    • RPTU
    • The City of Kaiserslautern
    • KL-Inform
    • Association "Friends of the Department of Computer-Science" ("Förderverein Informatik", FIT)
  • Search
    • Search
    • Search for people and keywords

      Search
  • Information for
  • Current Students
  • New Students
  • Future Students
  • Pupils and Teachers
  • Researchers
Department of Computer Science
  • ResearchColloquiaJahr 2021

Jedermaann

11.01.2021: Eric Jedermaann, AG DISCO, Prof. Schmitt
"space-DISCO - An Introduction To Satellite Security"

Schneider

11.01.2021: Thomas Schneider, AG Algorithmics and Complexity, Prof. Schweitzer
"Classification of Finite Highly Regular Vertex-Coloured Graphs"

Zdancewi

13.01.2021 15:00 Uhr:

In the Distinguished Lecture Series of the Max Planck Institute for Softwaresystems in cooperation with the department of computer science,

Steve Zdancewi

is giving a talk on his work on

VellVM: Verifying LLVM IR Code

Langer

14.01.2021 16:00 Uhr:

Within the Seminar Series on Scientific Computing we are pleased to announce a lecture by

PD Dr. Stefan Langer

is giving a talk on his work on

"On boundary value problems for RANS equations and two-equation turbulence models – Talk 1"

Swanson

21.01.2021: Dr. Roy Charles Swanson, NASA Langley Research Center
"On boundary value problems for RANS equations and two-equation turbulence models – Talk 2"

Santhosh

25.01.2021: Jayasankar Santhosh, SDS-DFKI, Prof. Dengel
"Deep Learning Based Learning Analytics and Augmentation"

Sohns

25.01.2021: Jan-Tobias Sohns, AG Visual Information Analysis, Prof. Leitte
"Decision Boundaries: Feature-Space Exploration of Black Box Classifiers"

Wang

28.01.2021: Prof. Qiqi Wang, Massachusetts Institute of Technology (MIT), USA
"The climatic butterfly effect — do numerical simulations capture the statistics of chaotic systems?"

Gupta

08.02.2021: Shraddha Gupta, AG Embedded Intelligence, Prof. Lukowicz
"Explainable and informed machine learning based predictive maintenance in hot staking resistance welding process"

Schröder

08.02.2021: Markus Schröder, DFKI GmbH, Smart Data & Knowledge Services (SDS) Group, Prof. Andreas Dengel
"Building Knowledge Graphs from Messy Enterprise Data"

Schmitt

11.02.2021: Michaela Schmitt, TU Kaiserslautern
"Recent approaches in Opacity Optimization"

Brishtel

22.02.2021: Iuliia Brishtel, DFKI
"User´s ongoing physiological and mental state recognition using multimodal sensor approach"

Martin

22.02.2021: Jack D. Martin, AG Cyber-Physical Systems
"Constraint Net Design and Implementation Utilizing Affine Arithmetic Decision Diagrams and Integer Decision Diagrams"

Seebach

22.02.2021: Constantin Seebach, AG Algoritms and Complexity, Prof. Schweitzer
"Exponential Time Algorithms for Easy Problems"

Nagashima

25.02.2021: Yutaka Nagashima
"Artificial Intelligence for Inductive Theorem Proving"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Komendantskaya

11.03.2021: Ekaterina Komendantskaya,
"Continuous Verification of Machine Learning: a Declarative Programming Approach"

Cheng

18.03.2021: Chih-Hong Cheng,
"Verification and Validation of DNN-based Autonomy Perception"

Markgraf

25.03.2021: Oliver Markgraf,
"Learning in reactive Synthesis"

Meel

29.03.2021: Kuldeep Meel, National University of Singapore
"Functional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine Learning"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Argyraki

31.03.2021: Katerina Argyraki, EPFL, Switzerland
"Internet Transparency"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Liu

08.04.2021: Guyue (Grace) Liu, Carnegie Mellon University
"Watching the Watchmen: Trustworthy Network Tasks Outsourcing"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Platzer

14.04.2021: André Platzer, Carnegie Mellon University
"Logical Foundations of Cyber-Physical Systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Fetzer

19.04.2021: Torben Fetzer,
"Structured Light Reconstruction - An Entire Pipeline with Improvements in Usability, Accuracy, Stability and Speed"

Katoen

21.04.2021: Joost-Pieter Katoen, RWTH Aachen University
"On Probabilistic Program Termination"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Barceló

22.04.2021: Pablo Barceló, Pontificia Universidad Católica de Chile
"Explainability Queries for ML Models and its Connections with Data Management Problems"

Kolaitis

28.04.2021: Phokion G. Kolaitis, University of California Santa Cruz and IBM Research
"Computational Social Choice and Incomplete Information"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Givois

29.04.2021: Félix Givois, Fraunhofer ITWM, Kaiserslautern
"Quantum Computing for Material Characterization"

Bosnar

03.05.2021: Lovro Bosnar, Computer Graphics and HCI Group
"Material modeling and rendering for surface inspection"

Panangaden

05.05.2021: Prakash Panangaden, McGill University and Mila
"Distributional analysis of sampling-based RL algorithms"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Harder

06.05.2021: Paula Harder, Fraunhofer ITWM, Kaiserslautern
"Emulating Aerosol Microphysics with Machine Learning"

Lei

27.05.2021: Yunwen Lei,
"Statistical Learning by Stochastic Gradient Descent"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Kupfermann

12.05.2021: Orna Kupfermann, Hebrew University, Jerusalem
"From Correctness to High Quality"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Bakhshizadeh

17.05.2021: Mahta Bakhshizadeh,
"Context-Aware Recommender Systems for Personal Knowledge Assistants"

Doniparthi

17.05.2021: Gajendra Doniparthi,
"Indexing Methods for Interactive Exploration of Large-Scale Bio-Science Research Data"

Seltzer

19.05.2021: Margo Seltzer, University of British Columbia
"Caching: It's not just about Data"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Blühdorn

20.05.2021: Johannes Blühdorn, Technische Universität Kaiserslautern
"OpDiLib, an Open Multiprocessing Differentiation Library"

D’Antoni

20.05.2021: Loris D’Antoni, University of Wisconsin-Madison
"Programmable Program Synthesis"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Sagiv

26.05.2021: Mooly Sagiv, Certora and Tel Aviv University
"Modularity for Decidability: Formal Reasoning about Decentralized Financial Applications"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Ram

27.05.2021: Raju Ram, Fraunhofer ITWM, Kaiserslautern
"Hybrid parallel ILU preconditioner to solve sparse linear systems"

Kleinberg

02.06.2021: Jon Kleinberg, Cornell University, Ithaca, New York
"Monoculture and Simplicity in an Ecosystem of Algorithmic Decision-Making"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Müller-Zhang

07.06.2021: Zai Müller-Zhang,
"Integrated Planning and Scheduling for Customized Production using Digital Twins and Reinforcement Learning"

Mitra

16.06.2021: Tulika Mitra, National University of Singapore
"Domain-Agnostic Accelerators: Efficiency with Programmability"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Dellmann

21.06.2021: Tim Dellmann,
"Robust object recognition for agricultural robots through augmentation with simulated data sets"

Kötting

21.06.2021: Christian Kötting,
"FPGAs in Roboterkontrollarchitekturen"

Krause

24.06.2021: Dr. Mathias J. Krause, Lattice Boltzmann Research Group, Karlsruher Institut für Technologie (KIT)
"Fluid Flow Optimization with Lattice Boltzmann Methods with Applications"

Bos

30.06.2021: Herbert Bos, Vrije Universiteit Amsterdam
"Attacks on Hardware: Why You Should Not Do It"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Meckel

05.07.2021: Dennis Meckel,
"Concepts and Tooling for the Ecosystem of the Behavior-Based Control Architecture iB2C"

Chatzimichailidis

08.07.2021: Avraam Chatzimichailidis, Fraunhofer ITWM, Kaiserslautern
"Second-Order Methods for Neural Networks/Bridging the Gap between Neural Network Pruning and Neural Architecture Search"

Pietzuch

14.07.2021: Prof. Peter Pietzuch, Imperial College London
"Making Distributed Deep Learning Adaptive"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Mandal

11.08.2021: Debmalya Mandal, Columbia University
"Decision Making with Heterogeneous Agents"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Piessens

15.09.2021: Frank Piessens, Katholieke Universiteit Leuven, Belgium
"Validating models for microarchitectural security"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Christandl

16.09.2021: Matthias Christandl, Copenhagen
"Fault-tolerant Coding for Quantum Communication"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Kovacs

22.09.2021: Laura Kovacs, TU Wien
"Algebra-based Analysis of Polynomial Probabilistic Programs"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Silva

28.10.2021: Alexandra Silva,
"Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Roscoe

03.11.2021: Timothy Roscoe, ETH Zurich
"Enzian: a cache-coherent heterogeneous research computer"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Schloßer

08.11.2021: Sebastian Schloßer, TU Kaiserslautern
"Interactive Semantics for the Course "Fundamentals of Programming""

Sagebaum

11.11.2021: Dr. Max Sagebaum, TU Kaiserslautern
"Aggregated type handling in CoDiPack"

Gehrke

15.11.2021: Johannes Gehrke, Microsoft Research at Redmond
"Database Systems 2.0"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Khan

22.11.2021: Pervaiz Iqbal Khan, AG Smart Data and Knowledge services
"Leveraging Biomedical data to improve healthcare services"

Gutierrez

25.11.2021: Julian Gutierrez,
"Games, Logic, and Formal Verification"

Özkaya

25.11.2021: Dr. Emre Özkaya, AG Scientific Computing, TU Kaiserslautern
"Robust Design Optimization Package: RoDeO"

Kinner

29.11.2021: Eric Kinner, AG Garth, TU Kaiserslautern
"Streamline Embedding using Machine Learning"

Jeż

02.12.2021: Artur Jeż, University of Wrocław
"Recompression-based algorithm for word equations"

Strong

02.12.2021: Dr. Giles Strong, CERN, University of Padova
"PyTorch-based Differential Muon Tomography Optimisation"

Rey

06.12.2021: Vitor Fortes Rey, AG Lukowicz, TU Kaiserslautern
"Translating Videos into Synthetic Training Data for Wearable Sensor-Based Activity Recognition Systems"

Manea

09.12.2021: Florin Manea, University of Göttingen
"Matching Patterns with Variables: A General Framework for Text Processing"

Morlighem

09.12.2021: Prof. Mathieu Morlighem, Department of Earth Sciences, Dartmouth College, Hanover, New Hampshire, USA
"The challenges of modeling the ice sheets in a changing climate"

Hatic

13.12.2021: Damjan Hatic, AG HCI, TU Kaiserslautern
"Machine learning methods for analysis of post catastrophic crisis areas"

Zillien

13.12.2021: Sebastian Zillien, AG Computer Graphics, HS Worms
"Reliability Test Suite for Input Data Perturbations"




Superordinated page:

Colloquia

Lectures and colloquia in the Department of Computer Science.

Feedback for this Page

Email to the person in charge of this page (sakdapol@informatik.uni-kl.de)
  • Instagram
  • Facebook
  • Twitter
  • YouTube
  • LinkedIn
Schnellzugriff
  • Studies
  • Courses of Studies
  • Lectures
  • Module Handbook
  • Examination Regulations
Information for
  • Current Students
  • New Students
  • Future Students
  • Pupils and Teachers
  • Researchers
Service
  • Structure
  • Arbeitsgruppen
  • Dekanat
  • SCI
  • Fachschaft
  • Service
  • Mensa
Fachbereich Informatik

Informatik in Kaiserslautern

Gottlieb-Daimler-Straße
Gebäude 48
67663 Kaiserslautern

49.42354, 7.75376

 

  

 

Copyright © 2024 RPTU. Alle Rechte vorbehalten.
  • Kontakt
  • Impressum
  • Datenschutzerklärung
  • Datenschutz und soziale Medien
  • Erklärung zur Barrierefreiheit