clean-list

Messages by Date

2018/07/18 [clean-list] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** ggelfond
2018/07/18 [clean-list] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** ggelfond
2018/07/13 [clean-list] ACTIONS@KR18: DEADLINE EXTENSION Fabio Patrizi
2018/07/12 [clean-list] LAST CALL for draft papers for presentation at IFL 2018 (deadline this week) Jurriaan Hage
2018/07/12 [clean-list] KR 2018 ** WORKSHOP DEADLINES EXTENDED ** Marcello Balduccini
2018/07/10 [clean-list] [ICTH-2018] FINAL deadline approaching - Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Leuven, Belgium (Nov. 5-8, 2018) Wim Ectors
2018/07/10 [clean-list] [EUSPN-2018] FINAL deadline approaching - Conference on Emerging Ubiquitous Systems and Pervasive Networks. Leuven, Belgium (Nov. 5-8, 2018) Wim Ectors
2018/07/09 [clean-list] Final CFP: ICDIM 2018 ijwa
2018/07/09 [clean-list] ICTH 2018 CfPs: 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (Final Extension: July 16) Davidekova Monika
2018/07/09 [clean-list] EUSPN 2018 CfPs: The 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (FINAL Extension: July 16) Davidekova Monika
2018/07/06 [clean-list] PPDP 2018: Call for Participation David Sabel
2018/07/05 Re: [clean-list] ide crash Peter Achten
2018/07/02 [clean-list] CFP - International Conference on Recent Advances in Intelligent and Connected Mobility – RAICoM’2018 Michele Melchiori
2018/06/28 [clean-list] NeLog'2018: International Conference on Next Generation Logistics - CFPs Nait-Sidi-Moh
2018/06/25 [clean-list] ide crash Ferreira Maurizio
2018/06/23 [clean-list] DS-RT 2018: CFP Special Sessions (extended deadlines) Robson De Grande
2018/06/17 [clean-list] Postdoc Position: Trustable Robotics and Autonomous Systems Huascar Espinoza
2018/06/17 [clean-list] IoTSMS 2018 CFP: The 5th International Conference on Internet of Things: Systems, Management and Security, Valencia, Spain. October 15-18, 2018 IoTSMS Conference
2018/06/15 [clean-list] Call for draft papers for presentation at IFL 2018 (Implementation and Application of Functional Languages) Jurriaan Hage
2018/06/14 [clean-list] iFM 18' PhD Symposium Call for Papers Hao Wu
2018/06/12 [clean-list] DS-RT 2018: CFP Special Sessions (extended deadlines) Robson De Grande
2018/06/11 [clean-list] LOPSTR 2018: Second Round Final Call for Papers Fred Mesnard
2018/06/07 [clean-list] ACTIONS@KR18: CALL FOR CONTRIBUTIONS Fabio Patrizi
2018/06/07 [clean-list] FINAL REMINDER: KR 2018 Doctoral Consortium Call for Papers Marcello Balduccini
2018/06/04 [clean-list] INTECH 2018 ijwa
2018/06/04 [clean-list] WST 2018 - Call for Participation (July 18-19, 2018) Salvador Lucas
2018/06/01 Re: [clean-list] Qualified imports and record types John van Groningen
2018/06/01 Re: [clean-list] Qualified imports and record types Camil Staps
2018/06/01 [clean-list] Qualified imports and record types Markus Klinik
2018/05/26 [clean-list] CFP (Extended Deadline): IEEE DS-RT 2018 - Deadline extended to June 10th, 2018 Robson De Grande
2018/05/22 [clean-list] LOPSTR 2018: Second Round Call for Papers Fred Mesnard
2018/05/18 Re: [clean-list] Direct draw error at program start. John van Groningen
2018/05/17 [clean-list] Direct draw error at program start. Maurizio Ferreira
2018/05/12 [clean-list] WADT 2018 & Leverhulme School - New extension to abstract submission deadline! WADT 2018
2018/05/10 [clean-list] Call for Papers-International Conference on Next Generation Logistics – NeLog’2018 Benish Chaudhry
2018/05/06 [clean-list] 21st ACM MSWiM 2018 - Montreal, Canada Robson De Grande
2018/05/06 [clean-list] CFP: IEEE DS-RT 2018 (October 15-17, 2018 - Madrid, Spain) Robson De Grande
2018/05/06 [clean-list] CFP: The Fourth International Workshop on the Future of the Internet of Things (FIT 2018) Dr. Tayseer ALkhdour
2018/05/01 [clean-list] Second round call for papers: LOPSTR 2018 Peter James Stuckey
2018/05/01 [clean-list] FMICS Call for Papers HaoWu
2018/04/30 [clean-list] 3rd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages) Jurriaan Hage
2018/04/30 [clean-list] final call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg - deadline extended - Peter Achten
2018/04/27 [clean-list] WADT 2018 - Extension to abstract submission deadline! WADT 2018
2018/04/25 [clean-list] WST 2018 - Last Call for Papers (deadline: April 30, 2018) Salvador Lucas
2018/04/24 [clean-list] CFP: IEEE DS-RT 2018 (October 15-17, 2018 - Madrid, Spain) Robson De Grande
2018/04/24 [clean-list] PPDP 2018: Deadline Extension! David Sabel
2018/04/22 [clean-list] WADT 2018 - 3rd Call for Papers & Leverhulme School WADT 2018
2018/04/18 [clean-list] KR 2018 Call for Papers ** WORKSHOPS AND TUTORIALS ANNOUNCED ** Marcello Balduccini
2018/04/16 [clean-list] WPTE 2018: Deadline extension to April 29, 2018 Joachim Niehren
2018/04/16 [clean-list] 2nd call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg Peter Achten
2018/04/16 [clean-list] Deadline extension: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis German Vidal
2018/04/16 [clean-list] iFM 2018 Call For Papers Hao Wu
2018/04/14 [clean-list] WST 2018 - Call for Papers (extended deadline: April 30, 2018) Salvador Lucas
2018/04/10 [clean-list] CFP ICLP-DC 2018 epontell
2018/04/09 [clean-list] iFM 2081 Call For Papers Hao Wu
2018/04/09 [clean-list] CALL FOR PARTICIPATION. FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
2018/04/08 [clean-list] TFPIE 2018: First Call for Papers Heather Miller
2018/04/05 [clean-list] PPDP 2018: Second Call for Papers David Sabel
2018/04/04 [clean-list] Parallel Logical Reasoning (PLR) at FLoC 2018 - Call for Contributions Wijs, A.J.
2018/04/04 [clean-list] Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018) German Vidal
2018/04/03 [clean-list] WST 2018 - 2nd Call for Papers (submission: April 15, 2018) Salvador Lucas
2018/04/03 [clean-list] 2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages) Jurriaan Hage
2018/04/02 [clean-list] CFP: IEEE DS-RT 2018 (October 15-17, 2018 - Madrid, Spain) Robson De Grande
2018/04/01 [clean-list] WADT 2018 - 2nd Call for Papers WADT 2018
2018/03/30 [clean-list] LOPSTR 2018: Second Final Call for Papers Fred Mesnard
2018/03/28 [clean-list] ICADIWT 2018 ijwa
2018/03/27 [clean-list] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018 Marco Roveri
2018/03/27 [clean-list] CFP: The Fourth International Workshop on the Future of the Internet of Things (FIT 2018) Dr. Tayseer ALkhdour
2018/03/23 [clean-list] WPTE 2018 Call for Papers Joachim Niehren
2018/03/23 [clean-list] WPTE 2018 Call for Papers Joachim Niehren
2018/03/19 [clean-list] CFP Special Sessions: DS-RT 2018 - Madrid, Spain, October 15-17, 2018 Robson De Grande
2018/03/19 [clean-list] LOPSTR 2018 Final CFP Fred Mesnard
2018/03/16 [clean-list] IEEE Big Data 2018 Call for Workshop Proposals CFP Conference
2018/03/14 [clean-list] [FNC-2018] 13th International Conference on Future Networks and Communications. Gran Canaria, Spain (August 13-15, 2018) Wim Ectors
2018/03/14 [clean-list] ICADIWT 2018 ijwa
2018/03/13 [clean-list] 1st CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages) Jurriaan Hage
2018/03/12 [clean-list] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis German Vidal
2018/03/11 [clean-list] LATA 2018: call for participation IRDTA
2018/03/07 [clean-list] 1st call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg Peter Achten
2018/03/02 [clean-list] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018 Natarajan Shankar
2018/02/28 [clean-list] ICADIWT 2018 ijwa
2018/02/28 [clean-list] FedCSIS 2018 - CALL FOR PAPERS Federated Conference on Computer Science and Information Systems
2018/02/26 [clean-list] iFM 2018 Call for Papers Hao Wu
2018/02/19 [clean-list] LOPSTR 2018 2nd CFP Fred Mesnard
2018/02/12 [clean-list] EXTENDED DEADLINE: International Conference on Logic Programming 2018 Enrico Pontelli
2018/02/06 [clean-list] REMINDER: KR 2018 Doctoral Consortium Call for Papers Marcello Balduccini
2018/02/06 [clean-list] ** 3-MONTH REMINDER ** KR 2018 Call for Papers Marcello Balduccini
2018/02/05 [clean-list] WST 2018 - 1st Call for Papers (submission: April 15, 2018) Salvador Lucas
2018/02/01 [clean-list] HighPer 2018: early registration February 12 GRLMC
2018/01/24 [clean-list] Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis German Vidal
2018/01/24 [clean-list] DEADLINE EXTENSION - VPT-2018: 6th International Workshop on Verification and Program Transformation John Patrick Gallagher
2018/01/23 [clean-list] PPDP 2018: First Call for Papers David Sabel
2018/01/16 [clean-list] WADT 2018 – 1st Call for Papers Ionut Tutu
2018/01/11 [clean-list] INTECH 2018 ijwa
2018/01/10 [clean-list] Deadline extension: Models for Formal Analysis of Real Systems (MARS 2018) Rob van Glabbeek and Wendelin Serwe
2018/01/08 [clean-list] FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018) John Patrick Gallagher
2018/01/04 [clean-list] CFP: International Conference on Logic Programming 2018 epontell
2018/01/03 [clean-list] [SEIT 2018] -FINAL submission deadline- Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018) Wim Ectors
2018/01/03 [clean-list] [ANT2018] -FINAL submission deadline- Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018) Wim Ectors
2017/12/22 [clean-list] LOPSTR 2018: First Call for Papers Fred Mesnard
2017/12/18 [clean-list] [SEIT 2018] -deadline extension- Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018) Wim Ectors
2017/12/18 [clean-list] [ANT2018] -deadline extension- Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018) Wim Ectors
2017/12/07 [clean-list] CFP: International Conference on Logic Programming 2018 Enrico Pontelli
2017/12/06 [clean-list] [SEIT 2018] -deadline extension- Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018) Wim Ectors
2017/12/06 [clean-list] [ANT2018] -deadline extension- Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018) Wim Ectors
2017/12/03 [clean-list] ICADIWT 2018 ijwa
2017/11/29 [clean-list] HighPer 2018: early registration December 5 GRLMC
2017/11/27 [clean-list] KR18 - Call for Tutorial and Workshop Proposals Marcello Balduccini
2017/11/24 [clean-list] Second call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation John Patrick Gallagher
2017/11/21 [clean-list] ☀yahoo how about that? Tasha Chacon
2017/11/15 [clean-list] RAMiCS 2018: Call for Papers - Relational and Algebraic Methods in Computer Science Walter Guttmann
2017/11/15 [clean-list] ICADIWT 2018 ijwa
2017/11/14 [clean-list] LATA 2018: extended submission deadline November 24 GRLMC
2017/11/14 [clean-list] The 9th International Conference on Information and Communication Systems (ICICS2018) ICICIS-2018
2017/11/12 [clean-list] KR 2018 Call for Papers Marcello Balduccini
2017/11/10 [clean-list] CFP: ISDF2017 Greece - Information Security and Digital Forensics Sandra Evans
2017/11/10 [clean-list] FINAL Call For Papers and DEADLINE EXTENSION: FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
2017/11/02 [clean-list] LATA 2018: 3rd call for papers GRLMC
2017/10/31 [clean-list] [SEIT 2018] 8th International Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018) Wim Ectors
2017/10/31 [clean-list] [ANT2018] 9th International Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018) Wim Ectors
2017/10/30 [clean-list] [FNC-2018] 13th International Conference on Future Networks and Communications. Gran Canaria, Spain (July 13-15, 2018) Wim Ectors
2017/10/30 [clean-list] [MobiSPC-2018] 15th International Conference on Mobile Systems and Pervasive Computing. Gran Canaria, Spain (July 13-15, 2018) Wim Ectors
2017/10/24 [clean-list] KR18 - Call for Tutorial and Workshop Proposals Marcello Balduccini
2017/10/19 [clean-list] CiE 2018: Preliminary announcement Florin Manea
2017/10/19 [clean-list] CfP: Models for Formal Analysis of Real Systems (MARS 2018) Rob van Glabbeek and Wendelin Serwe
2017/10/17 [clean-list] Puzzle: IO and long lists Markus Klinik
2017/10/16 [clean-list] LATA 2018: 2nd call for papers GRLMC
2017/10/15 [clean-list] CFP: International Conference on Logic Programming 2018; First Call for Papers NMSU COMPUTER SCIENCE
2017/10/06 [clean-list] FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation John Patrick Gallagher
2017/10/03 [clean-list] CfP: Dutch FP-day 2018 Arjen
2017/09/29 [clean-list] SECOND Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
2017/09/28 [clean-list] 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): first CfP vlad
2017/09/27 [clean-list] [SEIT 2018] 8th International Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018) Wim Ectors
2017/09/27 [clean-list] [ANT2018] 9th International Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018) Wim Ectors
2017/09/24 [clean-list] LATA 2018: 1st call for papers GRLMC
2017/09/14 [clean-list] Release 0.6.0 of the SARL agent-programming language stephane . galland
2017/09/08 [clean-list] [Reminder] PADL 2018 - abstract deadline approaching manna
2017/09/08 [clean-list] SLSP 2017: call for posters GRLMC
2017/09/05 [clean-list] [SEIT 2018] 8th International Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018) Wim Ectors
2017/09/04 [clean-list] [Last CfP] PADL 2018 - abstract deadline EXTENDED TO SEPTEMBER 10, 2017 manna
2017/09/01 [clean-list] [CfP] PADL 2018 - abstract submission DEADLINE APPROACHING manna
2017/08/28 [clean-list] PPDP and LOPSTR 2017 Call for Participation Wim Vanhoof
2017/08/28 [clean-list] [ANT2018] 9th International Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018) Wim Ectors
2017/08/23 [clean-list] MEMOCODE-2017 (Call for Participation) Klaus . Schneider
2017/08/18 [clean-list] 3rd CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages manna
2017/08/13 [clean-list] KR18 - Preliminary Call for Tutorial and Workshop Proposals Marcello Balduccini
2017/08/13 [clean-list] CfP: Relational and Algebraic Methods in Computer Science - Special Issue in JLAMP Peter.Hoefner
2017/08/07 [clean-list] Extended deadline: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages) publicityifl
2017/08/06 [clean-list] PADL 2018 - 1 month to abstract deadline manna
2017/08/04 Re: [clean-list] Current state of tonic Jurriën Stutterheim
2017/08/04 [clean-list] Current state of tonic Markus Klinik
2017/07/31 [clean-list] KR 2018 Preliminary Call for Papers Marcello Balduccini
2017/07/14 [clean-list] ICDIM 2017 ijwa
2017/07/14 [clean-list] Deadline extension: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
2017/07/13 [clean-list] 2nd CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages) publicityifl
2017/07/12 [clean-list] Internet of Things 2017 ijwa
2017/07/10 [clean-list] Final Call for Papers: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
2017/07/09 [clean-list] CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages Marco Manna
2017/07/07 [clean-list] CFP (Last Call): ACM MobiWac 2017, Miami Beach, USA Robson De Grande
2017/07/04 [clean-list] FIRST Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
2017/07/02 [clean-list] CFP: ACM MobiWac 2017, Miami Beach, USA (Extended Deadline) Robson De Grande
2017/06/28 [clean-list] ICDIM 2017 ijwa
2017/06/26 [clean-list] CFP: ACM MobiWac 2017, Miami Beach, USA Robson De Grande
2017/06/25 [clean-list] CFP: ACM MobiWac 2017, Miami Beach, USA Rodolfo I. Meneguette
2017/06/21 [clean-list] Real-Time Intelligent Systems ijwa
2017/06/21 [clean-list] Final Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (DEADLINES EXTENSION) Nataliia Stulova
2017/06/19 [clean-list] CFP: ACM MobiWac 2017, Miami Beach, USA Robson De Grande
2017/06/12 [clean-list] 1st Call for Papers IFL 2017 [email protected]
2017/06/12 [clean-list] Future of BigData 2017 ijwa
2017/06/12 [clean-list] *DEADLINE EXTENSION*: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis Alberto Griggio
2017/06/09 [clean-list] LOPSTR 2017: Final Call for Papers - DEADLINE EXTENSION John Patrick Gallagher
2017/06/08 [clean-list] 2nd Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems Nataliia Stulova
2017/06/06 [clean-list] Final CFP: INTECH 2017 ijwa
2017/06/05 [clean-list] 2nd CFP, 4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline: June 11) Manuel Hermenegildo
2017/06/03 [clean-list] CFP Special Sessions: DS-RT 2017 - Rome, Italy, October 18-20, 2017 Robson De Grande
2017/06/02 [clean-list] ICDIM 2017 ijwa
2017/06/02 [clean-list] LOPSTR 2017: 2nd Call for Papers John Patrick Gallagher
2017/06/02 [clean-list] Call for participation: Trends in Functional Programming, 19-21 june 2017 AND Trends in Functional Programming in Education, 22 june 2017, University of Kent, Canterbury Peter Achten
2017/06/01 [clean-list] Deadline Approaching: 20th ACM MSWiM 2017 - Miami Beach, FL Robson De Grande
2017/05/29 [clean-list] ICTCS 2017: call for papers---extended deadlines Nello Murano
2017/05/29 [clean-list] INTECH 2017 ijwa
2017/05/29 [clean-list] Call for participation: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury Peter Achten
2017/05/22 [clean-list] CFP: IEEE DS-RT 2017 (October 18-20, Rome, Italy) Robson De Grande
2017/05/15 [clean-list] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday CIE2017
2017/05/13 [clean-list] SR 2017 - EXTENDED DEADLINE for expository and novel-research + INVITED SPEAKERS aniello murano
2017/05/11 [clean-list] MEMOCODE-2017 (Deadline Extension) Klaus . Schneider
2017/05/11 [clean-list] 22 PhD student positions in Autonomous Systems and Software Karlerik
2017/05/08 [clean-list] Deadline extension may 15: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury Peter Achten
2017/05/08 [clean-list] Deadline extension may 15: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury Peter Achten
2017/05/07 [clean-list] CFP: IEEE DS-RT 2017 (October 18-20, Rome, Italy) RODOLFO IPOLITO MENEGUETTE
2017/05/07 [clean-list] CFP: ACM MobiWac 2017, Miami Beach, USA RODOLFO IPOLITO MENEGUETTE
2017/05/07 [clean-list] 20th ACM MSWiM 2017 - Miami Beach, FL RODOLFO IPOLITO MENEGUETTE
2017/05/07 [clean-list] AlCoB 2017: call for participation GRLMC
2017/05/03 [clean-list] [TFPIE'17] Trends in Functional Programming in Education - second call for papers - Peter Achten
2017/05/02 [clean-list] Call for Papers: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis Alberto Griggio
2017/05/01 [clean-list] Final call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury Peter Achten
2017/04/30 [clean-list] Call for Participation: International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Peter Schüller
2017/04/30 [clean-list] [ICLP 2017] Final Call for Papers Tommaso.Urli
2017/04/30 [clean-list] LOPSTR 2017: 1st Call for Papers John Patrick Gallagher
2017/04/28 Re: [clean-list] New Project wizard not working John van Groningen