Main Page: Difference between revisions

From IFIP/TC2-Wiki
Jump to navigation Jump to search
Line 56: Line 56:
* Jeremy Gibbons (US, ACM)
* Jeremy Gibbons (US, ACM)


= Manfred Paul Award =
= The IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice =
 
== The Award ==
 
Technical Committee 2 of IFIP annually recognizes excellence in its area by means of an award made to an outstanding researcher in software, theory are practice.
 
1.    The award is known as the IFIP TC2 Manfred Paul Award.
2.    The award consists of a certificate and an amount of money to the value of 1024 euro.
3.    The award is issued annually to a natural person, or group, for a single (possibly joint) paper published in the proceedings of a suitable conference yearly so assigned by IFIP TC2.
4.    The selection is done by the Program Committee Chair(s) of the conference, and the award must be personally and publicly issued to the laureate at the event.
5.    The motto of the prize is "For excellence in Software: Theory and Practice" according to the scope of the TC2 working groups, see www.ifiptc2.org.
6.    Members of TC2 are not eligible, when member is taken as on 1st of January of the award year, but members of Working Groups are eligible.
7.    At the discretion of the committee members, there may be no award or more than one award in each year.
 
 
== Award Coordinator ==
Dr. Miklós BIRÓ, Software Competence Center Hagenberg GmbH (SCCH), Hagenberg, Austria
 
== The 2010 Award ==
 
The 2010 Award was handed out by Bertrand Meyer at ICSE'2010 (32nd IEEE/ACM International Conference on Software Engineering) for the paper:
Jacob Burnim and Koushik Sen:
DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs
 
* The members of the Award Committee were:
Bertrand Meyer, Prem Devanbu, Sebastian Uchitel
 
 
 
 




Revision as of 00:00, 28 November 2013

This is the IFIP TC2 Community Website

The committee has been established in 1962. It's aims and scope were revised twice: in 1982, and in 1990.

Aims

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.

Scope

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

News

An IFIP Outstanding Service Award was awarded to Prof. Davide Sangiorgi on September 28, 2012. Prof. Davide Sangiorgi chaired IFIP Working Group 2.2, "Formal Description of Programming Concepts", for two consecutive terms (2006-2011). During his term the Working Group was very active. For instance they organized a well attended Amir Pnueli Memorial Symposium in 2010. The group was also involved in organization of the well-known CONCUR conferences. Prof. Davide Sangiorgi is also a highly recognized scientist in his own right. He is the author of a well-known book on the pi-calculus which has over 1200 citations (Google Scholar).

Members

Working groups

National representatives

  • Marcelo Frias (AR)
  • Stefan Biffl (AT)
  • Robert Meersman (BE)
  • Sylvia Ilieva (BG)
  • Pascal Felber (CH)
  • Hernan Astudillo (CLEI)
  • Karel Richta (CZ)
  • Manfred Paul (DE)
  • Antonio Vallecillo (ES)
  • Reima Suomi (FI)
  • Charles Consel (FR)
  • Miklos Biro (HU)
  • Pankaj Jalote (IN)
  • Giuseppe Visaggio (IT)
  • Zhenjiang Hu (JP)
  • Johan Jeuring (NL)
  • Elizabeth A. Kemp (NZ, SEARCC)
  • Fernando Brito e Abreu (PT)
  • Nenad Stefanović (RS)
  • Maria Bielikova (SK)
  • Nikolay Sidorov (UA)
  • Jeremy Gibbons (US, ACM)

The IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice

The Award

Technical Committee 2 of IFIP annually recognizes excellence in its area by means of an award made to an outstanding researcher in software, theory are practice.

1. The award is known as the IFIP TC2 Manfred Paul Award. 2. The award consists of a certificate and an amount of money to the value of 1024 euro. 3. The award is issued annually to a natural person, or group, for a single (possibly joint) paper published in the proceedings of a suitable conference yearly so assigned by IFIP TC2. 4. The selection is done by the Program Committee Chair(s) of the conference, and the award must be personally and publicly issued to the laureate at the event. 5. The motto of the prize is "For excellence in Software: Theory and Practice" according to the scope of the TC2 working groups, see www.ifiptc2.org. 6. Members of TC2 are not eligible, when member is taken as on 1st of January of the award year, but members of Working Groups are eligible. 7. At the discretion of the committee members, there may be no award or more than one award in each year.


Award Coordinator

Dr. Miklós BIRÓ, Software Competence Center Hagenberg GmbH (SCCH), Hagenberg, Austria

The 2010 Award

The 2010 Award was handed out by Bertrand Meyer at ICSE'2010 (32nd IEEE/ACM International Conference on Software Engineering) for the paper: Jacob Burnim and Koushik Sen: DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs

  • The members of the Award Committee were:

Bertrand Meyer, Prem Devanbu, Sebastian Uchitel




Getting started

Consult the User's Guide for information on using the wiki software.

Retrieved from "https://wiki.uni-due.de/ifip/index.php?title=Main_Page&oldid=13"