Recent Changes
This collection shows recently changed items.
- RISC Forum Jan 23, 2017 from 01:30 PM to 02:15 PM — Seminar room castle,
- Peter Paule: announcement `10 years DESY-RISC colloquium'; David Cerna: Clausal analysis in proof theory
- RISC Forum Jan 16, 2017 from 01:30 PM to 01:40 PM
- Nguyen Khanh Linh Tran: Self-Introduction
- RISC Forum Jan 09, 2017 from 01:30 PM to 01:50 PM
- Prof. Peter Paule: announcements, report on projects
- RISC Forum Dec 05, 2016 from 01:30 PM to 02:00 PM — Seminar room castle,
- Wolfgang Schreiner: Verifying Algorithms via Checking Finite Instances
- Risc Colloquium Nov 14, 2016 from 01:30 PM to 02:30 PM
- Prof. Erika Abraham: Symbolic Computation Techniques in Satisfiability Checking
- RISC Forum Nov 28, 2016 from 01:30 PM to 02:00 PM — Seminar room castle,
- Thieu Vo Ngoc: Report on PhD thesis progress
- RISC Forum Nov 21, 2016 from 01:30 PM to 02:00 PM — Seminar room castle,
- Self-introduction by Antonio Jimenez Pastor, Jan Legersky, Lin Jiu and Nicolas Smoot
- RISC Forum Oct 24, 2016 from 01:30 PM to 02:00 PM — Seminar room castle,
- Jose Capco: Algebraic extensions and algebraic closures of commutative rings
- RISC Forum Nov 07, 2016 from 01:30 PM to 02:05 PM — Seminar room castle,
- David Cerna: visit to the conference SCSS 2016; Christoph Fuerst: Axiomatic Description of Groebner Reduction (thesis defense)
- Risc Colloquium Oct 17, 2016 from 01:30 PM to 02:30 PM — Seminar room castle,
- Prof. Masahiko Sato: Proof theory of the lambda calculus
- RISC Forum Oct 10, 2016 from 01:30 PM to 02:00 PM — Seminar room pond,
- Ngoc Thieu: Report: Visit CUNY, New York
-
RISCJKUrollup
-
Data Uploader
-
Recommendations Upload
- Optional. Upload your recommendation letter(s). If there are several letters, then upload a zip file of all of those letters.
- RISC Forum Jun 20, 2016 from 01:30 PM to 01:50 PM — Seminar room castle,
- Temur Kutsia: Current research
- RISC Forum Jun 06, 2016 from 01:30 PM to 02:00 PM — Seminar room castle,
- Josef Schicho: On the Lecture "Algebraic Methods of Kinematics"
- RISC Forum Jun 13, 2016 from 01:30 PM to 01:50 PM
- Makhul Mehdi: Dirac-Motzkin conjecture and Orchard problem for circles
- RISC Forum May 30, 2016 from 01:30 PM to 01:45 PM — Seminar room castle,
- Heinrich Rolletschek: More on the Euclidean algorithm in number fields
- Risc Colloquium May 09, 2016 from 01:30 PM to 02:30 PM — Seminar room castle,
- Prof. Martin Kreuzer: Linear Algebra 1.6
- Risc Colloquium May 02, 2016 from 01:30 PM to 02:30 PM — Seminar room castle,
- Prof. Krishnaswami Alladi: The number of prime factors of integers - a selection of charming results both old and new