Philipp Schuster AlumniPhilipp Schuster presents the paper Compiling Effect Handlers in Capability-Passing Style at the International Conference on Functional Programming (ICFP) 2020 virtual event.
Ingo Skupin AlumniIngo Skupin presents the paper Decomposition Diversity with Symmetric Data and Codata at the Symposium on Principles of Programming Languages in New Orleans (USA).
Philipp Schuster AlumniPhilipp Schuster attends the Shonan meeting
on “Programming and Reasoning with Algebraic Effects and Effect Handlers” from March 25 to 29, 2019.
Former member Paolo Giarusso presents the paper Incremental λ-Calculus in Cache-Transfer Style at the European Symposium on Programming (ESOP) 2019 in Prague, Czech Rebuplic.
At GPCE 2018, we have been awarded a “Most Influential Paper Award” for our 2008 GPCE paper
on “Polymorphic Embedding of DSLs” by Hofer, Ostermann, Rendel, and Moors.
Jonathan Brachthäuser AlumniJonathan Immanuel Brachthäuser presents the paper Effect Handlers for the Masses at the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) in Boston, MA, USA.
Die NovaTec GmbH, ein Kooperationspartner im Tübinger Softwareprojekt, veranstaltet dieses Jahr 3 verschiedene
„Summer Schools“. Alle TeilnehmerInnen der Software Engineering Vorlesung und natürlich auch andere Interessierte sind herzlich dazu eingeladen.
Philipp Gerhard, Software Developer at iPoint-systems gmbh will give an invited guest lecture in Software Engineering and talk about Test Driven Development and Continuous Integration.
Heiko Hütter, Project Manager and Scrum expert at DAASI International will talk about Challenges and best practices in multi-project and multi-product setups using Scrum.
Students present their finished projects and our industry
partners present project proposals for the next iteration of “Das
Tübinger Softwareprojekt”, an industry-acedemia collaboration
with the goal of letting students experience a real software
project as a programmer during their undergraduate studys, or as
a team leader during their graduate studies.
Our TSP Team “Rehality” was granted to join “Dubai 100”. Starting on 13th of January 2017 they will participate in a intensive 100-day programme designed to accelerate the growth of early-stage startups. Only 10 Teams where given this great opportunity.
Julian Jabs AlumniJulian Jabs delivers a talk on Explanation-Oriented Introductory Programming at the International Workshop on Domain-Specific Language Design and Implementation in Amsterdam, The Netherlands.
The participants of the 2016 edition of the industry project „Das
Tübinger Softwareprojekt“ get brought up to speed with git usage
and social coding practices in a half-day workshop at Tübingen
University.
Students participtaing in “Das Tübinger Softwareproject” meet at
a one-day workshop to learn about project management and team
organisation with Scrum.
Graduate students participating in “Das Tübinger Softwareproject”
meet at a one-day workshop to learn about team leadership skills
and their role during the year-long industry-academia
collaboration with the goal of letting students experience a
realistic software engineering project during their studies.
We finish the assignment of student teams for the 2016 edition of
“Das Tübinger Softwareprojekt”, an industry-academia cooperation
for teaching software development and team leadership skills in a
realistic setting. Applicants receive information about their
team assignment per email.
Students present their finished projects and our industry
partners present project proposals for the next iteration of “Das
Tübinger Softwareprojekt”, an industry-acedemia collaboration
with the goal of letting students experience a real software
project as a programmer during their undergraduate studys, or as
a team leader during their graduate studies.
Sebastian Erdweg from the Technical University of Darmstadt
presents a novel formulation of typing rules that is more
amenable to incremental type checking than the usual
representation with typing contexts.
Sebastian Erdweg from the Technical University of Darmstadt
presents a novel formulation of typing rules that is more
amenable to incremental type checking than the usual
representation with typing contexts.
We are happy to announce that the Vector Stiftung is supporting our project “Denken verstehen lernen”, where we aim to develop and try out a “Computational Thinking” curriculum for elementary schools.
The preprint for our paper on equirecursive types in System Fω, with title
“System Fω with Equirecursive Types for Datatype-generic Programming”, is now
available online.
Our paper on equirecursive types in System Fω, with title “System Fω
with Equirecursive Types for Datatype-generic Programming”, has been
accepted for presentation at the annual Symposium on Principles of
Programming Languages.
Our paper on automatic refunctionalization for a language with
copattern matching has been accepted for presentation at the
International Conference on Functional Programming.
This year, Klaus Ostermann HeadKlaus Ostermann is a reviewer at the state-wide
Jugend forscht competition
in Baden-Württemberg. We are looking forward to some exciting
innovations by junior researchers!
Tobias Weber from the University of Marburg visits Tübingen to
defend his BSc. thesis entitled “An Implementation of a Language
with Pattern and Copattern Matching”. On the occasion of his
visit, we organize a little workshop about application of the
language “Uroboro” that Tobias implemented.
Paolo Giarrusso AlumniPaolo G. Giarrusso delivers an invited talk Incrementalizing
λ-Calculi by Static Differentiation: A Theory of Changes for
Higher-Order Languages and Ongoing Work at the PPS seminar of
the University Paris Diderot (Paris 7). The talk is based on our
PLDI 2014 paper and ongoing work in the “incremental λ-calculus”
project.
The Capgemini company presents Quasar, their approach to software
architecture and software development. The presentation is part
of the lecture on software design and programming techniques
(SDPT).
Prof. Dr. Martin Plümicke presents his work on automatic type
inference for Java. The talk is on Friday, December 5, at 2pm
c.t. in Prof. Klaus Ostermann HeadOstermann’s office (B217/218).
Tillmann Rendel AlumniTillmann Rendel delivers an invited talk Towards Modular
Computer Language Components at the colloqium of the School of
Electrical Engineering and Computer Science at Oregon State
University. The talk motivates the need for building specialized
computer languages out of modular and reusable building blocks,
and presents some of the recent work in this area.
Prof. Klaus Ostermann HeadKlaus Ostermann and part of his group move to Tübingen
University, where Prof. Ostermann now holds the chair of
programming languages and software technology.