Invited Talk (Abstract).- Pervasive Computing - A Case for the Precautionary Principle?.- Session...

This volume contains the contributions presented at the International Workshop on Current Trends ...

By presenting state-of-the-art results in logical reasoning and formal methods in the context of ...

Invited Talks (Abstracts).- The Age of Pervasive Computing - Everything Smart, Everything Connect...

Die Enquete-Kommission 'Schutz des Menschen und der Umwelt' hat mit den ehrgeizigen Zielen, die F...

Rippling is a radically new technique for the automation of mathematical reasoning. It is widely ...