Zum Hauptinhalt springen

Scientific Works

TC 2 - Software: Theory and Practice

TC 1 - Foundations of Computer Science -  was 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.

The scope of TC 1 is to encourage, organise, 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 computer science and its main application areas;
  • scientific paradigms of informatics and their relations to other disciplines;
  • information processing fundamental concepts, models and theories to support the development of other sciences. With the goal to develop foundations and to make use of them.

TC 1 consists of the following Working Groups/Special Interest Groups:

  • WG 1.2: Descriptional Complexity
  • WG 1.3: Foundations of System Specification
  • WG 1.5: Cellular Automata and Discrete Complex Systems
  • WG 1.6: Rewriting
  • WG 1.7: Theoretical Foundations of Security Analysis and Design
  • WG 1.8: Concurrency Theory
  • WG 1.9: Verified Software (joint with WG 2.15)
  • WG 1.10: String Algorithmics & Applications
  • WG 1.11: Foundations of Quantum Computation (joint with WG 2.17)

Further information: http://www.ifip-tc1.org 

TC 2 - Software: Theory and Practice - was established in 1962, revised 1982 and to  1990 to obtain a deeper understanding of programming concepts in order to improve the quality of software by studying all aspects of the software development process, both theoretical and practical.

The scope of the committee encompasses all aspects of the software development process including the specification, design, implementation and validation of software systems. Areas of present activity are:

  • formal models of software concepts
  • programming languages and techniques
  • models for information storage and processing
  • program support environments
  • user interfaces to software systems
  • software quality

TC 2 consits of the following Working Groups/Special Interest Groups:

  • WG 2.1: Algorithmic Languages and Calculi
  • WG 2.2: Formal Description of Programming Concepts
  • WG 2.3: Programming Methodology
  • WG 2.4: Software Implementation Technology
  • WG 2.5: Numerical Software
  • WG 2.6: Database
  • WG 2.7: User Interface Engineering (joint with WG 13.4)
  • WG 2.8: Functional Programming
  • WG 2.9: Software Requirements Engineering
  • WG 2.10: Software Architecture
  • WG 2.11: Program Generation
  • WG 2.13: Open Source Software
  • WG 2.14: Service-Oriented Systems (joint with WG 6.12/8.10)
  • WG 2.15: Verified Software (joint with WG 1.9)
  • WG 2.16: Programming Language Design
  • WG 2.17: Foundations of Quantum Computation (joint with WG 1.11)

Further information: https://ifip.org/tc/?tc=tc2 

Technical Committee 3 Education covers all aspects of modelling for informatics curricula, training programs, and teaching methodologies. It is multidisciplinary - involving informatics, didactics of informatics, educational sciences, engineering, and design. It is truly international: the committee members are experts from countries world wide, promoting high quality research of education. Its Working Groups and Special Interest Groups organize events on special focus areas within:

  •  Informatics and ICT in Secondary Education The role of both informatics and resulting Information an Communication Technologies (ICT) in secondary education (age range from 11 to 18 years).
  • Informatics and ICT at the level of Higher Education The role of both informatics and resulting Information and Communication Technologies (ICT) in higher education.
  • Research on Education Applications of Information Technologies To provide a forum to identify issues and priorities for research and to map research policies arising from the differing cultures in IFIP Member countries.
  • IT-Professional and Vocational Education in Information Technology Focus is on the area of professional and vocational education rather than on specific computing curricula in primary, secondary or tertiary educational institutions.
  • Information and Communication Technologies in Elementary Education The role of Information and Communication Technologies (ICT) in elementary education (age range from pre-school to 13 years).
  • Distance Learning To consider what is necessary to prepare the whole society for living in the information age, using a distance learning system
  • Information Technology in Educational Management Focus is on use of Information technology within the educational management of educational institutions, educational authorities and educational system networks, to enhance educational effectiveness and development.
  • Lifelong Learning All aspects of the interactive role of informatics and resulting technologies in lifelong learning.

