[Haskell-cafe] TAP 2013: Final Call for Papers

Committee: == Paul Ammann Dirk Beyer Achim D. Brucker Robert Clarisò Marco Comini Catherine Dubois Juhan Ernits Gordon Fraser Angelo Gargantini Christoph Gladisch Martin Gogolla Arnaud Gotlieb Wolfgang Grieskamp Reiner Hähnle Bart Jacobs Thiérry Jeron Jacques Julliand Gregory Kapfhammer

[Haskell-cafe] TAP 2013: 2nd Call for Papers

Dirk Beyer Achim D. Brucker Robert Clarisò Marco Comini Catherine Dubois Gordon Fraser Angelo Gargantini Christoph Gladisch Martin Gogolla Arnaud Gotlieb Wolfgang Grieskamp Reiner Hähnle Bart Jacobs Thiérry Jeron Jacques Julliand Gregory Kapfhammer Nikolai Kosmatov Victor Kuliamin Michael Leuschel

[Haskell-cafe] TAP 2013: 1st Call for Papers

TAP proceedings is available at: http://www.informatik.uni-trier.de/~ley/db/conf/tap/ -- Dr. Achim D. Brucker, SAP AG, SAP Research Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe, Phone: +49 6227 7-52595 http://www.brucker.ch

[Haskell-cafe] Call for Papers: Only Two Months Left - STVR Special Issue on Tests and Proofs

as title. Important Dates: * Paper submission: December 17, 2012 * Notification: April 15, 2013 Guest Editors = * Achim D. Brucker, SAP AG, SAP Research, Germany http://www.brucker.ch/ * Wolfgang Grieskamp, Google, U.S.A. http

[Haskell-cafe] Call for Papers: STVR Special Issue on Tests and Proofs

and Proofs as title. Important Dates: * Paper submission: December 17, 2012 * Notification: April 15, 2013 Guest Editors = * Achim D. Brucker, SAP Research, Germany http://www.brucker.ch/ * Wolfgang Grieskamp, Google, U.S.A. http

[Haskell-cafe] Call for Participation: Tests and Proofs (TAP 2012) in Prague

.fit.cvut.cz/index.php/registration.html Organization: = Conference Chair Bertrand Meyer, ETH Zurich, Eiffel Software, and ITMO Program Chairs Achim D. Brucker, SAP Research, Germany Jacques Julliand, University of Franche-Comté Local Organization Pavel Tvrdik, CTU Prague

[Haskell-cafe] Call for Journal Papers: STVR Special Issue on Tests and Proofs

and Proofs as title. Important Dates: * Paper submission: December 17, 2012 * Notification: April 15, 2013 Guest Editors = * Achim D. Brucker, SAP Research, Germany http://www.brucker.ch/ * Wolfgang Grieskamp, Google, U.S.A. http

[Haskell-cafe] CfP: Extended Submission Deadline TAP 2012 (International Conference on Test and Proofs)

:May 31 - June 1, 2012 TOOLS conferences (TOOLS, ICMT, SC, TAP): May 29 - June 01, 2012 Conference Chairs: Bertrand Meyer Program Chairs:Achim D. Brucker and Jacques Julliand Program Committee (to be extended): === Nazareno Aguirre, Bernhard K. Aichernig, Paul

[Haskell-cafe] CfP: Only one week left for submitting abstracts to TAP 2012 (International Conference on Test and Proofs

://www.informatik.uni-trier.de/~ley/db/conf/tap/ -- Dr. Achim D. Brucker, SAP Research, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, Fax: +49-6227 78-50502, http://www.brucker.ch ___ Haskell-Cafe mailing list Haskell-Cafe

[Haskell-cafe] Second CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14

at: http://www.informatik.uni-trier.de/~ley/db/conf/tap/ -- Dr. Achim D. Brucker, SAP Research, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, Fax: +49-6227 78-50502, http://www.brucker.ch ___ Haskell-Cafe mailing list Haskell-Cafe

[Haskell-cafe] First CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14

Conference Chairs: Bertrand Meyer Program Chairs:Achim D. Brucker and Jacques Julliand Program Committee (to be extended): === Nazareno Aguirre, Bernhard K. Aichernig, Paul Ammann, Dirk Beyer, Nikolaj Bjorner, Robert Clarisó, Marco Comini, Catherine Dubois