Dexter Kozen, Completeness and Incompleteness in Nominal Kleene Algebra

  Friday 2015/02/27 Room 02.133-113, Martensstr. 13, 91058 Erlangen info.pdf   Weiterlesen


Tag der Informatik

Friday, 2015/04/17, 2 p.m.   Program Weiterlesen


Manfred Reichert, Managing Flexibility and Evolution Challenges in Process-Aware Information SystemsSystems: Scenarios, Technologies, Tools

      Monday, 2015/01/26, 16:15 hrs, room 02.152, Martensstr. 3, 91058 Erlangen Info.pdf Weiterlesen


Jürgen Pille, POWER8 Chip Design & Technology Outlook

Montag, 26. Januar 2015, 16:15 Uhr Raum 01.150-128, Cauerstr. 11, 91058 Erlangen Info.pdf Weiterlesen


Computer Science talk on 11/10/2014

Sorry, this entry is only available in Deutsch.



Restricted Access to Computer Science building

Due to construction works there will be restricted access to the building of the Computer Science Department, Martensstr. 3 between 14th of July 2014 and 17th of October 2014. Weiterlesen


Computer Science talk on 06/30/2014, 4 p.m.

Prof. Dr. Karl Lieberherr Organizing Software Development Using Competitions Raum 01.150-128 Cauerstr. 11, 91058 Erlangen PDF Weiterlesen


Computer Science talk on 06/23/2014 (in German), 4 p.m., H 8

16:00 Uhr Prof. Dr.-Ing. Horst Zuse Ursprung des Computers

16:45 Uhr Dipl.-Phys. L. Hanewinkel Computer-Generationswechsel




Collaborative Research Center “Invasive Computing”: 4-year extension (in German)

Sorry, this entry is only available in Deutsch.



Computer Science talk on 05/26/2014 (in German)

Network Theory Prof. Dr. John Baez, University of California, Riverside 26.05.2014, 16:15 Uhr, Raum 01.150-128 (Cauerstr. 11)

We are entering the Anthropocene, a new geological epoch in whichthe biosphere is strongly affected by human activities. So, we canexpect the science of this century to draw inspiration from biology,ecology and the environmental problems that confront us. What cancategory theorists, of all people, have to say about this? Researchersin many fields draw diagrams of ne... Weiterlesen