NOTE: This is an old web page for TC1, which has not been updated for some time.
A link to the new TC1 page will be established once it becomes ready.
IFIP TC1 Homepage
International Federation for Information Processing
IFIP Technical Committee 1
TC1 on Foundations of Computer Science
Chairman:Professor Michael Hinchey
NASA Software Engineering Laboratory
Goddard Space Flight Center
Greenbelt, MD 20771, USA
Michael.G.Hinchey at nasa.gov ("at" replaced by @)
TC1 Homepage Address:
History of TC1
- 1989: SG14 of Specialist Group on Foundations of Computer Science
(Chair: J. Gruska)
- 1992: Start of WG1.1, WG1.2, and WG1.3
- 1994: Start of WG1.4 and WG1.5
- 01/1997: Start of TC1 on Foundations of Computer Science
(Chair: G. Ausiello; Secretary: R. Gorrieri)
- 02/1997: The 1st TC1 meeting at Bologna, Italy
- 01/1998: Start of WG1.6
- 01/1999: Start of WG1.7
- 01/2000: The 2nd term of G. Ausiello as the TC1 Chair
- 08/2000: The first IFIP TCS Conference (TCS 2000) at Sendai, Japan
- 08/2002: The second IFIP TCS Conference (TCS 2002) at Montreal, Canada
- 09/2002: The first election of TC1 Chair
- 01/2003: Appointment of the new Chair and Secretary
(Chair: T. Ito; Secretary: N. Kobayashi)
- 08/2004: The third IFIP TCS Conference (TCS 2004) at Toulouse, France
- 09/2005: Start of WG1.8
AIMS and SCOPE of TC1
to support the development of theoretical computer science as a fundamental science
that has 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;
to 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 develop bridges with other sciences and their
To encourage, organize, support, and unify the development of the following areas:
with the goal to develop foundations and to make use of them.
- frontiers, laws, and limits of information processing;
- fundamental formal systems;
- efficiency and complexity of information processing;
- formal systems to specify, design, verify, analyse, and manipulate complex
information processing systems;
- theoretical foundations of various other parts of complex science and
its main application areas;
- scientific paradigms of informatics and their relations to other disciplines;
- fundamental concepts, models and theories of information processing to
support the development of other sciences.
|[AR] J. Heintz(a)
||[AT] W. Kuich(a)
||[AU] P. D. Eades(a)
|[BG] B. Sendov(a)
||[BR] I. Simon(a)
||[CA] N. Santoro(b)
|[CH] J. Rolim(a)
||[CL] R. Baeza-Yates(a)
||[CLEI] R. Baeza-Yates(a)
|[CN] H. Lin(a)
||[CZ] J. Gruska(a)
||[DE] W. Brauer(a)
|[DE] E. Mayr(b)
||[DE] U. Nestmann(b)
||[DK] M. Nielsen(a)
|[ES] J. Diaz(a)
||[FI] A. Salomaa (a)
||[FR] M. Nivat(a)
|[FR] J. Sakarovitch(b)
||[GB] C. A. R. Hoare(c)
||[GB] R. Milner(c)
|[GB] D. T. Sannella(a)
||[GR] N. Missirlis(a)
||[GR] P. Spirakis(b)
|[HU] Z. Esik(a)
||[IT] G. Ausiello(a)
||[IT] A. Bertoni (b)
|[IT] U. Montanari(b)
||[JP] T. Ito(a)
||[JP] N. Kobayashi(b)
|[NL] Jos Baeten(a)
||[NL] P. van Emde Boas(b)
||[NL] J. van Leeuwen(b)
|[NL] G. Rozenberg(b)
||[PL] J. Blazewicz(a)
||[PL] A. Tarlecki(b)
|[PT] A. Sernadas(a)
||[SI] V. Batagelj(a)
||[SK] B. Rovan(a)
|[TH] S. Charmonman(a)
||[US] D. S. Johnson (ACM)(a)
||[US] J. C. Mitchell (ACM)(b)
|[US] M. O. Rabin(c)
||[US] J. T. Traub (ACM)(b)
||[US] L. G. Valiant(c)
- (a) indicates a TC1 representative from an IFIP Member Society.
- (b) indicates a member recommended by TC1.
- (c) indicates a Distinguished Fellow member.
- WG Chairs are ex-officio members
TC1 Working Groups
TC1 has created seven Working Groups (WG1.1-WG1.7) in order to promote activities in
specific foundational and theoretical areas of computer science in the
spirit of Aims and
Scope of TC1. Also, TC1 would create new working groups in response to strong needs and
changes of some specific fields along with the research and development in foundations and
theories in computer science.
The members of Working Groups are scientists and research engineers from
industrial institutions like universities, research institutes, and companies;
expected to be expert/leading researchers in the fields covered by the
Working Groups organize their events, including annual meeting(s) and workshop(s);
who are interested in participating their events should contact to their chairs, since
participations in some events are by invitation only.
The current Working Groups of TC1 are as follows:
- WG1.1 on Continuous Algorithms and Complexity [Chair: H. Wozniakowski]
- WG1.1 Homepage: http://www.cs.columbia.edu/cacnet
- WG1.2 on Descriptional Complexity [Acting Chair: Chandra M. R. Kintala]
- WG1.2 Homepage: http://psc.informatik.uni-frankfurt.de/ifip-wg1.2/
- WG1.3 on Foundations of System Specifications [Chair: J. L. Fiadeiro]
- WG1.3 Homepage: http://www.fiadeiro.org/jose/IFIP-WG1.3/
- WG1.4 on Computational Learning Theory [Chair: A. Sharma]
- WG1.4 Homepage: http://www.cs.umd.edu/~smith/ifip.html
- WG1.6 on Term Rewriting [Chair: C. Kirchner]
- WG1.6 Homepage: http://rewriting.loria.fr/IFIP-WG1.6/
- WG1.7 on Theoretical Foundations of Security Analysis and Design[Chair: R. Gorrieri]
- WG1.7 Homepage: http://www.dsi.unive.it/~focardi/IFIPWG1_7/
- WG1.8 on Concurrency Theory [Chair: L. Aceto]
- WG1.8 Homepage:
TC1 Activity Reports
The activity reports of TC1 from 1997 until 2002 are available
which are prepared and maintained by Prof G. Ausiello (The first TC1 Chair) and his staff.
The activity reports after January, 2003 are available below.
- IFIP TCS 2004
at WCC 2004 , Toulouse,
23-26 August, 2004.
- TCS Colloquium,
Toulouse, 22 August, 2004.
Workshop on Issues in the Theory of Security,
Barcelona, 3-4 April 2004.
CMCS'04: 7th International Workshop on Coalgebraic Methods in Computer
Barcelona, 3-4 April 2004.
WADT'04: 17th Int. Workshop on Algebraic Development Techniques,
Barcelona, 3-4 April 2004.
RDP 2004 (Federated Conference on Rewriting, Deduction, and Programming),
Aachen, Germany, 31 May - 5 June, 2004.
ICGT'04: 2nd International Conference on Graph Transformation,
Rome, 13-19 September 2004.
Information for TC1 members