Ein Band aus der zweiten ICTMF-Konferenz in Singapur, der fortgeschrittene Themen wie komplexitätsanalytische Algorithmen, logische Systeme und formale Modellierung beleuchtet; überarbeitete Beiträge bieten tiefe Einblicke.