IFIP TC1 Homepage

IFIP
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
Email: Michael.G.Hinchey at nasa.gov ("at" replaced by @)

TC1 Homepage Address: http://www.kb.ecei.tohoku.ac.jp/IFIP-TC1/

Contents

• History
• AIMS and SCOPE of TC1
  
• TC1 Members
  
• TC1 Working Groups
  
• TC1 Activity Reports
  
• TC1 Events
• Links
• Information for TC1 members

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

AIMS

• 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 applications.

SCOPE
To encourage, organize, support, and unify the development of the following areas:

• 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.

TC1 Members

NOTE

• (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 academic and
industrial institutions like universities, research institutes, and companies; they are
expected to be expert/leading researchers in the fields covered by the corresponding Working
Groups.
Working Groups organize their events, including annual meeting(s) and workshop(s); those
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: http://www.ru.is/luca/IFIPWG1.8/

TC1 Activity Reports

The activity reports of TC1 from 1997 until 2002 are available here, 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.

• Draft Minutes of the TC1 Meeting held at Berlin on February 26, 2003
• Report of TC1 on Foundations of Computer Science (August, 2003) — Report for IFIP General Assembly 2003 at Vilnius, Lithuania
• Chairman's Report at IFIP Council & TA (Cape Town; March, 2004)
• Minutes of the TC1 Meeting held at Toulouse on August 22, 2004
• Chairman's Report at IFIP GA2004 (Toulouse; August, 2004)
• Draft Minutes of the TC1 Meeting held at Chicago on June 30, 2005

TC1 Events

• 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 Science, 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.

Links

• IFIP Homepage
• WCC Homepage
• IFIP Bulletin
• IFIP Statute & Bylaw

Information for TC1 members

• Format of WG Report
• Guidelines and Procedures for Applying and Getting TC1 Funds for Events (2003)
• IFIP Procedure for TC Funds
• IFIP: Its Origins, Mission and Finances
• IFIP Summer Schools
• IFIP Working Group Chair: Job Description
• IFIP TC Chair: Job Description
• Responsibilities of IFIP National Representatives [DRAFT at IFIP Council (Cape Town, 2004)]