All search results for . 18691-18700 of 20464 results.

13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
...TACAS is a forum for researchers, developers and users interested in rigorously ...

George B. Dantzig Dissertation Award
...2025 Committee Chair...

Tobias Achterberg
......

Sam K. Hui
......

Pelin Pekgun
......

Kyungduck Cha
......

Franz Edelman Academy: F - J
...body table...

Franz Edelman Award
...2025 & 2026 Committee Chair...

Saul Gass Expository Writing Award
...Committee Chair...

Impact Prize
...Committee Chair...