Time representation and use in Computer Science:

• The improvement of generic tools used in the design of dynamic systems, for example:
  • Temporal Logics (see entry in Stanford Encyclopedia of Philosophy by Dr. Antony Galton)
  • Timed Petri Nets
  • Timed Finite Automata
• Applications in the formalization of devices and protocols in Business and Industry
• Verification of behavioural properties of systems
• The interaction of the concept with different areas of Computer Science: Real-Time, Databases, Multimedia, Artificial Intelligence, ....
• The production of tools related to the dynamic aspects of systems