How to get involved
Participating in events organized by TC 3 Education and its working groups helps to expand our network and provides you with excellent opportunities to present and discuss your results together with peers. Contact the chairs of the Working Groups (WGs) on the website of TC3.

Technical Committee 5 – Information Technology Applications – provides a focus for multi-disciplinary research into the application of information technologies and practices to facilitate information management - that is, to make it easier for people to have up-to-date knowledge, to be flexible, and to adapt to new developments.

Some non-exclusive examples are:

  • Product Lifecycle Management
  • Digital Engineering / Digital Modeling and Simulation / Digital Manufacturing
  • Computer Aided Product Realization
  • Integrated Manufacturing / Production Management including Data Management for Production, Process Planning and Tools
  • Virtual Product Creation, Visualization and Digital Verification of Product and Process
  • Environmental Information and Decision Support Systems for Environmental Monitoring, Management, Research and Policy, including Risk and Crisis Management
  • Virtual collaboration supporting the interaction between product, production, supply chain management, recycling and end of life disposal
  • Enterprise integration to facilitate product realization.

How to get involved
Participating in events organized by TC 5 and its 8 Working Groups and one SIG helps to expand our network and provides you with excellent opportunities to present and discuss your results together with peers. Contact the chairs of the Working Groups (WGs) on the website of TC5.

Technical Committee 6 (TC 6 - Communications Systems) is an important TC within IFIP in terms both of its activity and of the revenue it generates for IFIP from publications and conferences. Currently, TC 6 has ten WGs, the majority of which are concerned either with specific aspects of communications systems themselves or with the application of communications systems, but one WG is concerned with communications in developing countries. TC 6 meets twice a year, in Spring and Autumn (Fall), usually co-locating its meetings with a related conference.

The work of TC 6 is largely concerned with managing and co-ordinating the WGs and with setting the strategies both for TC 6 itself and for existing and future WGs. The WGs are largely concerned with organising their own events and with ensuring that they are at the forefront of developments in their field. Sometimes,TC 6 itself may take responsibility for events, either if the event involves multiple WGs or if the event is a flagship event for TC 6. Given these activities, the ideal member of TC 6 will have experience of organising events, particularly international ones, and will have expertise in one or more areas of relating to communications systems. While TC 6's business is, increasingly, conducted by e-mail, by the website or by its internal wiki, there is no substitute for face-to- face discussion. TC 6 expects its members to attend one meeting in three, at a minimum, and would obviously like members to attend as many meetings as possible.

Technical Committee 7 (TC 7)  - System Modeling and Optimization - fosters the research in modeling of large and complex systems and aspects of their mathematical optimization.  It promotes associated high-level theory and also important applications. Currently, TC 7 has seven working groups (WGs).  Their focus ranges from modeling, identification and simulation of large and complex systems in the environment, biology, social sciences or computer science up to various aspects of optimization theory and associated numerical methods. In particular, this concerns theory, numerical methods and applications of continuous, discrete and stochastic optimization and optimal control.

TC 7 also supports the research in performance and optimization of data processes in computers, complex structural systems and computer-aided systems. In this way, the interests of TC 7 vary between Applied Mathematics and Computer Science.

The main event of TC 7 is its "TC 7 Conference on System Modeling and Optimization" which takes place every other year.  These meetings are mainly devoted to mathematical methods, numerical techniques and high-level applications of optimization and control theory.  The WGs are largely concerned with organizing smaller international workshops in various locations, where the latest results in their particular field are presented.

Technical Committee 8 established in 1976 is dedicated to the field of Information Systems. It aims to promote and encourage the advancement of research and practice of concepts, methods, techniques, and issues related to information systems in organizations. TC8 has currently established eight working groups. In addition to the activities of its working groups, TC8 also organizes working conferences and publishes books through IFIP.

