Curry mailing list by thread
- Curry mailing list (welcome) Michael Hanus (Do Dez 05 1996 - 15:57:20 CET)
- Draft Report on Curry (dvi,compressed) Michael Hanus (Do Dez 05 1996 - 15:58:13 CET)
- Curry Yike Guo (Mi Dez 18 1996 - 17:09:00 CET)
- Language change proposal Sergio Antoy (Fr Dez 20 1996 - 06:00:54 CET)
- Comments from Madrid Paco Lopez Fraguas (Do Jan 23 1997 - 16:24:19 CET)
- ESOP'96 Juan Carlos Gonz\alez Moreno (Fr Jan 24 1997 - 09:06:36 CET)
- Sergio's questions Mario Rodriguez Artalejo (Di Feb 04 1997 - 12:16:31 CET)
- Re: Comments from Madrid Harold Boley (Mi Feb 05 1997 - 09:50:06 CET)
- Two papers Sergio Antoy (Fr Apr 04 1997 - 23:22:12 CEST)
- Update on Curry report Michael Hanus (Fr Jun 06 1997 - 18:32:41 CEST)
- Curry design John Lloyd (Di Jul 01 1997 - 17:06:05 CEST)
- Narrowing vs. rewriting Michael Hanus (Do Jul 03 1997 - 13:23:22 CEST)
- Re: Curry design Harold Boley (Do Jul 03 1997 - 17:54:25 CEST)
- Typesetting program Johan Boye (Fr Jul 04 1997 - 11:43:32 CEST)
- Re: Narrowing vs. rewriting Harold Boley (Fr Jul 04 1997 - 16:19:17 CEST)
- TC (was: Narrowing vs. rewriting) Philip Wadler (Mo Jul 07 1997 - 17:24:51 CEST)
- Re: Narrowing: yes or no? Michael Hanus (Mo Jul 14 1997 - 13:24:46 CEST)
- Announcing TOY Paco Lopez Fraguas (Mo Okt 06 1997 - 12:42:58 CEST)
- Updated Curry Report Michael Hanus (Mi Feb 04 1998 - 17:42:41 CET)
- TasteCurry Bug Sven Panne (Mo Feb 09 1998 - 09:44:36 CET)
- Curry's Constraint Syntax Sven Panne (Mo Feb 09 1998 - 10:09:35 CET)
- paper announcement Sergio Antoy (Fr Apr 10 1998 - 17:47:45 CEST)
- Minutes of a meeting on Curry Michael Hanus (Mi Mai 06 1998 - 18:41:20 CEST)
- Book Announcement Christian Prehofer (Sa Mai 09 1998 - 14:54:40 CEST)
- Status of this list Sven Panne (Di Jul 28 1998 - 10:38:27 CEST)
- New TasteCurry System Michael Hanus (Fr Aug 28 1998 - 17:24:54 CEST)
- Proposal for syntax changes in Curry Michael Hanus (Do Okt 22 1998 - 13:32:22 CEST)
- Existential quantification in expressions Michael Hanus (Fr Okt 23 1998 - 17:11:44 CEST)
- Re: Existential quantification in expression Herbert Kuchen (Fr Okt 23 1998 - 18:53:19 CEST)
- Language changes: Committed choice Wolfgang Lux (Mo Okt 26 1998 - 21:08:22 CET)
- Suspending in or-nodes Sven Panne (Do Nov 05 1998 - 16:27:03 CET)
- Local pattern declarations in Curry Michael Hanus (Mo Nov 09 1998 - 18:13:46 CET)
- Curry report updated Michael Hanus (Do Nov 19 1998 - 10:40:56 CET)
- Puzzle Wolfgang Lux (Di Dez 01 1998 - 15:42:08 CET)
- Occurs-check in the unification (" =:= ") David Sacher (Mi Dez 30 1998 - 12:10:37 CET)
- Free variables in Curry Michael Hanus (Do Jan 07 1999 - 12:36:06 CET)
- Updated Curry report Michael Hanus (Mi Jan 13 1999 - 11:51:10 CET)
- New TasteCurry and Examples Michael Hanus (Fr Apr 09 1999 - 16:36:19 CEST)
- PACS: The Portland Aachen Curry System Michael Hanus (Di Jul 06 1999 - 12:52:05 CEST)
- Curry Report Vers. 0.6 Michael Hanus (Fr Okt 22 1999 - 12:45:58 CEST)
- Curry language changes Michael Hanus (Do Nov 25 1999 - 11:08:46 CET)
- PACS Version 1.1 available Michael Hanus (Fr Dez 10 1999 - 18:13:33 CET)
- Curry Report Vers. 0.7 Michael Hanus (Mi Feb 02 2000 - 18:39:49 CET)
- Curry: new web pages and report Michael Hanus (Di Jun 06 2000 - 15:28:22 CEST)
- PACS -> PAKCS Michael Hanus (Mi Jun 21 2000 - 18:31:31 CEST)
- Proposal: Change semantics of pattern matching Wolfgang Lux (Do Sep 21 2000 - 13:30:15 CEST)
- Curry is the future! Michael Hanus (Di Sep 26 2000 - 18:33:04 CEST)
- Announcing Rule Markup Initiative Harold Boley (Mo Nov 13 2000 - 12:41:46 CET)
- PAKCS Version 1.3 available Michael Hanus (Mo Dez 18 2000 - 13:55:56 CET)
- CIDER: a graphical development environment for Curry Michael Hanus (Fr Dez 22 2000 - 10:25:06 CET)
- FlatCurry Michael Hanus (Do Aug 30 2001 - 12:22:52 CEST)
- Proposal: Lazy matching for local patterns Wolfgang Lux (Mo Okt 22 2001 - 17:04:54 CEST)
- Re: Proposal: Lazy matching for local patterns (fwd) Wolfgang Lux (Mi Okt 24 2001 - 11:02:25 CEST)
- Encapsulated search does not encapsulate (all) non-determinism Wolfgang Lux (Di Jan 08 2002 - 15:36:17 CET)
- Re: Encapsulated search does not encapsulate (all)non-determinism Frank Steiner (Mo Jan 14 2002 - 13:45:55 CET)
- Re: Encapsulated search does not encapsulate (all)non-determinism Wolfgang Lux (Mo Jan 14 2002 - 14:37:27 CET)
- Re: Encapsulated search does not encapsulate(all)non-determinism Frank Steiner (Di Jan 15 2002 - 12:21:02 CET)
- PAKCS Version 1.4 available Michael Hanus (Fr Mai 24 2002 - 11:32:11 CEST)
- Proposal: change flexible/rigid default in Curry Michael Hanus (Mo Aug 26 2002 - 19:01:52 CEST)
- Curry Report Vers. 0.7.2 Michael Hanus (Fr Sep 20 2002 - 18:01:55 CEST)
- PAKCS Version 1.4.1 available Michael Hanus (Do Sep 26 2002 - 14:57:06 CEST)
- Münster Curry compiler release 0.9 Wolfgang Lux (Mo Nov 04 2002 - 15:17:02 CET)
- Münster Curry compiler release 0.9.1 Wolfgang Lux (Mo Nov 11 2002 - 15:49:24 CET)
- Who can port one of the curry implementations to windows platform? Liu Junfeng (So Mär 23 2003 - 14:17:33 CET)
- Proposal: restrict multiple guards Michael Hanus (Mo Apr 07 2003 - 16:05:04 CEST)
- Curry Report Vers. 0.8 Michael Hanus (Mi Apr 16 2003 - 14:10:01 CEST)
- Announcement: Münster Curry compiler 0.9.5 released Wolfgang Lux (Mo Mai 05 2003 - 09:44:23 CEST)
- PAKCS Version 1.5 available Michael Hanus (Mo Mai 26 2003 - 17:30:46 CEST)
- Slight change of the Curry syntax Michael Hanus (Mo Aug 18 2003 - 19:24:03 CEST)
- Research Positions at the Technical University of Valencia Jose Hernandez-Orallo (Mo Sep 22 2003 - 15:40:02 CEST)
- Non-deterministic operation Michael Hanus (Mo Jun 07 2004 - 17:17:13 CEST)
- IFL'04 16th International Workshop on Implementation and Application of Functional Languages Frank Huch (Di Jun 08 2004 - 13:54:44 CEST)
- ANNOUNCE: Zinc Compiler 0.6.0 released Diego Berrueta (Do Jun 10 2004 - 19:08:11 CEST)
- Strong encapsulation, weak encapsulation, and getSearchTree Wolfgang Lux (Mo Jun 14 2004 - 15:21:16 CEST)
- CfP: IFL'04 16th International Workshop on Implementation and Application of Functional Languages Frank Huch (Mi Jul 14 2004 - 18:24:45 CEST)
- CFP - Practical Aspects of Declarative Languages 2005 Manuel Hermenegildo (Fr Jul 23 2004 - 03:18:27 CEST)
- ANNOUNCE: Zinc Curry Compiler 0.9.1 released Diego Berrueta (Di Aug 31 2004 - 23:02:09 CEST)
- Proposal: Relaxing restrictions in Curry Michael Hanus (Di Nov 02 2004 - 12:11:57 CET)
- Re: Evaluation Annotations Michael Hanus (Fr Nov 05 2004 - 10:00:17 CET)
- PPDP 2005 First Call for Papers Amy Felty (Fr Nov 05 2004 - 22:32:13 CET)
- AW: Name discussion for new primtive Prof. Dr. Herbert Kuchen (Fr Nov 12 2004 - 10:39:01 CET)
- Evaluation Annotations: are they needed? Julio Mariño y Carballo (Fr Nov 12 2004 - 14:37:28 CET)
- Summary of changes Michael Hanus (Di Nov 23 2004 - 18:11:45 CET)
- CFP: 1st Int'l Workshop on Automated Specification and Verificationof Web Sites (WWV'05) Santiago Escobar (Mi Nov 24 2004 - 19:28:20 CET)
- proposition . (Mi Dez 08 2004 - 17:14:33 CET)
- Re: Flexible Enumerations Michael Hanus (Do Dez 09 2004 - 12:51:40 CET)
- CFP: 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05) Santiago Escobar (Mo Dez 20 2004 - 15:56:09 CET)
- PAKCS and Sicstus 3.12 Marco Comini (Di Dez 21 2004 - 12:44:43 CET)
- 3rd Call for papers: 6th International Workshop on Rule-Based Programming RULE'05 Horatiu Cirstea (Mi Jan 12 2005 - 09:20:11 CET)
- PhD Position in Technical University of Valencia (Spain) Santiago Escobar (Di Jan 18 2005 - 13:43:30 CET)
- Functional and Declarative Programming in Education 2005 Michael Hanus (Mi Jan 19 2005 - 09:00:16 CET)
- PPDP 2005 Second Call for Papers Amy Felty (Fr Jan 21 2005 - 17:55:23 CET)
- LOPSTR'05 call for papers P M Hill (Do Jan 27 2005 - 18:06:59 CET)
- PPDP 2005 Submission Deadline Extended to February 22 Amy Felty (Mi Feb 16 2005 - 03:35:55 CET)
- Call for participation WWV'05 Santiago Escobar (Fr Feb 25 2005 - 10:36:43 CET)
- CfP: Curry and Functional Logic Programming 2005 Michael Hanus (Fr Mär 18 2005 - 02:27:18 CET)
- Curry and Functional Logic Programming 2005 (2nd CfP) Michael Hanus (Mi Mai 18 2005 - 00:41:36 CEST)
- LOPSTR'05: Extended Deadline for Full Papers P M Hill (Do Mai 19 2005 - 09:18:02 CEST)
- LOPSTR'05 final call for extended abstracts P M Hill (Mo Mai 30 2005 - 21:05:56 CEST)
- LOPSTR'05 new deadline for extended abstracts P M Hill (Fr Jun 03 2005 - 11:59:09 CEST)
- PADL'06 Call for Papers Logic Programming Rsrch Association (Di Jul 12 2005 - 16:58:13 CEST)
- FDPE'05: Call for Participation Michael Hanus (Mo Aug 01 2005 - 19:36:21 CEST)
- WCFLP 2005: Call for Participation Michael Hanus (Mi Aug 03 2005 - 23:46:09 CEST)
- CfP: 20th Workshop on Logic Programming - WLP 2006 Michael Hanus (Mi Sep 14 2005 - 09:49:57 CEST)
- PAKCS Version 1.6.1 available Michael Hanus (Mo Okt 10 2005 - 11:35:03 CEST)
- constraint solving with MCC Wolfgang Jeltsch (Mo Okt 10 2005 - 11:34:30 CEST)
- prelude extension proposal Sergio Antoy (Mo Okt 10 2005 - 20:41:34 CEST)
- formal verification for functional-logic programming languages Wolfgang Jeltsch (Fr Nov 04 2005 - 13:49:31 CET)
- TPLP special issue call for papers Maria Garcia de la Banda (Mo Dez 05 2005 - 11:09:40 CET)
- New PAKCS (Version 1.7.0) available Michael Hanus (Mo Dez 05 2005 - 18:42:28 CET)
- TFP 2006: Second CFP Frank Huch (Do Dez 15 2005 - 22:13:57 CET)
- Curry module system Michael Hanus (Fr Jan 27 2006 - 12:03:33 CET)
- WRS06 1st call for paper wrs06_at_redstar.cs.pdx.edu (Mi Feb 01 2006 - 20:49:00 CET)
- LOPSTR'06 in Venice, Italy -- Call for Papers LOPSTR 2006 (Di Feb 14 2006 - 20:14:12 CET)
- PPDP'06 -- Call for Papers Michael Maher (Mi Feb 15 2006 - 23:26:16 CET)
- Data structures with labeled fields Bernd Brassel (Mi Mär 01 2006 - 14:31:16 CET)
- WRS06 2nd call for paper wrs06_at_redstar.cs.pdx.edu (Do Mär 02 2006 - 01:39:54 CET)
- Curry Report Vers. 0.8.2 Michael Hanus (Di Mär 14 2006 - 13:41:45 CET)
- Two issues with version 0.8.2 of the report Wolfgang Lux (Fr Mär 24 2006 - 17:02:05 CET)
- WFLP2006-Call for Papers Francisco J. Lopez Fraguas (Mo Mär 27 2006 - 14:12:13 CEST)
- New PAKCS (Version 1.7.2) and Curry report Michael Hanus (Do Mär 30 2006 - 18:15:45 CEST)
- WRS06 last call for paper wrs06_at_redstar.cs.pdx.edu (Di Apr 11 2006 - 21:38:52 CEST)
- RULE 2006 at FLoC --- paper deadline 14 May Maribel Fernandez (Do Apr 20 2006 - 19:00:18 CEST)
- New MCC version Wolfgang Lux (Mo Mai 15 2006 - 18:07:12 CEST)
- WFLP 2006 - SECOND CALL FOR PAPERS Francisco J. Lopez Fraguas (Fr Mai 19 2006 - 16:04:40 CEST)
- Help with a little function called "choose" Matthew Naylor (Mo Jun 12 2006 - 21:02:37 CEST)
- PADL'07: CALL FOR PAPERS Gopal Gupta (Fr Jun 23 2006 - 07:10:39 CEST)
- CFP for Practical Aspects of Declarative Languages: 9th Symposium Gopal Gupta (Mi Aug 02 2006 - 17:35:20 CEST)
- Final CFP: 9th Int'l Symposium on Practical Aspects of Declarative Languages (PADL) Gopal Gupta (Mo Aug 28 2006 - 16:57:27 CEST)
- WFLP'06: Call for participation Michael Hanus (Mo Okt 30 2006 - 09:11:07 CET)
- 9th Symposium on Practical Aspects of Declarative Langs (Call for Participation) Gopal Gupta (Di Nov 21 2006 - 19:17:52 CET)
- Second CfP: Bytecode'07 Fausto Spoto (Fr Nov 24 2006 - 13:30:54 CET)
- from static typing to runtime constraints Sebastian Hanowski (Fr Dez 08 2006 - 07:55:40 CET)
- a proposal featuring a bug Sebastian Hanowski (Mo Dez 11 2006 - 08:45:21 CET)
- type-directed programming Sebastian Hanowski (Fr Dez 15 2006 - 09:41:56 CET)
- 'polymorphism restriction' anyone? Sebastian Hanowski (Mo Dez 18 2006 - 09:17:54 CET)
- Bug in Curry type-checker Wolfgang Lux (Mo Dez 18 2006 - 12:04:27 CET)
- casting with a func. pattern Sebastian Hanowski (Fr Feb 02 2007 - 09:48:00 CET)
- CFP: RULE 2007 Workshop Victor L Winter (So Feb 11 2007 - 17:29:20 CET)
- CFP: WRS 2007 (Reduction Strategies in Rewriting and Programming) Juergen Giesl (Do Feb 22 2007 - 17:32:03 CET)
- LADS'007 - Call for Papers - Workshop on Languages, methodologies and Development tools for multi-agent Systems LADS'007 Co-organisers (Do Mär 08 2007 - 13:57:51 CET)
- LOPSTR 2007 Call for Papers A.M.King (Do Mär 29 2007 - 11:26:04 CEST)
- New PAKCS release (Version 1.8.0) Michael Hanus (Do Mär 29 2007 - 13:27:46 CEST)
- 2nd CFP: WFLP 2007, Paris ,June 25 Rachid Echahed (Do Apr 05 2007 - 10:49:35 CEST)
- Last CFP: WRS 2007 (Reduction Strategies in Rewriting and Programming) Juergen Giesl (Do Apr 12 2007 - 16:39:26 CEST)
- DESMA'07 2nd call for papers Juan Carlos González Moreno (Mo Apr 16 2007 - 13:35:06 CEST)
- UNIF'07 second call for papers Evelyne Contejean (Fr Apr 20 2007 - 15:20:12 CEST)
- CfP: 21st Workshop on Logic Programming - WLP 2007 Michael Hanus (Mo Apr 23 2007 - 09:59:53 CEST)
- (CFP) WLPE'07 - Workshop on Logic-based Methods in Programming Environments Wim Vanhoof (Di Apr 24 2007 - 17:30:09 CEST)
- encapsulated search (Re: New PAKCS release (Version 1.8.0)) Claus Reinke (Fr Apr 27 2007 - 02:49:20 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) Claus Reinke (Fr Apr 27 2007 - 12:59:24 CEST)
- LOPSTR 2007 Call for Papers A.M.King (Di Mai 01 2007 - 11:40:35 CEST)
- call-time choice vs partial application? Claus Reinke (Fr Mai 04 2007 - 17:39:34 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) Claus Reinke (So Mai 06 2007 - 01:35:14 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) Michael Hanus (Di Mai 08 2007 - 14:51:24 CEST)
- curry on windows (was: encapsulated search) Claus Reinke (Di Mai 08 2007 - 20:04:57 CEST)
- LOPSTR 2007 Final Call for Papers A.M.King (Fr Mai 25 2007 - 11:31:06 CEST)
- 2nd CfP: 21st Workshop on Logic Programming - WLP 2007 Michael Hanus (Di Mai 29 2007 - 17:48:48 CEST)
- (2nd CFP) Workshop on Logic-based Methods in Programming Environments (WLPE'07) Wim Vanhoof (Sa Jun 02 2007 - 22:16:21 CEST)
- ANNOUNCE Münster Curry Compiler release 0.9.11 Wolfgang Lux (Mo Jun 11 2007 - 09:44:55 CEST)
- WLP 2007 - Extended Deadline: July 1, 2007 Michael Hanus (Mi Jun 13 2007 - 11:46:58 CEST)
- Confused Students Sebastian Fischer (Di Jun 19 2007 - 18:17:12 CEST)
- PADL 2008: Call for Papers Gopal Gupta (Mo Jun 25 2007 - 16:53:37 CEST)
- FLOPS08 call for papers Sergio Antoy (Mo Jul 16 2007 - 21:34:57 CEST)
- PEPM 2008: abstracts due Oct 12 Oege.de.Moor_at_comlab.ox.ac.uk (Di Sep 11 2007 - 14:01:12 CEST)
- FLPOS2008 second call for papers Sergio Antoy (Di Sep 18 2007 - 18:15:30 CEST)
- FLOPS08 last call for papers Sergio Antoy (Di Okt 02 2007 - 20:11:58 CEST)
- 2nd CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07) demis_at_dimi.uniud.it (Fr Okt 05 2007 - 17:10:17 CEST)
- PEPM 2008: abstracts due Oct 12 Oege.de.Moor_at_comlab.ox.ac.uk (Fr Okt 05 2007 - 15:19:00 CEST)
- CFP - DAMP 2008 - Declarative Aspects of Multicore Programming Manuel Hermenegildo (Do Okt 11 2007 - 22:51:28 CEST)
- New survey on FLP and Curry Michael Hanus (Fr Okt 12 2007 - 11:48:10 CEST)
- TOY 2.3.1 Released Fernando Sáenz Pérez (Fr Okt 19 2007 - 10:14:39 CEST)
- DAMP2008 Declarative Aspects of Multicore Programming - Deadline Oct26 Manuel Hermenegildo (Di Okt 23 2007 - 21:45:43 CEST)
- Intended meaning Sergio Antoy (Do Okt 25 2007 - 05:46:39 CEST)
- Bug in PAKCS data inspection ¿? Juan Carlos González Moreno (Mi Okt 24 2007 - 11:32:14 CEST)
- DAMP2008 Decl. Aspects of Multicore Prog, - *extended* deadline Oct31 Manuel Hermenegildo (Fr Okt 26 2007 - 00:12:41 CEST)
- SAS 2008 Second Call for Papers German Vidal (Fr Dez 07 2007 - 12:59:46 CET)
- PADL'08: Call for Participation (Early Reg. Deadline: Dec 13) Gopal Gupta (Do Dez 06 2007 - 23:23:16 CET)
- New PAKCS release (Version 1.9.0) Michael Hanus (Mi Dez 19 2007 - 22:50:45 CET)
- LOPSTR 2008: Preliminary Call for Papers Michael Hanus (Fr Dez 21 2007 - 15:25:27 CET)
- SAS 2008 Third Call for Papers German Vidal (Mi Jan 02 2008 - 10:05:35 CET)
- SAS 2008 - Final CFP German Vidal (Do Jan 10 2008 - 10:24:29 CET)
- DEADLINE EXTENSION - SAS 2008 German Vidal (Di Jan 15 2008 - 09:54:38 CET)
- ICLP'08 first CFP Sergio Antoy (Di Jan 29 2008 - 00:34:28 CET)
- PhD position available at the CLIP group, UPM, Spain scube-phd-grants_at_clip.dia.fi.upm.es (Di Jan 29 2008 - 01:47:15 CET)
- Second Call for Papers TFP 2008, The Netherlands Michael Hanus (Fr Feb 01 2008 - 18:53:39 CET)
- 1st call for participation AFP 2008, The Netherlands Michael Hanus (Mo Feb 04 2008 - 18:32:26 CET)
- Parser combinator problem Steffen Mazanek (Fr Feb 08 2008 - 11:31:25 CET)
- PAKCS, problem with module CLPFD Steffen Mazanek (Fr Feb 08 2008 - 13:07:18 CET)
- PPDP'08: Call for Papers Michael Hanus (Fr Feb 08 2008 - 13:35:27 CET)
- Re: PAKCS, problem with module CLPFD -> solved Steffen Mazanek (Di Feb 12 2008 - 10:47:56 CET)
- Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques Security (SecReT 2008) Santiago Escobar (Mo Feb 18 2008 - 18:00:25 CET)
- Another parser combinator problem Steffen Mazanek (Sa Feb 23 2008 - 19:44:39 CET)
- Preliminary CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) Santiago Escobar (Mi Feb 27 2008 - 20:57:36 CET)
- Preliminary CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) Santiago Escobar (Mi Feb 27 2008 - 20:59:12 CET)
- Third call for papers TFP 08 and second call for participation AFP 08 Michael Hanus (Fr Feb 29 2008 - 19:33:43 CET)
- Transmit free variables via socket Steffen Mazanek (Di Mär 04 2008 - 14:04:43 CET)
- Re: Transmit free variables via socket -> solved Steffen Mazanek (Di Mär 04 2008 - 18:10:48 CET)
- the semantics of inv :: (a -> b) -> (b -> a) Sebastian Hanowski (Fr Mär 07 2008 - 11:23:17 CET)
- putting laziness back on the parallelized map Sebastian Hanowski (Mi Mär 12 2008 - 14:10:24 CET)
- CfP: LOPSTR 2008 Michael Hanus (Do Mär 13 2008 - 11:27:04 CET)
- Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT 2008) Santiago Escobar (So Mär 16 2008 - 23:50:27 CET)
- 1st CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) Santiago Escobar (Di Mär 25 2008 - 16:46:56 CET)
- 1st CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) Santiago Escobar (Di Mär 25 2008 - 16:47:55 CET)
- PAKCS Sockets on swi-pl? Steffen Mazanek (Mo Apr 07 2008 - 22:13:55 CEST)
- design pattern wanted Steffen Mazanek (Di Apr 08 2008 - 11:30:59 CEST)
- Fwd: design pattern wanted Steffen Mazanek (Di Apr 08 2008 - 13:36:31 CEST)
- Re: PAKCS Sockets on swi-pl? -> solved Steffen Mazanek (Di Apr 08 2008 - 14:31:37 CEST)
- WRS 2008 - 2nd CFP Michael Hanus (Mi Apr 09 2008 - 09:49:55 CEST)
- 2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) Santiago Escobar (Fr Apr 11 2008 - 18:55:32 CEST)
- 2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) Santiago Escobar (Mo Apr 14 2008 - 15:25:24 CEST)
- Final CfP: LOPSTR 2008 Michael Hanus (Fr Apr 18 2008 - 09:14:29 CEST)
- DEADLINE EXTENSION: (WFLP'08) 17th Int'l Workshop on Functional and (Constraint) Logic Programming Alicia Villanueva (Mi Apr 23 2008 - 19:06:03 CEST)
- Second Call for Participation TFP 2008, The Netherlands Michael Hanus (Do Apr 24 2008 - 09:16:56 CEST)
- Two to Three Ways to write an unsafe type cast without importing Unsafe Bernd Brassel (Mi Mai 14 2008 - 15:43:45 CEST)
- KiCS - The Kiel Curry System Bernd Brassel (Do Mai 15 2008 - 12:52:51 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe Michael Hanus (Do Mai 15 2008 - 18:57:26 CEST)
- CfP: FDPE 2008 Michael Hanus (Mi Mai 21 2008 - 17:34:12 CEST)
- SAS 2008 - Call for participation German Vidal (Mo Mai 26 2008 - 10:30:56 CEST)
- Haskell Communities and Activities Report Jan Christiansen (Mo Jun 02 2008 - 10:20:35 CEST)
- [SAS-LOPSTR-PPDP-PLID 2008] Call for participation German Vidal (Do Jun 05 2008 - 23:12:46 CEST)
- transporting predicates along maps Sebastian Hanowski (Fr Jun 13 2008 - 13:42:52 CEST)
- CfPart: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) Alicia Villanueva (Sa Jun 21 2008 - 17:22:58 CEST)
- CfPart: 4th International Workshop on Automated (WWV'08) Alicia Villanueva (Mo Jun 23 2008 - 10:58:09 CEST)
- FDPE 2008 -- Deadline extension Michael Hanus (Di Jun 24 2008 - 11:46:53 CEST)
- Symposium on Practical Aspects of Declarative Languages (PADL'09) Michael Hanus (Di Jul 22 2008 - 10:02:40 CEST)
- [PEPM 2009] Preliminary CFP German Vidal (Mi Jul 30 2008 - 13:16:41 CEST)
- CFP: CICLOPS 2008 ciclops-org_at_clip.dia.fi.upm.es (Fr Jul 25 2008 - 17:56:30 CEST)
- curry-language.org Michael Hanus (Mo Sep 01 2008 - 17:48:13 CEST)
- danoM == Comonad ? Jan Christiansen (Mi Sep 03 2008 - 09:26:18 CEST)
- DAMP 2009 CFP Manuel Carro (Mi Sep 24 2008 - 18:45:59 CEST)
- Post-doc positions at Universidad Complutense Madrid Francisco J. Lopez Fraguas (Do Okt 02 2008 - 10:26:21 CEST)
- PEPM 2009 - final call for papers German Vidal (Fr Okt 03 2008 - 12:44:14 CEST)
- Haskell Communities & Activities Report Jan Christiansen (Do Okt 09 2008 - 09:52:43 CEST)
- FMICS 2009: First CFP Maria Alpuente Frasnedo (Di Nov 11 2008 - 09:35:37 CET)
- First CFP: WWV 2009 Marco Comini (Mi Nov 26 2008 - 19:05:09 CET)
- ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008) Jan Christiansen (Fr Nov 28 2008 - 10:16:21 CET)
- DAMP'09 -- Call for Participation list_at_clip.dia.fi.upm.es (Mi Dez 24 2008 - 05:57:02 CET)
- Logic Programming: 25th International Conference CFP Michael Hanus (Mi Jan 07 2009 - 09:21:08 CET)
- Call for Papers: IFL 2009 Michael Hanus (Fr Jan 16 2009 - 15:58:01 CET)
- FMICS 2009: Second Call for Papers Maria Alpuente Frasnedo (Di Jan 20 2009 - 15:04:40 CET)
- Last CfP: WWV 2009 Alicia Villanueva (Do Jan 29 2009 - 15:02:42 CET)
- TFP 2009 CFP Michael Hanus (Fr Jan 30 2009 - 10:16:53 CET)
- ICLP 2009: Call for Workshop Proposals cfp_at_clip.dia.fi.upm.es (So Feb 08 2009 - 17:05:29 CET)
- Maude 2.4 release with unification and narrowing Santiago Escobar (So Feb 08 2009 - 21:05:21 CET)
- Cfp: WFLP09-18th Int'l Workshop on Functional and (Constraint) Logic Programming Santiago Escobar (So Feb 08 2009 - 22:49:10 CET)
- Take a break: write an essay for Onward! essays Michael Hanus (Do Feb 12 2009 - 12:20:54 CET)
- CfP: CICLOPS09 Michael Hanus (So Mär 08 2009 - 18:27:29 CET)
- Call for Papers: Workshop on Termination (WST 2009) Michael Hanus (Do Mär 12 2009 - 16:17:18 CET)
- PPDP'09 - 1st CfP António Porto (Mo Mär 16 2009 - 17:48:32 CET)
- LOPSTR2009 first Call for Papers Michael Hanus (Di Mär 17 2009 - 17:21:56 CET)
- CfP TFP 2009 and Functional Programming summer school: CEFP 2009 Michael Hanus (Do Mär 19 2009 - 09:41:21 CET)
- Cfp: WFLP09 - 18th Int'l Workshop on Functional and (Constraint) Logic Programming Santiago Escobar (Mo Mär 23 2009 - 11:03:14 CET)
- Local Haskell meeting, Halle/Saale, Germany, June 12 Sebastian Fischer (Mi Apr 08 2009 - 11:10:47 CEST)
- PPDP'09 - 2nd CfP António Porto (Di Apr 14 2009 - 15:16:41 CEST)
- TFP 2009: Third Call for Papers Michael Hanus (Mi Apr 15 2009 - 12:41:33 CEST)
- PPDP 2009 - 2nd CfP Francisco J. Lopez Fraguas (Mi Apr 15 2009 - 12:56:56 CEST)
- Editor for Curry Rusreg (Do Apr 02 2009 - 20:08:47 CEST)
- MCC: Errors under WIndows Гилмуллин Рушан (Sa Apr 04 2009 - 00:43:18 CEST)
- Curry patterns Гилмуллин Рушан (Mi Apr 15 2009 - 15:18:21 CEST)
- using maling list Rusreg (Mi Apr 15 2009 - 19:23:36 CEST)
- WFLP09: Deadline Extension Santiago Escobar (Do Apr 23 2009 - 05:16:12 CEST)
- Fw: PPDP'09 - last CfP Francisco J. Lopez Fraguas (Mi Apr 29 2009 - 17:51:39 CEST)
- [Ppdp09] PPDP'09 - EXTENDED DEADLINES António Porto (Mo Mai 04 2009 - 10:26:37 CEST)
- Last CFP: Trends in Functional Programming Michael Hanus (Mi Mai 06 2009 - 09:22:01 CEST)
- FLOPS 2010: Preliminary Call for Papers German Vidal (Do Mai 14 2009 - 10:40:53 CEST)
- CFP: Workshop AAIP'09 associated with ICFP'09, extended submission deadline Emanuel Kitzelmann (Di Mai 19 2009 - 15:45:07 CEST)
- WFLP'09: Call for participation Santiago Escobar (Do Mai 28 2009 - 19:17:03 CEST)
- IFL 2009: Second Call for Papers Michael Hanus (Mo Jun 01 2009 - 19:10:33 CEST)
- Initial Call for Papers: PADL 2010 Manuel Carro (So Jun 07 2009 - 20:50:52 CEST)
- purely functional lazy non-deterministic programming Sebastian Fischer (Mo Jun 08 2009 - 18:01:33 CEST)
- First Call For Papers: PEPM'10 John Gallagher (Di Jun 16 2009 - 17:39:06 CEST)
- Declarative programming overview Sebastian Fischer (Do Jul 09 2009 - 20:05:47 CEST)
- IFL 2009: Third Call for Papers Michael Hanus (Do Jul 16 2009 - 17:31:55 CEST)
- beautiful non-determinism Sebastian Fischer (So Jul 19 2009 - 22:18:39 CEST)
- Transformation of Business Process Models to BPEL Steffen Mazanek (So Jul 19 2009 - 22:55:05 CEST)
- Second Call for Papers: PADL'10, Madrid, January 2010 Manuel Carro (Fr Jul 24 2009 - 17:17:12 CEST)
- CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation) Michael Hanus (Di Jul 28 2009 - 08:36:27 CEST)
- CFP VMCAI 2010, Madrid - EXTENDED DEADLINE: Aug 21/28 Manuel Hermenegildo (So Aug 16 2009 - 15:19:48 CEST)
- PADL 10: Third Call for Papers Manuel Carro (Mi Aug 26 2009 - 06:06:11 CEST)
- Type-classes and call-time choice vs. run-time choice Wolfgang Lux (Do Aug 27 2009 - 11:55:45 CEST)
- PADL'10: deadline extension (1 more week) Manuel Carro (Mo Aug 31 2009 - 14:04:05 CEST)
- FLOPS 2010: Second Call for Papers German Vidal (Di Sep 01 2009 - 13:04:53 CEST)
- DAMP 2010: Call for Papers Enrico Pontelli (Mi Sep 02 2009 - 21:34:21 CEST)
- PEPM'10 - CFP (Submission: 6 Oct 09, Notification: 29 Oct 09) John Gallagher (Mo Sep 14 2009 - 11:42:42 CEST)
- DAMP 2010 - Extended Deadline [September 27th] Enrico Pontelli (Mi Sep 23 2009 - 16:50:31 CEST)
- 404 for MCC project page Nikolay Orlyuk (Do Okt 01 2009 - 15:24:42 CEST)
- PEPM'10 - Final CFP (Deadline Tuesday 6 October, 2009 ) John Gallagher (Do Okt 01 2009 - 16:32:07 CEST)
- FLOPS 2010: Last Call for Papers German Vidal (Fr Okt 02 2009 - 10:07:25 CEST)
- CFP: Workshop on Functional and (Constraint) Logic Programming WFLP2010 Julio Mariño (Sa Okt 03 2009 - 23:39:56 CEST)
- CFP: 19th International Workshop on Functional and (Constraint) Logic Programming Julio Mariño y Carballo (Di Okt 13 2009 - 19:57:17 CEST)
- FLOPS 2010: Extended submission deadlines German Vidal (Mo Okt 19 2009 - 12:59:24 CEST)
- WFLP2010 2nd CFP: LNCS + invited speaker + abstract due Nov 9 Julio Mariño (Mo Okt 26 2009 - 18:23:36 CET)
- WFLP2010: Deadlines extended Julio Mariño (Do Nov 12 2009 - 19:11:31 CET)
- Call for Participation - PEPM'10 (co-located with POPL'10) John Gallagher (Mi Nov 18 2009 - 18:32:57 CET)
- CLP(FD) and the Minimize labeling option Luca Torella (Di Nov 24 2009 - 10:38:04 CET)
- lambda application destroys sharing Sebastian Fischer (Mi Nov 25 2009 - 12:00:43 CET)
- DAMP'10: Call for Participation Enrico Pontelli (Mi Dez 09 2009 - 05:16:59 CET)
- VMCAI 2010 - Call for Participation - Early Reg: Dec 22 vmcai10-announce_at_clip.dia.fi.upm.es (Mo Dez 14 2009 - 02:20:40 CET)
- PADL 2010: Call for Participation Manuel Carro (Mo Dez 14 2009 - 10:37:23 CET)
- POPL 2010 - Call for Participation - Early Registration Dec 22 herme_at_fi.upm.es (Sa Dez 19 2009 - 03:17:19 CET)
- WFLP2010: Call for Participation Julio Mariño (Mo Dez 28 2009 - 14:51:58 CET)
- CFP - ICLP 2010 - DEADLINE: Jan 26 Manuel Hermenegildo (Sa Jan 09 2010 - 21:41:45 CET)
- FINAL CFP, ICLP 2010 - Extended Deadline: Jan 31 / Feb 7 Manuel Hermenegildo (Di Jan 26 2010 - 13:33:02 CET)
- FLOPS 2010 - Call for Participation German Vidal (Di Feb 09 2010 - 16:06:49 CET)
- TFP 2010 - Call for Papers and Participation Michael Hanus (Di Feb 23 2010 - 07:56:49 CET)
- CFP CICLOPS-WLPE 2010 at FLoC (Edinburgh, 15 July) German Vidal (Mo Mär 01 2010 - 20:45:15 CET)
- Last CfP: LOPSTR'10 Michael Hanus (Mi Mär 17 2010 - 09:45:04 CET)
- IFL 2010 - CALL FOR PAPERS Frank Huch (Mi Mär 24 2010 - 19:05:14 CET)
- LOPSTR 2010: Deadline extension Marco Comini (Do Mär 25 2010 - 21:09:27 CET)
- Curry web pages Michael Hanus (Mi Mär 31 2010 - 11:46:32 CEST)
- PAKCS On windows??? hema kumar (Mo Apr 19 2010 - 08:18:33 CEST)
- CICLOPS-WLPE 2010 at FLoC: Call for Participation German Vidal (Mi Mai 12 2010 - 09:50:19 CEST)
- SecReT 2010 Call for Participation Santiago Escobar (Do Mai 20 2010 - 16:49:32 CEST)
- Getting the constructor from flat curry hema kumar (Mi Jun 30 2010 - 00:48:54 CEST)
- referential transparency, definiteness, and unfoldability Sebastian Fischer (Do Jul 15 2010 - 11:30:35 CEST)
- CFP: DAMP 2011 Manuel Carro (Fr Sep 10 2010 - 19:14:59 CEST)
- Call for Workshop Proposals (RDP 2011, Novi Sad) Michael Hanus (Mi Sep 22 2010 - 09:40:16 CEST)
- CFP: Term and Graph Rewriting/TERMGRAPH 2011 Rachid Echahed (Mo Okt 25 2010 - 17:50:58 CEST)
- Invertible nondeterminism? Sebastian Fischer (Do Dez 16 2010 - 05:34:15 CET)
- Fwd: Invertible nondeterminism? Julio Mariño (Do Dez 16 2010 - 13:33:40 CET)
- Denotational semantics for recursive let expressions Jan Christiansen (Fr Dez 17 2010 - 13:42:10 CET)
- 1st CFP Trends in Functional Programming 2011 Michael Hanus (Mo Dez 20 2010 - 08:41:59 CET)
- CfP: WRS 2011 - 10th International Workshop on Reduction Strategies in Rewriting and Programming Santiago Escobar (Mi Dez 22 2010 - 15:24:13 CET)
- Special Issue of Information and Computation on Functional and (Constraint) Logic Programming Santiago Escobar (Mo Jan 03 2011 - 13:19:21 CET)
- CfP: 4th Workshop on Approaches and Applications of Inductive Programming (AAIP 2011) Emanuel Kitzelmann (Mi Jan 05 2011 - 05:44:26 CET)
- Proposal: Syntax extension Michael Hanus (Mi Jan 05 2011 - 10:51:18 CET)
- LOPSTR 2011 - call for papers German Vidal (Mi Jan 12 2011 - 16:14:00 CET)
- CfP: PPDP 2011 Michael Hanus (Do Jan 13 2011 - 17:29:27 CET)
- Final cfp ICLP 2011 - Submission Deadline Extension John Gallagher (Do Jan 13 2011 - 23:42:08 CET)
- report of PAKCS installation problems (partly solved) Sebastian Fischer (Mi Jan 19 2011 - 07:24:56 CET)
- Proposal: Syntax extension Sebastian Fischer (Mo Jan 24 2011 - 08:48:39 CET)
- slight differences between non-termination and failure Sebastian Fischer (Mi Feb 02 2011 - 10:06:23 CET)
- LOPSTR 2011 - second call for papers German Vidal (Di Feb 15 2011 - 17:32:59 CET)
- Neither PAKCS nor MCC transform right sections according to the Curry report. Sebastian Fischer (Sa Feb 19 2011 - 05:02:03 CET)
- 2nd CfP: WRS 2011 - 10th International Workshop on Reduction Strategies in Rewriting and Programming Santiago Escobar (Mi Feb 23 2011 - 15:14:58 CET)
- Call for Papers, WFLP 2011 Herbert Kuchen (Mo Feb 28 2011 - 12:55:41 CET)
- CfP: PPDP 2011 Michael Hanus (Di Mär 01 2011 - 22:56:37 CET)
- CALL FOR PAPERS : UML&FM2011 Isabelle Perseil (Di Mär 01 2011 - 23:23:44 CET)
- Last CfP: WRS 2011 - 10th International Workshop on Reduction Strategies in Rewriting and Programming Santiago Escobar (Fr Mär 11 2011 - 15:15:12 CET)
- LOPSTR 2011 - Last CFP German Vidal (Mo Mär 14 2011 - 12:26:06 CET)
- Second CfP: FOPARA 2011 Michael Hanus (Sa Mär 19 2011 - 00:49:00 CET)
- Second CfP: Trends in Functional Programming - TFP 2011 Michael Hanus (Sa Mär 19 2011 - 00:51:04 CET)
- RDP 2011: Call for Participation Michael Hanus (Do Mär 24 2011 - 20:07:19 CET)
- Last CFP: 4th Workshop on Approaches and Applications of Inductive Programming (AAIP 2011) Emanuel Kitzelmann (Fr Mär 25 2011 - 09:12:35 CET)
- LOPSTR 2011 - Submission deadline extended: April 17 (both full papers and extended abstracts) German Vidal (Mo Mär 28 2011 - 14:50:13 CEST)
- WLPE 1st CFP (July 10, Lexington, Kentucky) German Vidal (Di Mär 29 2011 - 15:44:48 CEST)
- TFP2011: last CfP Michael Hanus (Do Mär 31 2011 - 18:52:54 CEST)
- Extended submission deadline, AAIP 2011 Emanuel Kitzelmann (Di Apr 05 2011 - 23:27:07 CEST)
- Last CfP and Deadlien Extension, WFLP 2011 Herbert Kuchen (Fr Apr 08 2011 - 16:33:51 CEST)
- 2nd CfP: Special journal issue on Functional and (Constraint) Logic Programming Santiago Escobar (Mo Apr 11 2011 - 18:10:36 CEST)
- EXTENDED DEADLINE : UML&FM'2011 Isabelle Perseil (Fr Apr 15 2011 - 04:32:51 CEST)
- Re: example with 2 combined searches: does "No solution" guarantee no solution actually? Wolfgang Lux (Di Apr 19 2011 - 22:20:45 CEST)
- example with 2 combined searches: does "No solution" guarantee no solution actually? Ivan Zakharyaschev (Mi Apr 20 2011 - 00:00:46 CEST)
- WLPE 2nd CFP (July 10, Lexington, Kentucky) German Vidal (Mo Apr 25 2011 - 18:48:27 CEST)
- WLPE deadline extension German Vidal (Do Apr 28 2011 - 22:13:43 CEST)
- CALL FOR PARTICIPATION 27th International Conference on Logic Programming (ICLP 2011) John Gallagher (Do Mai 05 2011 - 16:43:12 CEST)
- Call for Participation: PPDP 2011 Michael Hanus (Mo Mai 23 2011 - 22:43:59 CEST)
- Call for Participation WFLP 2011 Herbert Kuchen (Di Mai 24 2011 - 13:58:30 CEST)
- residuation for compositional search? Sebastian Fischer (Di Mai 24 2011 - 16:49:31 CEST)
- LOPSTR 2011 - call for participation German Vidal (Do Mai 26 2011 - 13:36:13 CEST)
- Call for Participation KPS 2011 Herbert Kuchen (Mo Jul 11 2011 - 12:05:48 CEST)
- RTA 2012: Call for Workshop Proposals Michael Hanus (Mi Jul 20 2011 - 14:49:56 CEST)
- Database library based on SQLite Sebastian Fischer (Mi Aug 17 2011 - 13:06:37 CEST)
- FLOPS 2012 in Kobe, Japan (Call for Papers) Sebastian Fischer (Mo Aug 22 2011 - 06:09:03 CEST)
- call-time choice and extensionality Sebastian Fischer (Mi Aug 24 2011 - 06:48:59 CEST)
- Do notation for arbitrary monads Arthur Peters (Di Sep 06 2011 - 19:02:53 CEST)
- RTA 2012: First Call For Papers Michael Hanus (Mo Okt 03 2011 - 13:23:07 CEST)
- CFP: Term and Graph rewriting, special issue of MSCS Rachid Echahed (Do Okt 06 2011 - 09:16:48 CEST)
- PEPM'12 - Deadline Extension Sebastian Fischer (Di Okt 11 2011 - 17:26:44 CEST)
- ICECCS 2012 - Call for Papers Isabelle Perseil (Mi Okt 12 2011 - 18:17:08 CEST)
- Second CFP: Term and Graph rewriting, special issue of MSCS Rachid Echahed (Di Nov 22 2011 - 06:44:20 CET)
- PEPM'12: Call For Participation Sebastian Fischer (Mi Nov 23 2011 - 15:15:35 CET)
- CfP WFLP 2012 Herbert Kuchen (Mo Nov 28 2011 - 08:23:59 CET)
- LICS 2012 - Final Call for Papers Michael Hanus (Mi Jan 04 2012 - 12:00:13 CET)
- PhD position in declarative programming Michael Hanus (Mo Feb 06 2012 - 16:35:48 CET)
- TFPIE: Trends in Functional Programming in Education 2012 Michael Hanus (Mo Feb 06 2012 - 18:07:59 CET)
- CfP: European Conference on Service-Oriented and Cloud Computing (ESOCC'12) Ernesto Pimentel Sánchez (Do Feb 09 2012 - 22:53:19 CET)
- WFLP2012: 2nd Call For Papers Michael Hanus (Mi Feb 15 2012 - 09:07:58 CET)
- set functions and weak encapsulation Sebastian Fischer (Di Mär 06 2012 - 02:06:53 CET)
- 6th International School on Rewriting (ISR 2012) - Early registration (250 euro): June 15!! Santiago Escobar (Fr Jun 08 2012 - 10:19:25 CEST)
- Second call for papers TFPIE 2012 Michael Hanus (Do Apr 05 2012 - 10:46:28 CEST)
- Call for Presentation of Work in Progress (Wip-WFLP 2012) Michael Hanus (Do Apr 05 2012 - 11:00:54 CEST)
- [CFP] Call for Papers WCB12 Sebastian Will (Mi Apr 11 2012 - 15:01:36 CEST)
- Last CfP: UNIF 2012 - 26th International Workshop on Unification Santiago Escobar (Fr Apr 13 2012 - 14:53:47 CEST)
- Final call for papers for TFPIE 2012 Michael Hanus (Do Mai 10 2012 - 13:27:15 CEST)
- 6th International School on Rewriting (ISR), Valencia, July 16-20, 2012 Santiago Escobar (Do Mai 10 2012 - 16:22:03 CEST)
- equality of partial applications Sebastian Fischer (So Jun 17 2012 - 20:23:22 CEST)
- PhD position in declarative programming Michael Hanus (Do Jul 12 2012 - 15:36:28 CEST)
- Update of the Curry report Michael Hanus (Do Aug 23 2012 - 12:53:20 CEST)
- Compiling standalone applications in Kics2 Larry D. Lee jr. (Sa Dez 01 2012 - 03:06:10 CET)
- Curry report updated to version 0.8.3 Michael Hanus (Di Sep 11 2012 - 17:50:52 CEST)
- RTA 2013: 2nd CfP Michael Hanus (Do Dez 13 2012 - 15:50:34 CET)
- Curry Crash Course Sebastian Fischer (So Jan 20 2013 - 20:54:35 CET)
- Call for Papers: WFLP/WLP 2013 Michael Hanus (Mo Mär 25 2013 - 15:12:04 CET)
- WRS 2013 - Call for Papers Jeroen Ketema (Mo Apr 08 2013 - 13:05:48 CEST)
- findall resulting in strange message Wolfgang Jeltsch (Fr Apr 19 2013 - 12:34:45 CEST)
- function inversion and functional patterns Wolfgang Jeltsch (Fr Apr 19 2013 - 21:35:08 CEST)
- cannot define operators Wolfgang Jeltsch (Di Apr 23 2013 - 18:42:37 CEST)
- MIU in Curry Wolfgang Jeltsch (Di Apr 23 2013 - 19:48:07 CEST)
- default search strategy of KiCS2 Wolfgang Jeltsch (Fr Apr 26 2013 - 18:05:27 CEST)
- blog article about Curry Wolfgang Jeltsch (Sa Apr 27 2013 - 21:26:57 CEST)
- Call for Papers: WFLP/WLP 2013 Michael Hanus (Fr Jun 14 2013 - 10:44:39 CEST)
- Call for Papers: Kiel Declarative Programming Days 2013 Michael Hanus (Do Jun 27 2013 - 13:27:45 CEST)
- PhD position in Grenoble (French Alps) Rachid Echahed (Mo Jul 08 2013 - 14:47:58 CEST)
- Call for Participation: Kiel Declarative Programming Days 2013 Michael Hanus (Mo Aug 12 2013 - 13:38:11 CEST)
- New survey on Curry and FLP Michael Hanus (Do Sep 05 2013 - 11:21:39 CEST)
- Insertion Sort from Permutation Sort Sebastian Fischer (Mi Okt 16 2013 - 09:05:24 CEST)
- CfP: ICLP 2014 Michael Hanus (Mo Nov 11 2013 - 17:32:08 CET)
- Possible bug? Larry D. Lee jr. (Sa Nov 23 2013 - 21:17:24 CET)
- Final Call for Papers WRLA 2014 Santiago Escobar (Do Dez 12 2013 - 12:59:51 CET)
- [LOPSTR 2014] First Call for Papers German Vidal (Do Feb 27 2014 - 11:14:19 CET)
- On the textual order of rules Yi D (Mi Mär 26 2014 - 11:33:08 CET)
- PPDP 2014: Call for Papers Jacob Johannsen (Fr Apr 11 2014 - 19:11:21 CEST)
- LOPSTR 2014: Second Call for Papers German Vidal (Do Apr 17 2014 - 11:01:45 CEST)
- PPDP 2014: 2nd Call for Papers Jacob Johannsen (Fr Mai 02 2014 - 22:20:23 CEST)
- CFP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming Michael Hanus (Mi Mai 14 2014 - 10:26:38 CEST)
- LOPSTR 2014 - Extended Deadlines German Vidal (So Jun 01 2014 - 09:53:33 CEST)
- Re: Fwd: MIU in Curry Michael Hanus (Fr Jun 20 2014 - 10:49:05 CEST)
- 2nd CfP: WFLP 2014 - Workshop on Functional and
(Constraint) Logic Programming Michael Hanus (Sa Jun 28 2014 - 19:47:50 CEST)
- PPDP 2014 Call for Participation Jacob Johannsen (Sa Jul 12 2014 - 00:05:26 CEST)
- New KiCS2 release available Michael Hanus (Mi Jul 16 2014 - 14:05:02 CEST)
- PPDP 2014: Program and 2nd Call for Participation Jacob Johannsen (So Jul 27 2014 - 14:59:54 CEST)
- WLP/WFLP - Call for Participation - September 15-17 Michael Hanus (Mi Aug 13 2014 - 09:45:37 CEST)
- PhD position - Computer assisted validation in Erlang German Vidal (Do Sep 11 2014 - 13:19:31 CEST)
- RTA 2015 - First Call For Papers Michael Hanus (Mo Okt 20 2014 - 13:09:40 CEST)
- Some syntax sugar for logic programming lausgans_at_gmail.com (Mo Okt 27 2014 - 05:36:57 CET)
- Smap: Collecting small programs Michael Hanus (Di Okt 28 2014 - 17:36:07 CET)
- PPDP 2015: first call for papers Moreno Falaschi (Do Nov 27 2014 - 19:23:13 CET)
- First call for papers LOPSTR 2015 -- 25th International Symposium on Logic-Based Program Synthesis and Transformation -- Siena, Italy Moreno Falaschi (Sa Dez 06 2014 - 14:39:04 CET)
- Multiple instances of PAKCS interfere with each other Andy Jost (Mo Jan 05 2015 - 18:26:54 CET)
- CFP: Practical Aspects of Declarative Languages (PADL 2015) Enrico Pontelli (Do Jan 15 2015 - 03:52:36 CET)
- Found bugs in PAKCS show Andy Jost (So Jan 25 2015 - 20:12:15 CET)
- CFP: Practical Aspects of Declarative Languages (PADL 2015) Enrico Pontelli (So Feb 15 2015 - 05:54:15 CET)
- LOPSTR 2015: 2nd Call for Papers Moreno Falaschi (So Feb 22 2015 - 13:13:14 CET)
- PPDP 2015: 2nd call for papers Moreno Falaschi (So Feb 22 2015 - 13:16:37 CET)
- Extended Deadline - PADL 2015 Enrico Pontelli (Mo Mär 09 2015 - 04:01:30 CET)
- New PAKCS/KiCS2 releases available Michael Hanus (Do Mär 12 2015 - 15:28:21 CET)
- PPDP 2015. EXTENDED DEADLINE: April 6th. Moreno Falaschi (Mo Mär 16 2015 - 18:45:50 CET)
- LOPSTR 2015, Siena (Italy): Last call for papers Moreno Falaschi (Di Mär 31 2015 - 08:35:53 CEST)
- LOPSTR 2015. DEADLINE EXTENSION: May 2, 2015 Moreno Falaschi (Mi Apr 08 2015 - 11:30:33 CEST)
- CfP: FLOPS 2016 Michael Hanus (Mo Mai 04 2015 - 10:39:09 CEST)
- PADL 2015 - Call for Participation Enrico Pontelli (Do Mai 07 2015 - 11:36:16 CEST)
- PAKCS Internal Functions Andy Jost (Do Mai 14 2015 - 19:48:56 CEST)
- FLOPS 2016, Second CFP Michael Hanus (Mi Jul 22 2015 - 13:01:41 CEST)
- CFP: 25th International Conference on Compiler Construction
(CC) Manuel Hermenegildo (Mo Aug 24 2015 - 16:17:35 CEST)
- Final CFP: FLOPS 2016,
International Symposium on Functional and Logic Programming Michael Hanus (Di Sep 01 2015 - 09:54:15 CEST)
- PAKCS no longer builds with current SWI release (Mi Sep 02 2015 - 10:44:15 CEST)
- Ph.D. Position on Analysis of Energy Consumption of
High-Level Programs John Patrick Gallagher (Mi Sep 16 2015 - 22:42:09 CEST)
- Proposal: Simplifying Curry Michael Hanus (Do Okt 01 2015 - 13:45:36 CEST)
- Random labeling options for CLPFD lausgans_at_gmail.com (Di Nov 03 2015 - 15:54:05 CET)
- CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new
deadline* Manuel Hermenegildo (Di Nov 03 2015 - 20:20:59 CET)
- CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new
deadline* Manuel Hermenegildo (Mo Nov 09 2015 - 17:13:08 CET)
- Curry report updated to version 0.9.0 Michael Hanus (Mo Nov 16 2015 - 17:31:37 CET)
- CFP: 25th Int'l Conf. on Compiler Construction (CC) - Final
Call Manuel Hermenegildo (So Nov 22 2015 - 13:31:35 CET)
- CFP: TPLP special issue on New Trends of Constraint Logic
Programming h7sa_at_pdx.edu (Mi Dez 02 2015 - 18:07:58 CET)
- Curry-on to infinity Sebastian Hanowski (Fr Dez 04 2015 - 09:04:02 CET)
- Call for Papers: 3rd Workshop on Horn Clauses for
Verification and Synthesis (HCVS), affiliated with ETAPS 2016 John Patrick Gallagher (Sa Dez 12 2015 - 21:53:59 CET)
- Pull tabbing with variables Andy Jost (Do Dez 17 2015 - 16:00:56 CET)
- CfP: Workshop on Program Transformation for Programmability
in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 15 Salvador Tamarit (Mi Dez 23 2015 - 13:01:42 CET)
- CfP: Workshop on Program Transformation for Programmability
in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 15 Salvador Tamarit (Sa Jan 09 2016 - 13:00:34 CET)
- OpenGL bindings for Curry? (Mo Jan 11 2016 - 11:39:09 CET)
- RV 2016, Sept 23-30 2016, Madrid,
Spain - 1st Call for Papers and Tutorials Yliès Falcone (Fr Jan 15 2016 - 18:49:22 CET)
- CfP: Workshop on Program Transformation for Programmability
in Heterogeneous Architectures (Co-located with CGO16);
Deadline Jan 22 [Extended] Salvador Tamarit (Sa Jan 16 2016 - 21:24:26 CET)
- PROHA 2016 (_at_ CGO'16): Early Registration Deadline (Feb 3) Salvador Tamarit (Di Feb 02 2016 - 23:23:09 CET)
- [ICGT2016] Last CFP: Int.Conf. Graph Transformation, Vienna,
July 2016 Rachid Echahed (Do Feb 18 2016 - 23:42:23 CET)
- minor update on infinite data + free variables Sebastian Hanowski (Mo Feb 22 2016 - 07:21:01 CET)
- PPDP 2016: First Call for Papers German Vidal (Do Feb 25 2016 - 11:47:42 CET)
- CFP ICLP 2016: 32nd International Conference on Logic
Programming, New York City, Oct 17-21 Michael Hanus (Fr Feb 26 2016 - 09:30:47 CET)
- 18th International Symposium on Principles and Practice of
Declarative Programming PPDP 2016 - 2nd call for papers German Vidal (Do Apr 07 2016 - 09:19:07 CEST)
- Call for Papers - 30th Workshop on Logic Programming (WLP 2016) Michael Hanus (Fr Apr 22 2016 - 19:58:19 CEST)
- LOPSTR 2016 Call for Papers Manuel Hermenegildo (Sa Apr 30 2016 - 18:23:12 CEST)
- PPDP 2016 - Last Call for Papers German Vidal (Mi Mai 04 2016 - 10:19:45 CEST)
- Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint)
Logic Programming Michael Hanus (Di Mai 17 2016 - 21:03:16 CEST)
- 2nd Call for Papers: WFLP 2016 - Update: EPTCS Proceedings Michael Hanus (Di Mai 31 2016 - 20:28:28 CEST)
- LOPSTR 2016: 2nd Call for Papers pedro.lopez (Sa Jun 04 2016 - 17:28:34 CEST)
- LOPSTR'16: Final Call for Papers and *Deadline Extension* pedro.lopez (Mo Jun 13 2016 - 22:45:53 CEST)
- Call for papers - TPLP special issue on computational logic
for verification German Vidal (Do Jun 30 2016 - 12:58:12 CEST)
- Call for participation: PPDP 2016 German Vidal (Do Jul 07 2016 - 16:15:02 CEST)
- 2016 Autumn School on Computational Logic German Vidal (Mo Jul 11 2016 - 11:46:24 CEST)
- Last Call for Participation: PPDP 2016 - 18th International
Symposium on Principles and Practice of Declarative Programming German Vidal (Di Aug 02 2016 - 10:51:16 CEST)
- Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on
Logic-Based Program Synthesis and Transformation pedro.lopez (Di Aug 09 2016 - 20:34:26 CEST)
- Last Call for Participation: LOPSTR 2016 - 26th Intl. Symp.
on Logic-Based Program Synthesis and Transformation Pedro López García (Mo Aug 15 2016 - 09:28:38 CEST)
- micro update on programming whith infinite data structures Sebastian Hanowski (Fr Aug 19 2016 - 08:24:25 CEST)
- TPLP special issue on computational logic for verification German Vidal (Mo Sep 12 2016 - 10:32:34 CEST)
- TPLP special issue on computational logic for verification German Vidal (Mo Okt 10 2016 - 09:51:40 CEST)
- TPLP Special Issue: Past and Present (and Future) of
Parallel and Distributed Computation in (Constraint) Logic Programming epontell (Mi Nov 30 2016 - 16:08:54 CET)
- CFP: Special Issue of TPLP - Parallel and Distributed Logic
Programming [EXTENDED DEADLINE] epontell (Mi Feb 01 2017 - 15:46:11 CET)
- Curry Style Guide Michael Hanus (Fr Feb 24 2017 - 16:21:52 CET)
- Curry syntax Andy Jost (Mi Mär 08 2017 - 19:46:22 CET)
- Help using currypp James Koppel (Fr Mär 31 2017 - 22:58:51 CEST)
- TPLP Special Issue on Parallel and Distributed Logic
Programming - Final Deadline Enrico Pontelli (Di Apr 04 2017 - 07:37:34 CEST)
- RV and RV-CuBES 2017 - Call for papers and tutorials Ayoub Nouri (Sa Apr 15 2017 - 20:39:09 CEST)
- LOPSTR 2017: 1st Call for Papers John Patrick Gallagher (Do Apr 27 2017 - 20:06:09 CEST)
- PAKCS on Ubuntu and Debian Michael Hanus (Mo Mai 15 2017 - 18:44:42 CEST)
- Call for Papers: WFLP/WLP 2017 Michael Hanus (Mo Mai 22 2017 - 13:55:02 CEST)
- CfP: 2nd Workshop on Actors and Active Objects (WAO 2017);
Satellite event of iFM17 [Extended] Salvador Tamarit (Fr Jun 02 2017 - 13:25:27 CEST)
- Re: LOPSTR 2017: 2nd Call for Papers John Patrick Gallagher (Fr Jun 02 2017 - 12:13:20 CEST)
- UNIF 2017 Santiago Escobar (Fr Jun 02 2017 - 13:29:17 CEST)
- Fwd: 2nd CFP,
4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline:
June 11) Michael Hanus (Mi Jun 07 2017 - 13:41:27 CEST)
- LOPSTR 2017: Final Call for Papers - DEADLINE EXTENSION John Patrick Gallagher (Fr Jun 09 2017 - 12:04:33 CEST)
- 2nd Call for Papers: CICLOPS 2017 - 15th International
Colloquium on Implementation of Constraint and LOgic Programming Systems Michael Hanus (Fr Jun 09 2017 - 13:22:48 CEST)
- Final Call for Papers: CICLOPS 2017 - 15th International
Colloquium on Implementation of Constraint and LOgic Programming Systems
(DEADLINES EXTENSION) Michael Hanus (Mi Jun 21 2017 - 09:38:00 CEST)
- Introducing CPM - the Curry Package Manager Michael Hanus (Do Jun 22 2017 - 14:46:06 CEST)
- 2nd Call for Papers: WFLP/WLP 2017 Michael Hanus (Mo Jun 26 2017 - 22:17:45 CEST)
- FIRST Call For Papers: FLOPS 2018: 14th International
Symposium on Functional and Logic Programming John Patrick Gallagher (Do Jun 29 2017 - 21:49:39 CEST)
- RV 2017 - 1st Call for Participation Ayoub Nouri (Mi Jul 19 2017 - 17:15:02 CEST)
- PPDP and LOPSTR 2017 Call for Participation John Patrick Gallagher (Mo Aug 28 2017 - 13:20:50 CEST)
- Timing Curry programs James Koppel (Fr Okt 20 2017 - 00:15:01 CEST)
- Type classes for Curry Michael Hanus (Mi Okt 25 2017 - 21:13:26 CEST)
- Debian/Ubuntu packages for PAKCS Michael Hanus (Do Okt 26 2017 - 18:41:47 CEST)
- programming-by-simulations Sebastian Hanowski (Fr Okt 27 2017 - 07:37:09 CEST)
- Fwd: 10 PhD studentships in Nottingham Sandra Dylus (Mo Dez 04 2017 - 11:02:14 CET)
- PPDP 2018: First Call for Papers David Sabel (Di Jan 23 2018 - 14:45:53 CET)
- Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for
Verification and Synthesis German Vidal (Mi Jan 24 2018 - 11:03:33 CET)
- WST 2018 - 1st Call for Papers (submission: April 15, 2018) Salvador Lucas (Mo Feb 05 2018 - 12:15:55 CET)
- WFLP 2018: Call for Papers Michael Hanus (Di Mär 20 2018 - 09:53:23 CET)
- Call for Talks -- Haskell Implementors' Workshop Michael Hanus (Di Apr 03 2018 - 15:35:33 CEST)
- WST 2018 - 2nd Call for Papers (submission: April 15, 2018) Salvador Lucas (Di Apr 03 2018 - 09:02:38 CEST)
- PPDP 2018: Second Call for Papers David Sabel (Do Apr 05 2018 - 09:03:59 CEST)
- WST 2018 - Call for Papers (extended deadline: April 30,
2018) Salvador Lucas (Sa Apr 14 2018 - 09:16:56 CEST)
- PPDP 2018: Deadline Extension! David Sabel (Di Apr 24 2018 - 15:35:11 CEST)
- WST 2018 - Last Call for Papers (deadline: April 30, 2018) Salvador Lucas (Mi Apr 25 2018 - 10:15:29 CEST)
- Second round call for papers: LOPSTR 2018 David Sabel (Mi Mai 02 2018 - 09:54:38 CEST)
- WFLP 2018: Second Call for Papers Michael Hanus (Mi Mai 16 2018 - 15:41:44 CEST)
- Build errors ghc 8.4.2, macOS Felix Holmgren (Di Mai 22 2018 - 10:26:21 CEST)
- WST 2018 - Call for Participation (July 18-19, 2018) Salvador Lucas (Mo Jun 04 2018 - 10:02:22 CEST)
- WFLP 2018: Call for Papers (Reminder) Michael Hanus (Di Jun 19 2018 - 12:19:12 CEST)
- [curry] 2nd Call for Talks -- Haskell Implementors' Workshop Michael Hanus (Mi Jul 04 2018 - 18:23:57 CEST)
- [curry] PPDP 2018: Call for Participation David Sabel (Fr Jul 06 2018 - 17:25:18 CEST)
- [curry] PPDP | LOPSTR | WFLP 2018 Common Call for Participation David Sabel (Mo Aug 06 2018 - 16:56:42 CEST)
- [curry] What speed to expect doing logic on graphs represented by maps Jeffrey Brown (Mo Nov 12 2018 - 17:40:10 CET)
- [curry] Specifying default rules: Why and how? Jeffrey Brown (Mo Nov 19 2018 - 01:50:17 CET)
- [curry] The PAKCS REPL consider something undefined, but the module defining
it is loaded Jeffrey Brown (Do Nov 29 2018 - 21:51:00 CET)
- [curry] Haskell-related summer internship in Germany Finn Teegen (Fr Nov 30 2018 - 17:04:31 CET)
- [curry] pakcs installation gave "inappropriate ioctl" error; I tried to
rebuild `pakcs`; now I can't even build `pakcs` Jeffrey Brown (So Dez 02 2018 - 23:34:07 CET)
- [curry] CfP: WFLP 2019 - 27th International Workshop on Functional and
(Constraint) Logic Programming Michael Hanus (Mo Feb 04 2019 - 09:18:02 CET)
- [curry] CfP: WLP 2019 - 33rd Workshop on (Constraint) Logic Programming Petra Hofstedt (BTU) (Mo Feb 04 2019 - 11:34:57 CET)
- [curry] CfP: INAP 2019 - 22nd International Conference on Applications of
Declarative Programming and Knowledge Management Petra Hofstedt (BTU) (Mo Feb 04 2019 - 09:57:39 CET)
- [curry] 2nd CFP WFLP Herbert Kuchen (Di Apr 02 2019 - 16:05:56 CEST)
- [curry] Lots of problems with cypm Andy Jost (Mi Apr 03 2019 - 19:30:27 CEST)
- [curry] Final Call for Papers - PPDP 2019 Michael Hanus (So Apr 14 2019 - 17:39:50 CEST)
- [curry] Choosing default instances in Curry Andy Jost (Fr Mai 17 2019 - 20:21:50 CEST)
- [curry] How to interpret a data type with no RHS Andy Jost (Fr Mai 24 2019 - 21:06:45 CEST)
- [curry] "Normal form" of a partial application Andy Jost (Di Mai 28 2019 - 19:00:16 CEST)
- [curry] WFLP 2019 - Submission Deadline extended Herbert Kuchen (Di Jun 04 2019 - 12:47:12 CEST)
- [curry] Declare 2019 - Call for Participation Petra Hofstedt (BTU) (Fr Aug 09 2019 - 14:14:18 CEST)
- [curry] Dynamic Predicates? Felix Holmgren (Mo Okt 14 2019 - 10:58:36 CEST)
- [curry] Unicode support Volker Wysk (Mo Dez 16 2019 - 17:51:58 CET)
- [curry] Haskell compatibility Volker Wysk (Mo Dez 16 2019 - 18:00:37 CET)
- [curry] LOPSTR 2020 - First CFP Michael Hanus (Di Mär 31 2020 - 10:02:35 CEST)
- [curry] WFLP 2020 CFP (Workshop on Functional and Constraint Logic
Programming) Michael Hanus (Mo Mai 04 2020 - 09:17:13 CEST)
- [curry] WFLP 2020: 2nd CFP and Extended Deadlines Michael Hanus (Mo Jul 06 2020 - 10:15:39 CEST)
- [curry] Call for participation: BOPL 2020 (LOPSTR, Microservices, PPDP, WFLP) Michael Hanus (Mo Aug 24 2020 - 10:01:51 CEST)
- [curry] New homepage for Curry Michael Hanus (Fr Okt 16 2020 - 12:30:09 CEST)
- [curry] Re: New homepage for Curry Michael Hanus (Di Nov 17 2020 - 18:47:13 CET)
- [curry] PAKCS 3.3.0 release available Michael Hanus (Di Feb 09 2021 - 12:31:44 CET)
- Re: PAKCS 3.3.0 release available Michael Hanus (Di Feb 16 2021 - 11:39:42 CET)
- [curry] LOPSTR 2021 - First CfP Michael Hanus (Mo Apr 19 2021 - 15:30:23 CEST)
- [curry] Recursion in Set Functions Andy Jost (So Jul 04 2021 - 00:44:22 CEST)
- [curry] Re: Recursion in Set Functions Michael Hanus (Mo Jul 05 2021 - 11:16:33 CEST)
- [curry] Re: Recursion in Set Functions Michael Hanus (Di Jul 06 2021 - 18:20:55 CEST)
- [curry] Preliminary Call for Papers: FLOPS 2022 Michael Hanus (Fr Aug 06 2021 - 15:04:27 CEST)
- [curry] Call for Papers: FLOPS 2022 Michael Hanus (So Sep 26 2021 - 13:20:52 CEST)
- [curry] ICLP 2022 Call For Papers Michael Hanus (Do Okt 21 2021 - 17:21:15 CEST)
- [curry] 2nd Call for Papers: FLOPS 2022 Michael Hanus (Mi Nov 17 2021 - 17:32:38 CET)
- [curry] [Final CfP] ICLP 2022 - The 38th International Conference on Logic Michael Hanus (Do Jan 13 2022 - 10:52:32 CET)
- [curry] [CfP] ICLP 2022 - Call for Recently Published Research Papers Michael Hanus (Mi Feb 09 2022 - 18:04:42 CET)
- [curry] LOPSTR 2022 -- First CfP Alicia Villanueva (Di Mär 08 2022 - 13:34:10 CET)
- [curry] LOPSTR 2022 - Final Call for Papers Alicia Villanueva (So Apr 24 2022 - 23:21:01 CEST)
- [curry] FLOPS 2022: Call For Participation & Workshop talk proposals Michael Hanus (Di Apr 26 2022 - 17:58:05 CEST)
- [curry] LOPSTR 2022 - Deadline extension! Alicia Villanueva (Di Mai 10 2022 - 13:30:39 CEST)
- [curry] 1st Call for Papers: PADL 2023 Michael Hanus (Di Aug 09 2022 - 17:32:18 CEST)
- [curry] 2nd Call for Papers: PADL 2023 Michael Hanus (Sa Sep 17 2022 - 18:59:12 CEST)
- [curry] PADL 2023: Final Call for Papers (with updated deadlines!) Michael Hanus (Mi Okt 05 2022 - 19:57:43 CEST)
- [curry] LOPSTR 2023 - Call for Papers Michael Hanus (Do Mär 23 2023 - 18:26:21 CET)
- [curry] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May Michael Hanus (Do Apr 20 2023 - 17:49:31 CEST)
- [curry] PPDP 2023 - Call for Papers Michael Hanus (Do Apr 20 2023 - 17:58:39 CEST)
- [curry] PPDP 2023 - Final Call for Papers Santiago Escobar (Di Mai 09 2023 - 23:13:44 CEST)
- [curry] PPDP 2023 - Final Call for Papers Santiago Escobar (Fr Mai 12 2023 - 22:07:35 CEST)
- [curry] WLP @ KI2023: Call for Papers Michael Hanus (Mo Jun 05 2023 - 09:25:11 CEST)
- [curry] CfP: FLOPS 2024 Symposium on Functional and Logic Programming Michael Hanus (Fr Jul 28 2023 - 15:34:43 CEST)
- Last message date: Fr Jul 28 2023 - 15:38:38 CEST
- Archived on: Do Sep 21 2023 - 07:15:11 CEST