Technical presentations 10 Computer programming languages 4 Algorithms 2 Application programs 2 Arc models 2 Authorization languages 2 Automated support 2 BASIC (programming language) 2 Boolean functions 2 Cavity resonators 2 Computer aided software engineering 2 Computer circuits 2 Computer science 2 DKAL 2 Distributed authorization 2 Distributed knowledge 2 Embedding 2 Encoding 2 Engineering education 2 First-order 2 Formal logic 2 Fundamental modeling 2 Future challenges 2 General classes 2 Graph theory 2 Interpretable representation 2 Intersection graphs 2 Interval graphs 2 Interval models 2 Intuitionistic logic 2