The major aim of TC 8 is to promote and encourage interactions among professionals from practice and research and advancement of investigation of concepts, methods, techniques, tools, and issues related to information systems in organizations. The scope of these activities covers planning, analysis, design, construction, modification, implementation, utilization, evaluation, and management of information systems that use information technology to support and coordinate organizational activities including:

  • Effective utilization of information technologies in organizational context;
  • Interdependencies of information technologies and organizational structure, relationships, and interaction;
  • Evaluation and management of information systems;
  • Analysis, design, construction, modification, and implementation of computer-based information systems for organizations;
  • Management of knowledge, information, and data in organizations;
  • Information systems applications in organizations such as transaction processing, routine data processing, decision support, office support, computer-integrated manufacturing, expert support, executive support, and support for strategic advantage plus the coordination and interaction of such applications;
  • Relevant research and practice from associated fields such as computer science, operations management, economics, organization theory, cognitive science, knowledge engineering, and systems theory.

There is an overlap with the activities of other TCs, in particular TC 5. Current interests of TC 8, however, can be characterized by “Global Information Systems Processes” where all its Working Groups can contribute. Such IS processes must be modeled (WG 8.1), and they will help change organizations in becoming virtual and individualized (WG 8.2). Changes in decision making (WG 8.3) and e-business systems (WG 8.4) are some of the most prominent examples of global processes. In addition, public processes (WG 8.5) are becoming more global, and diffusion, adoption, and implementation issues (WG 8.6) are intensified by the globalization of processes. Smart Cards (WG 8.8) are global as are Enterprise Information Systems (WG 8.9). 

Technical Committee 9 is an important TC within IFIP in terms both of its activity, and as it demonstrates awareness and openness of IFIP towards societies, politics, and cultures. TC 9 has nine WGs, that enclose the interconnected global fields Computers and Work, Social Accountability (including a very active subgroup on Ethical Aspects), Home Oriented Informatics and Telematics,  Social Implications of Computers in Developing Countries, and the specific topics of Virtuality and Society, ICT Misuse and the Law, History of Computing, ICT and Gender Diversity, and Sustainable Development in ICT.

The WGs are largely concerned to organize their own events and with ensuring that they are at the forefront of developments in their field. Sometimes,TC-9 itself may take responsibility for events, either if the event involves multiple WGs or if the event is a flagship event for TC 9. Given these activities, members of TC 9 will show initiative and have some experience to organize events, particularly international ones, and will have expertise in one or more areas of relating to the basic issues. TC 9 expects its members to attend meetings more or less regularly, and spread the news to their professional environment.
 

Technical Committee 10 contributes substantially within IFIP in terms of its activity and of the revenue it generates for IFIP from publications and conferences. Currently, TC 10 has four WGs: WG 10.2 on Embedded Systems, WG 10.3 on Concurrent Systems, WG 10.4 on Dependable Computing and Fault Tolerance, and WG 10.5 on Design and Engineering of Electronic Systems.  TC 10 meets once a year, usually co-locating its meetings with a related conference.

TC 10 defines itself as a federation of its WGs. At TC-level the activities of the WGs are co-ordinated and at the same time strategic decisions concerning existing and future WGs are made. The WGs are largely concerned with organizing their own events and with ensuring that they are at the forefront of developments in their field. All of the WGs have their own flagship events which ensure substantial visibility of TC 10 and the respective WG. Currently TC 10 has 27 members (including the four WG Chairs) from all continents. They have experience in organizing events, especially international ones and have expertise in one or more areas covered by TC 10. As TC 10 expects its members and the WG chairs to attend TC 10 meetings on a regular basis, a close international collaboration is ensured. 

IFIP Technical Committee 11 on Security and Privacy Protection in Information Processing Systems was created in 1983 under the chairmanship of the late Kristian Beckman of Sweden. Representatives from 30 countries that are members of this committee meet at least once a year at the IFIP/Sec conferences that are held in different member countries.

Aims: To increase the trustworthiness and general confidence in information processing and to act as a forum for security and privacy protection experts and others professionally active in the field.

Scope:

  • the establishment of a common frame of reference for security and privacy protection in organizations, professions and the public domain;
  • the exchange of practical experience;
  • the dissemination of information on and the evaluation of current
  • and future protective techniques;
  • the promotion of security and privacy protection as essential
  • elements of information processing systems;
  • the clarification of the relation between security and privacy
  • protection.

