Main Page: Difference between revisions

From IFIP/TC2-Wiki
Jump to navigation Jump to search
 
(70 intermediate revisions by 2 users not shown)
Line 1: Line 1:
__NOTOC__
__NOTOC__


= This is the IFIP TC2 Community Website =
= IFIP TC2 (Software: Theory and Practice) Community Website =


The committee has been established in 1962. It's aims and scope were revised twice: in 1982, and in 1990.
The [[https://ifip.org/tc/?tc=tc2 IFIP TC2]] committee has been established in 1962. Its aims and scope were revised twice: in 1982, and in 1990.


== Aims ==
== Aims ==
Line 22: Line 22:
== Contact ==
== Contact ==


* TC2 officers: ifip-tc2-officers@domain
tc2@domain -- Replace "domain" by lists.kit.edu
* All members, including TC2 officers: ifip-tc2-member@domain
 
Replace "domain" by ifip-tc2.paluno.uni-due.de


== News ==
== News ==


December 22, 2020: The 2020 Manfred Paul award was awarded to Vadim Zaytsev from Universiteit Twente,
In July 2023, [https://www.cas.mcmaster.ca/~carette Dr. Jacques Carette] was elected as Chair, and Dr. Peter Höfner as Vice-Chair. We thank past Chair [https://tva.kastel.kit.edu/english/21_77.php Prof. Dr.-Ing. Ina Schaefer] and Vice-Chair [http://qse.ifs.tuwien.ac.at/people/stefan-biffl/ Ao. Univ.Prof. Dr. Stefan Biffl] for their dedicated years of service.
Enschede, The Netherlands, for his paper "Software Language Engineers’ Worst Nightmare", published at SLE 2020. More details below.
 
The 2020 meeting was held on July 13 from 15:00-19:00 CET.  Connection information was provided by email.
 
Agenda:
 
1. Welcome (I. Schaefer)
Roll call/Introductions, agenda, prior meeting minutes (J. Lawall)
 
1b. Brief introduction to IFIP (I. Schaefer, M. Goedicke)
 
2. Changes in TC2 membership (Country Representatives, WG chairs)
 
3. Action items from the previous meeting
 
4. Update from the IFIP General Assembly (M. Goedicke)
 
5. Financial issues
 
6. Awards and distinctions (W. Tracz)
 
7. Reports from TC2 WGs (WG chairs)
 
8. Virtual WG Meetings - Experiences and Best Practices (all)
 
9. Future meetings and events
 
10. Other issues
 
11. Closing


== Older news ==
== Older news ==


The 2019 meeting will be held with ICSE in Montreal on Tuesday May 28 at McGill University.
IFIP Outstanding Service Awards were awarded for 2013 to Prof. Anthony Finkelstein (WG 2.9), Prof. Brian Ford (WG 2.5), and Prof. Chris Lengauer (WG 2.11).


Ideally, the distance from the conference hotel to the meeting venue is 14
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).
mins by walk, 14 mins by bus, and 11 mins by car.
[https://www.google.com/maps/dir/Hotel+Fairmont+The+Queen+Elizabeth,+900+Ren%C3%A9-L%C3%A9vesque+Blvd+W,+Montreal,+QC+H3B+4A5/McConnell+Engineering+Building,+3480+Rue+University,+Montreal,+QC+H3A+0E9,+Canada/@45.503193,-73.5724446,17z/data=!3m1!4b1!4m14!4m13!1m5!1m1!1s0x4cc91a435b63652f:0x337d8c8a17dbddfc!2m2!1d-73.568085!2d45.5004848!1m5!1m1!1s0x4cc91a47f301ca09:0xdc9a59b6f7828e7a!2m2!1d-73.5763234!2d45.5060376!3e0 This link] shows
the route.


It is recommended to walk walk or go by car. A car can be parked near the intersection of rue university and Milton street (which is closer to the entrance of the meeting venue) using parking pay station. More details can be found [https://www.mcgill.ca/transport/parking/downtown/visitors here].
= The IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice =


  8:30 Arrival and coffee
== The Award ==
  9:00 Welcome (J. Nawrocki)
      Roll call, agenda, prior meeting minutes (J. Lawall)
  9:05 Action items from the previous meeting (J. Nawrocki)
  9:10 Changes in TC2 membership (M. Goedicke)
  9:20 Update from the IFIP General Assembly (J. Nawrocki)
  9:40 Keynote (???)
  10:10 Management structure of TC2 (J. Nawrocki)
  10:30 Break
  11:00 Election of TC2 officers (J. Nawrocki)
  11:20 Financial issues (M. Goedicke)
  11:30 Reports of WG chairs (J. Nawrocki)
  12:15 Lunch
  13:30 Reports of WG chairs (J. Nawrocki)
  15:00 Break
  15:30 Reports of WG chairs (J. Nawrocki)
  16:00 Awards and distinctions (Will Tracz)
  16:20 Report on IFIP World Computer Congress 2018 (R. Wrembel)
  16:30 Future meetings and events (J. Lawall)
  16:40 Other issues
  17:00 Closing (J. Nawrocki)
  19:00 Dinner


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.


The 2018 meeting will be in Gothenburg, Sweden on Monday May 28, at the [https://www.google.com/maps/place/Chalmers+Conference+Centre/@57.689316,11.973663,17z/data=!4m5!3m4!1s0x0:0x549d48f9b461fc26!8m2!3d57.6892333!4d11.9740274?hl=en conference facilities of Chalmers/Univ. of Gothenburg].  The meeting will take place in the room Valdemar in the [https://chalmerskonferens.se/en/ University Congress Center at Johanneberg], Chalmers Konferens & Restauranger, Main entrance, Chalmersplatsen 1, 412 58 Göteborg.
#    The award is known as the IFIP TC2 Manfred Paul Award.
 
#    The award consists of a certificate and an amount of money to the value of 1024 euro.
  8:30 Arrival and coffee
#    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.
  9:00 Welcome (J. Nawrocki)
#    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.
  Roll call, agenda, prior meeting minutes (J. Lawall)
#    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.
  9:05 Action items from the previous meeting (J. Nawrocki)
#     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.
  9:10 Changes in TC2 membership and election of additional TC2 members (M. Goedicke)
#    At the discretion of the committee members, there may be no award or more than one award in each year.
  9:20 Update from the IFIP General Assembly (J. Nawrocki)
  9:40 Update on IFIP World Computer Congress (R. Wrembel)
  9:50 Management structure of TC2 (J. Nawrocki)
  10:20 Election of TC2 officers (J. Nawrocki)
  10:30 Break
  11:00 Financial issues (M. Goedicke)
  11:10 Reports of WG chairs (J. Nawrocki)
  12:15 Lunch
  13:30 Reports of WG chairs (J. Nawrocki)
  15:00 Coffee break
  15:30 Awards and distinctions (M. Goedicke)
  15:50 Future meetings and events (J. Lawall)
  16:00 Technical presentation
  16:30 Other issues
  17:00 Closing (J. Nawrocki)
 
We would like to thank the [http://www.chalmers.se/en/areas-of-advance/ict/Pages/default.aspx Area of Advance ICT] for hosting the meeting.
 
 
[[File:AoA-ict.png]]
 
The 2017 meeting was in Essen Germany on Monday July 24, hosted by Michael Goedicke at
[https://paluno.uni-due.de/en/home/welcome/ paluno The Ruhr Institute for Software Technology].
 
University of Duisburg-Essen<br>
Gerlingstraße 16<br>
45127 Essen
 
[https://paluno.uni-due.de/en/the-institute/contact/visit-us/ Travel information].
The nearest airport is Düsseldorf which has numerous
European connections and a number of international connections as
well. In addition, Cologne, Dortmund and even Frankfurt
can be used and using train connections to reach Essen.
 
[https://ifip-tc2.paluno.uni-due.de/mediawiki/images/b/b7/HotelsInEssen.pdf Hotel suggestions]
 
Agenda
 
    8:00 Arrival and welcome at paluno room SGW 009
    9:00 Welcome, roll call, agenda, prior meeting minutes
    9:05 IFIP report, financial status, IFIP awards
    9:30 Electing new Officers for TC2
    10:00 Reports of working group chairs
    12:30 Lunch
    14:00 Reports of working group chairs
    15:30 Coffee break
    16:00 Future events & locations, Manfred Paul Award
    16:30 TC2@WCC in Poznan
    17:00 Other Strategic issues
    17:30 Other business
    Dinner 19:30 in a restaurant nearby
 
The 2016 meeting was in Vienna, with [http://staf2016.conf.tuwien.ac.at/ STAF], on  Wednesday, July 6th 2016, between 9am and 5pm.  There is the possibility to stay in the evening for dinner.
 
For the venue see the [http://staf2016.conf.tuwien.ac.at STAF 2016 conference website], [http://staf2016.conf.tuwien.ac.at/floor-map/#ground-floor registration].
 
IMPORTANT Please mention at the registration that you are member of IFIP TC2 and attend the IFIP TC2 Business Meeting.
 
Agenda
 
<pre>
8:00 Arrival and registration at the conference desk
9:00 – 10:30 SEFM Keynote  (Abstractions, Semantic Models and Analysis
Tools for Concurrent Systems: Progress and Open Problems, Gul Agha,
University of Illinois at Urbana-Champaign, USA)
10:30  grab a cup of coffee and follow us to  the meeting room: Kontaktraum (KR), 6. Stock
Elektrotechnisches Institutsgebäude (TU Wien) Gußhausstraße 29, 1040 Wien
10:30 Welcome, roll call, agenda, prior meeting minutes
10:35 IFIP report, financial status, IFIP awards
11:00 Reports of working group chairs
12:30 Lunch
14:00 Reports of working group chairs
15:30 Coffee break
16:00 Robert Bieber, ÖCG Presentation and Discussion on IFIP (TC2)
and national Computer Science Societies
16:30 Future events & locations, Manfred Paul Award
17:00 Discussion on national Societies and their relationship to IFIP / IFIP TC2
18:00 Other business
Dinner 19:30 at Wiener Wiener Wia z'Haus
</pre>
 
 
[http://www.witfor2016.org/ WITFOR 2016]: World Information Technology Forum,
September 12th - 14th, 2016, San José, Costa Rica
 
The 2015 meeting of TC2 was in Florence on May 24, 2015, just after ICSE, at the same venue.


Agenda
More details as well as the list of awardees can be found on the [[Manfred Paul Award]] page.


<pre>
= Details of TC2 (Meeting Minutes, Members, Officers, Working Groups) =
9:00 Welcome, roll call, agenda, prior meeting minutes
9:15 IFIP report, financial status, IFIP awards
10:00 Election of Chair, Vice Chair and Secretary
10:30 Coffee break
11:00 Reports of working group chairs
12:30 Lunch
14:00 Reports of working group chairs
15:30 Coffee break
16:00 Additional Business meeting per year
16:30 Future events & locations, Manfred Paul Award
17:00 Short presentations
18:00 Other business
</pre>


IFIP Outstanding Service Awards were awarded for 2013 to Prof. Anthony Finkelstein (WG 2.9), Prof. Brian Ford (WG 2.5), and Prof. Chris Lengauer (WG 2.11).
== Minutes of Meetings ==


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).
* [[July 2024]]
* [[July 2023]]
* [[July 2022]]
* [[December 2020]]
* [[May 2019]]
* [[May 2018]]
* [[July 2017]]
* [[July 2016]]
* [[May 2015]]


= Members =
= Members =
Line 218: Line 70:
== Officers ==
== Officers ==


* Chair: [https://www.tu-braunschweig.de/isf/team/schaefer Prof. Dr.-Ing. Ina Schaefer]
* Chair: [http://www.cas.mcmaster.ca/~carette Dr. Jacques Carette]
* Vice-Chair: [http://www.s3.uni-duisburg-essen.de/?module=s3staff&who=goedicke Prof. Michael GOEDICKE], [http://qse.ifs.tuwien.ac.at/people/stefan-biffl/ Ao. Univ.Prof. Dr. Stefan Biffl]
* Vice-Chair: [http://www.s3.uni-duisburg-essen.de/?module=s3staff&who=goedicke Prof. Michael GOEDICKE], [https://comp.anu.edu.au/people/peter-hoefner/ Dr. Peter Hoefner]
* Secretary: [http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Dr. Julia LAWALL]
* Secretary: [http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Dr. Julia LAWALL]


== Working groups ==
== Working groups ==


* [http://www.ifipwg21.org WG 2.1 - Algorithmic Languages and Calculi] <br> Chair: Prof. Peter HÖFNER, Vice chair: Johan JEURING, Secretary: Prof. Tom SCHRIJVERS
* [http://www.ifipwg21.org WG 2.1 - Algorithmic Languages and Calculi] <br> Chair: Prof. Peter HÖFNER, Vice chair: Patrick JANSSON, Secretary: Prof. Tom SCHRIJVERS
* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Prof. Antonin KUCERA, Vice Chair: Barbara KÖNIG, Secretary: Prof. Dr. Markus MÜLLER-OLM
* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Prof. Barbara KÖNIG, Vice Chair: Prof. Ugo DAL LAGO, Secretary: Prof. Dr. Markus MÜLLER-OLM
* [https://ifip-tc2-wg23.paluno.uni-due.de WG 2.3 - Programming Methodology] <br> Chair: Dr. K. Rustan M. LEINO, Vice-chair: Prof. Peter MÜLLER, Secretary: Dr. Rajeev JOSHI
* [https://en.wikipedia.org/wiki/IFIP_Working_Group_2.3 WG 2.3 - Programming Methodology] <br> Chair: Dr. Rajeev JOSHI, Vice-chair: Prof. Sophia DROSSOPOULOU, Secretary: Dr. Alberto GRIGGIO
* [http://www.ifip.org/wg-2.4 WG 2.4 - Software Implementation Technology] <br> Chair: Dr. Philip LEVY, Vice Chair: Prof. Anders MOELLER, Secretary: Prof. Welf LOEWE
* [http://www.ifip.org/wg-2.4 WG 2.4 - Software Implementation Technology] <br> Chair: Prof. Anders MOELLER, Vice Chair: Prof. Michael PRADEL, Secretary: Dr. Tucker TAFT
* [https://wg25.taa.univie.ac.at/ WG 2.5 - Numerical Software] <br> Chair: Prof. Ronald COOLS, Vice-Chair: Dr. Andrew DIENSTFREY, Secretary: Prof. Wilfried GANSTERER
* [https://wg25.taa.univie.ac.at/ WG 2.5 - Numerical Software] <br> Chair: Dr. Andrew DIENSTFREY, Vice-Chair: Prof. Amparo GIL, Secretary: TBA
* [http://www.ifip.org/wg-2.6 WG 2.6 - Database] <br> Chair: Prof. Robert WREMBEL, Vice-Chair: Dr. Philippe CUDRE-MAUROUX, Secretary: Dr. Antonia AZZINI
* [http://www.cs.put.poznan.pl/ifip-wg26/ WG 2.6 - Database] <br> Chair: Prof. Robert WREMBEL, Vice-Chair: Prof. Paolo CHERAVOLO, Secretary: Prof. Sven GROPPE
* [http://www.ifip.org/wg-2.7 WG 2.7/13.4 - User Interface Engineering] <br> Chair: Prof. José C. CAMPOS, Vice-Chair: Prof. Gaëlle CALVARY, Secretary: Prof. Judy BOWEN
* [http://www.ifip.org/wg-2.7 WG 2.7/13.4 - User Interface Engineering] <br> Chair: Prof. Davide SPANO, Vice-Chair: Prof. Anke DITTMAR, Secretary: Prof. Sophie DUPUY-CHESSA
* [http://www.wg28.org WG 2.8 - Functional Programming] <br> Chair: Prof. Steve Zdancewic, Secretary: Dr. Derek DREYER
* [https://ifip-wg28.github.io/ WG 2.8 - Functional Programming] <br> Chair: Prof. Peter THIEMANN, Secretary: Prof. John REPPY
* [http://www.ifip.org/wg-2.9 WG 2.9 - Software Requirements Engineering] <br> Chair: Prof. Jane CLELAND-HUANG, Vice-chair: Prof. Andrea ZISMAN, Secretary: Prof. Mike WHALEN
* [http://www.ifip29.org/ WG 2.9 - Software Requirements Engineering] <br> Chair: Prof. Andrea ZISMAN, Vice-chair: Prof. Travis D. BREAUX, Secretary: Prof. Liliana PASQUALE
* [http://www.ifip.org/wg-2.10 WG 2.10 - Software Architecture] <br> Chair: Prof. Philippe KRUCHTEN, Vice-Chair: Mr. Rich HILLIARD, Secretary: Mr. John KLEIN
* [http://www.ifip.org/wg-2.10 WG 2.10 - Software Architecture] <br> Being reformed.  Contact: Prof. Michael GOEDICKE
* [http://wiki.hh.se/wg211 WG 2.11 - Program Generation] <br> Chair: Dr. Jacques CARRETTE, Vice-Chair: Dr. Edwin BRADY
* [http://wiki.hh.se/wg211 WG 2.11 - Program Generation] <br> Chair: Prof. Jacques CARETTE, Vice-Chair: Prof. Jeremy YALLOP
* [http://www.ifip.org/wg-2.13 WG 2.13 - Open Source Software] <br> Chair: Prof. Tony WASSERMAN, Vice-Chair: Prof. Alberto SILLITTI, Secretary: Prof. Gregorio ROBLES
* [http://www.ifip.org/wg-2.13 WG 2.13 - Open Source Software] <br> Chair: Prof. Stefano ZACCHIROLI, Vice-Chair: Prof. Gregorio ROBLES, Secretary: Prof. Joseph FELLER
* [http://ifip-wg-sos.deib.polimi.it WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. Pierluigi PLEBANI, Vice Chairs: Eric DUBOIS  and Winfried LAMERSDORF, Secretary: Damian Andrew TAMBURRI
* [http://ifip-wg-sos.deib.polimi.it WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. Stefan SCHULTE, Vice Chairs: Prof. Jacopo SOLDANI, Secretary: Damian Andrew TAMBURRI
* [https://www.lri.fr/~filliatr/1.9/ WG 2.15/1.9] - Verified Software: <br> Chair: Prof. Jim WOODCOCK, Secretary: Dr. Natarajan SHANKAR
* [https://www.lri.fr/~filliatr/1.9/ WG 2.15/1.9 - Verified Software] <br> Chair: Prof. Tiziana MARGARIA, Vice Chair: Dr. Natarajan SHANKAR, Secretary: Dr. Jean-Christophe FILLIATRE
* [http://program-transformation.org/WGLD WG 2.16 – Programming Language Design] <br> Chair: Dr. Tijs VAN DER STORM, Vice Chair: Dr. Heather MILLER, Secretary: Mr. Jonathan EDWARDS
* [http://program-transformation.org/WGLD WG 2.16 – Programming Language Design] <br> Chair: Dr. Tijs VAN DER STORM, Vice Chair: Dr. Heather MILLER, Secretary: Mr. Jonathan EDWARDS
* [https://tva.kastel.kit.edu/aktivitaeten/IFIP_Working_Group_on_Foundations_of_Quantum_Computation.php WG 1.11/2.17 - Foundations of Quantum Computation] <br> Chair: Prof. Aleks KISSINGER, Secretary: Luís Manuel Dias Coelho Soares Barbosa


== National representatives ==
== National representatives ==
Line 244: Line 97:
* Marcelo Frias (AR)
* Marcelo Frias (AR)
* Stefan Biffl (AT)
* Stefan Biffl (AT)
* Jo Dalvean (AU)
* Sylvia Ilieva (BG)
* Sylvia Ilieva (BG)
* Julio Leite (BR)
* Julio Leite (BR)
* Peter Knopf (CH)
* Peter Knopf (CH)
* Hernan Astudillo (CLEI)
* Emilio Insfran (CLEI)
* Přemek Brada (CZ)
* Přemek Brada (CZ)
* Manfred Paul (DE)
* Michael Goedicke (DE)
* Ina Schaefer (DE)
* Fritz Henglein (DK)
* Reima Suomi (FI)
* Reima Suomi (FI)
* Julia Lawall (FR)
* Julia Lawall (FR)
Line 256: Line 110:
* Paolo Ciancarini (IT)
* Paolo Ciancarini (IT)
* Atsushi Igarashi (JP)
* Atsushi Igarashi (JP)
* Johan Jeuring (NL)
* Wouter Swierstra (NL)
* Elizabeth A. Kemp (NZ, SEARCC)
* Elizabeth A. Kemp (NZ, SEARCC)
* Robert Wrembel (PL)
* Robert Wrembel (PL)
* Fernando Brito e Abreu (PT)
* Fernando Brito e Abreu (PT)
* Nenad Stefanović (RS)
* Nenad Stefanović (RS)
* Ivica Crnkovic (SE)
* Marko Bajec (SI)
* Marko Bajec (SI)
* Maria Bielikova (SK)
* Maria Bielikova (SK)
Line 267: Line 120:
* Bruce Watson (ZA)
* Bruce Watson (ZA)
* Will Tracz (US, ACM)
* Will Tracz (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.
#    The award is known as the IFIP TC2 Manfred Paul Award.
#    The award consists of a certificate and an amount of money to the value of 1024 euro.
#    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.
#    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.
#    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.
#    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.
#    At the discretion of the committee members, there may be no award or more than one award in each year.
== Award Coordinator ==
[http://tracz.org/will Dr. Will Tracz], ACM
== Awardees ==
=== The 2020 Award ===
The IFIP TC2 Manfred Paul Award for 2020 was granted to [https://grammarware.net/ Vadim Zaytsev] from Universiteit Twente, Enschede, The Netherlands, for his paper: [https://conf.researchr.org/home/sle-2020?#modal-phid_7aa6bd4ebb19db3b6674202e7d87f5dd Software Language Engineers’ Worst Nightmare], which appeared in the proceedings of [https://conf.researchr.org/home/sle-2020? SLE ’20], November 16–17, 2020.
“For his boldness in seeking real-world test cases for modern software language engineering tools by mining languages from the distant past.”
=== The 2014 Award ===
The IFIP TC2 Manfred Paul Award for 2014 was granted to the authors of the best paper of the 29th IEEE/ACM International Conference on Automated Software Engineering held in Västerås Sweden.
The paper selected by the [http://ase2014.org/index.php?choice=pc ASE 2014 Programme Committee] was:
'''Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, and Andrew S. Miner''':<br>
''Automated Requirements Analysis for a Molecular Watchdog Timer''
ASE 2014 Programme Committee was chaired by Marsha Chechik University of Toronto, Canada and Paul Grünbacher Johannes Kepler Universität Linz, Austria.
=== The 2011 Award ===
The IFIP TC2 Manfred Paul Award for 2011 was granted to the authors of the best paper of the CEE-SET'2011 Conference held in Debrecen, Hungary.
The paper selected by the CEE-SET Award Committee was:
'''Simona Jeners, Horst Lichter, Carlos Augusto Gomez Rosenkranz''':
''Efficient Adoption and Assessment of Multiple Process Improvement Reference Models''
The CEE-SET Award Committee was:
* Miklos Biro (IFIP TC2)
* Jerzy Nawrocki (IFIP TC2)
=== 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
=== The 2009 Award ===
The IFIP TC2 Manfred Paul Award for 2009 was granted to the authors of the best paper of the
31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 16-24, 2009.
The paper selected by the [http://www.cs.uoregon.edu/events/icse2009/organization/PCMembers/ ICSE 2009 Programme Committee] was
'''Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest''':
''Automatically Finding Patches Using Genetic Programming''
ICSE 2009 Programme Committee was chaired by
Jo Atlee, University of Waterloo, Canada and
Paola Inverardi, University of Aquila, Italy.
=== The 2007 Award ===
The IFIP TC2 Manfred Paul Award for 2007 was granted to the authors of the best paper of the CEE-SET'2007 Conference held in Poznan, Poland.
The paper selected by the CEE-SET Award Committee was:
'''Adam Trendowicz, Michael Ochs, Axel Wickenkamp, Juergen Muench, Yasushi Ishigai and Takashi Kawaguchi.''':
''An integrated approach for identifying relevant factors influencing software development productivity''
The CEE-SET Award Committee consisted of:
# Miklos Biro (IFIP TC2) – Chairman
# Zbigniew Huzar
# Lech Madeyski
# Jerzy Nawrocki (IFIP TC2)
# Krzysztof Sacha
# Bartosz Walter
# Jaroslav Zendulka
=== The 2006 Award ===
The IFIP TC2 Manfred Paul Award for 2009 was granted to the authors of the best paper of
[http://www.re06.org RE'06] - 14th IEEE International Requirements Engineering Conference Minneapolis,
Minnesota, USA, 11-15 September, 2006
The paper selected by the RE Award Committee was:
'''Jane Cleland-Huang, Raffaella Settimi, Xuchang
Zou, and Peter Solc (DePaul University, USA)''':
''The Detection and Classification of
Non-Functional Requirements with Application to Early Aspects''
Paper Award Sub-Committee
* Martin Glinz, University of Zurich, Switzerland (chair)
* Bashar Nuseibeh, The Open University, UK
* Alistair Sutcliffe, University of Manchester, UK
Awards page, see
http://www.ifi.unizh.ch/req/events/RE06/ConferenceProgram/Awards.html
=== The 2005 Award ===
In 2005, two awards were made, as Best Paper Awards to conferences chosen by TC2.
==== EuroSpi2 ====
[http://www.eurospi.net EuroSpi2] - European Software Process Improvement and Innovation, Budapest, Hungary, 9-11 November 2005
The paper selected by the EuroSpi2 Award Committee was:
'''Martin McAnallen, MIT Systems, Ireland and Gerry Coleman, Dundalk Institute of Technology, Ireland''':
''Tailoring Extreme Programming for Legacy Systems: Lessons Learnt''
Paper Award Sub-Committee
* Richard Messnarz, General Chair, EuroSPI2
* Scott Ambler, Ronin International, Canada
* Taz Daughtrey, James Mason University, USA
* Ita Richardson, University of Limerick, Ireland
* Pekka Abrahamsson, VTT, Finland
*Alec Dorling, INTERSPICE, UK
==== OnTheMove Federated Conferences (DOA, ODBASE and CoopIS) ====
[http://www.cs.rmit.edu.au/fedconf/2005/ OnTheMove Federated Conferences (DOA, ODBASE and CoopIS)]
Agia Napa Cyprus, 31 Oct-4 Nov 2005
=== The 2001 Award ===
Winner:
'''Dr. Naoki Kobayashi''' from the Tokyo Institute of Technology for his paper entitled: ''Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness'', IFIP International Conference on Theoretical Computer Science 2000 pp 365-389, endorsed by WG2.2 (Formal Description of Programming Concepts)
Runner-up:
'''Dr. Ivan Bowman''', originally at the University of Waterloo, for his paper Ivan T. Bowman, Richard C. Holt, Neil V. Brewster: Linux as a Case Study: Its Extracted Software Architecture. ICSE 1999: pp 555-563, endorsed by WG2.4 (Software Implementation Technology).
== About Manfred Paul ==
Manfred Paul was chairman of TC2 from 1977 to 1986, and has been the representative for Germany since 1973. He was a founder member of WG2.1 (Algorithmic languages and Calculi) and chairman from 1969 to 1975, and a founder member of WG2.2 (Formal Description of Programming Concepts). He was awarded the IFIP Silver Core in 1974. One of Prof Paul's many accomplishments is that he was the author of the ALGOL compiler "ALCOR MUNICH Z22" for the ZUSE Z22, an early commercially available computer in Europe. This compiler was one of the first handling full recursion in a high level programming language.
== Getting started ==
* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]
* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]
* [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

Latest revision as of 10:10, 25 December 2024


IFIP TC2 (Software: Theory and Practice) Community Website

The [IFIP TC2] committee has been established in 1962. Its 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

Contact

tc2@domain -- Replace "domain" by lists.kit.edu

News

In July 2023, Dr. Jacques Carette was elected as Chair, and Dr. Peter Höfner as Vice-Chair. We thank past Chair Prof. Dr.-Ing. Ina Schaefer and Vice-Chair Ao. Univ.Prof. Dr. Stefan Biffl for their dedicated years of service.

Older news

IFIP Outstanding Service Awards were awarded for 2013 to Prof. Anthony Finkelstein (WG 2.9), Prof. Brian Ford (WG 2.5), and Prof. Chris Lengauer (WG 2.11).

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

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.

More details as well as the list of awardees can be found on the Manfred Paul Award page.

Details of TC2 (Meeting Minutes, Members, Officers, Working Groups)

Minutes of Meetings

Members

More detailed membership information is maintained by IFIP.

Officers

Working groups

National representatives

  • Marcelo Frias (AR)
  • Stefan Biffl (AT)
  • Jo Dalvean (AU)
  • Sylvia Ilieva (BG)
  • Julio Leite (BR)
  • Peter Knopf (CH)
  • Emilio Insfran (CLEI)
  • Přemek Brada (CZ)
  • Michael Goedicke (DE)
  • Fritz Henglein (DK)
  • Reima Suomi (FI)
  • Julia Lawall (FR)
  • Bhanumati Shekhar (IN)
  • Paolo Ciancarini (IT)
  • Atsushi Igarashi (JP)
  • Wouter Swierstra (NL)
  • Elizabeth A. Kemp (NZ, SEARCC)
  • Robert Wrembel (PL)
  • Fernando Brito e Abreu (PT)
  • Nenad Stefanović (RS)
  • Marko Bajec (SI)
  • Maria Bielikova (SK)
  • Nikolay Sidorov (UA)
  • Bruce Watson (ZA)
  • Will Tracz (US, ACM)