clean-list  

Messages by Thread

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

• Earlier messages
• Later messages