TC 11 objectives are carried out through the activities of 14 WGs and an annual SEC conference.
Website: www.ifiptc11.org

TC 12 Artificial Intelligence was established in 1989, at that point Artificial Intelligence was already a well established and vital field, with its own journals, conferences and transnational organizations. The original aim of TC 12 (which was revised in 1991) was to promote research in Artificial Intelligence and the interdisciplinary exchange between Artificial Intelligence and other fields of information processing. TC 12 held its first meeting in Bruges, Belgium, May 31 – June 1, 1991. A primary objective for TC 12 has since then been to build workable relationships with the existing organizations and to make clear that IFIP represents added value to Artificial Intelligence.

There are three main goals, namely

  • To foster the development and understanding of Artificial Intelligence and its applications worldwide.
  • To promote interdisciplinary exchanges between Artificial Intelligence and other fields of information processing.
  • To contribute to the further development of IFIP as the international body for Information Processing, and to achieving its overall aims and objectives.

There are two flagship events of TC 12

  • The annual Artificial Intelligence Applications and Innovations (AIAI), which started in Toulouse 2004
  • The biennial Intelligent Information Processing (IIP) conferences, which started in Beijing 2000

For the information about the Working Groups and how to get involved you are kindly invited to visit the website of TC 12: www.ifiptc12.org.

Technical Committee 13 Human-Computer Interaction covers all aspects of designing, implementing, and evaluating human-computer interfaces in all fields of application for all kinds of users. It is multidisciplinary - involving computer sciences, human sciences, engineering, and design. It is truly international: the committee members are HCI experts from 37 countries world wide, promoting high quality research, education, and development. Its Working Groups and Special Interest Groups organize events on special focus areas within HCI.

INTERACT Conferences
INTERACT, the main truly international HCI conference is a bi-annual conference organized by TC 13 HCI to take place in all parts of the world.

How to get involved
Participating in events organized by TC 13 HCI and its working groups and special interest groups help expand our network and provides you with excellent opportunities to present and discuss your results togehther with peers. They provide a channel to get involved with and organize events in specific fields that you find important. Contact the chairs of the Working Groups (WGs) and Special Interest Groups (SIGs) on the website of TC 13 HCI.

Further Information on TC 13
http://ifip-tc13.org

TC 14 on Entertainment computing wants to encourage computer applications for entertainment and to enhance computer utilization in the home. The technical committee will pursue the following aims:

  • to enhance algorithmic research on board and card games
  • to promote a new type of entertainment using information technologies
  • to encourage hardware technology research and development to facilitate implementing entertainment systems, and
  • to encourage non-traditional human interface technologies for entertainment.

Scopes
(1) Algorithm and strategy for board and card games
(2) Novel entertainment using ICT
(3) Audio
(4) Entertainment human interface technologies
(5) Entertainment robots
(6) Entertainment systems
(7) Theoretical aspects of entertainment
(8) Video game and animation technologies
(9) Interactive TV and movies
(10) Edutainment

Working Groups
The TC has currently eight working groups. They focus on digital storytelling, entertainment robot, the theoretical basis of entertainment, entertainment games, social and ethical issues in entertainment computing, Interactive TeleVision (ITV), art and entertainment, and serious games.

Conferences and Journal
The TC has its own conference series, the International Conference on Entertainment Computing and its own Journal, the International Journal on Entertainment Computing published by Elsevier.

Contact
For further information, see the website of TC 14:
www.org.id.tue.nl/IFIP-TC14/index.htm

 

Technical Committees and their Working Groups

  • TC 1: Foundations of Computer Science
  • TC 2: Software:Theory and Practice
  • TC 3: Education
  • TC 5: Information Technology Applications
  • TC 6: Communication Systems
  • TC 7: System Modeling and Optimization
  • TC 8: Information Systems
  • TC 9: Relationship between Computers and Society
  • TC 10: Computer Systems Technology
  • TC 11: Security and Privacy Protection in Information Processing Systems
  • TC 12: Artificial Intelligence
  • TC 13: Human-Computer Interaction
  • TC 14: Entertainment Computing