Welcome to IFIP Technical Committee 1

Established as Special Group (SG14) in 1989 and approved as a Technical Committee in 1996, to

• • support the development of theoretical computer science as a fundamental science that has similar scientific goals in understanding the information processing world as physics has in understanding the energy processing world and similar goals in developing methodology for science and technology as mathematics does;

• • support the development and exploration of fundamental concepts, models, theories, systems, and other basic tools and the understanding of laws, limits, and possibilities of information processing as well as to de-velop bridges with other sciences and their applications.

Our Next Events

search Find Events

Quick searches

Next Weekend Next Week Next Month Online

Additional Filters

Date Range

All Days Weekdays Weekends

Location

my_location

Anywhere Online Only Within 50 miles Within 100 miles Within 250 miles Within 500 miles

Please enter your Zip/ Pin to enable distance related search options.

Ticket Price Range

$

$

Clear All

favorite_border

26th International Conference on Descriptional Complexity of Formal Systems

22/07-24/07 2025 Loughborough, GB  

Tue, 22 Jul - 24 Jul

View Details

favorite_border

International School on Rewriting

ISR 2026 — 15th International School on Rewriting 12 July – 16 July 2026; Nijmegen, Netherlands Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used…

Sun, 12 Jul

View Details