2007 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Mon Jan 22 10:58:45 CEST 2007
Ending: Mon Dec 31 19:12:06 CEST 2007
Messages: 921

• (2nd CFP) Workshop on Logic-based Methods in Programming Environments (WLPE'07)   Wim Vanhoof
• (CFP) WLPE'07 - Workshop on Logic-based Methods in Programming Environments   Wim Vanhoof
• (EC)^2: Call for Position Papers   EC2
• (no subject)   Ulfar Erlingsson
• (no subject)   A Serebrenik
• *20th* Description Logics workshop - Call for Papers   Enrico Franconi
• 1#2#3 is a single tuple of three elements?   Terrence Brannon
• 1#2#3 is a single tuple of three elements?   Raphael Collet
• 1#2#3 is a single tuple of three elements?   Yves Jaradin
• 1#2#3 is a single tuple of three elements?   Jorge Marques Pelizzoni
• 1#2#3 is a single tuple of three elements?   Wacek Kusnierczyk
• 1#2#3 is a single tuple of three elements?   Torsten Anders
• 100 CPU on Win2k   Gal Amram
• 100 CPU on Win2k   Filip Konvička
• 100 CPU on Win2k   Boriss Mejias
• 1st CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)   Demis
• 20th Description Logics workshop - Extended submission deadline   Enrico Franconi
• 2nd CFP: VERIFY'07 - 4th International Verification Workshop   Bernhard Beckert
• 2nd CFP: 23rd ICSM - extended deadline   icsm-info at FernUni-Hagen.de
• 2nd CFP: 23rd IEEE International Conference on Software Maintenance   icsm-info at FernUni-Hagen.de
• 2nd CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)   demis at dimi.uniud.it
• 2nd CfP: ACM SAC Software Verification track   Fausto Spoto
• 2nd IEEE International Workshop on Software Stability at Work (SSW 2007)   E.Segura
• <: "until goal"   Kilian Sprotte
• <: "until goal"   Jorge Marques Pelizzoni
• <: "until goal"   Raphael Collet
• <: "until goal"   Kilian Sprotte
• <: "until goal"   Jorge Marques Pelizzoni
• CISP 2008 – Sanya, China: Deadline 10 November   John Liu
• [Collozeum] curl   Torsten Anders
• [Collozeum] How to release via Mogul?   Filip Konvička
• [Collozeum] How to release via Mogul?   Torsten Anders
• [Collozeum] How to release via Mogul?   Filip Konvička
• [Collozeum] How to release via Mogul?   Torsten Anders
• [Collozeum] ozxsb   Pavel
• [Collozeum] ozxsb   Torsten Anders
• [Collozeum] public directory structure   Filip Konvička
• [Collozeum] public directory structure   Torsten Anders
• [Collozeum]ozjs   Pavel
• [DSD08] 11th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN - CALL FOR PAPERS   Luca Fanucci
• [EUROSIS-AD] ESM'2007, October 22-24, 2007, St.Julian's, Malta, LATE SUBMISSION DEADLINE OF JULY 25   Eurosis
• [Final CFP] FOOL2008   Atsushi Igarashi
• [Fwd: Re: CTM book (p. 262)]   Boriss Mejias
• [Fwd: Re: For loop linguistic abstraction (usage)]   Filip Konvička
• [Fwd: Trouble with mozart on Mac OS 10.3]   Raphael Collet
• [Fwd: Trouble with mozart on Mac OS 10.3]   Boriss Mejias
• [ICSEng'08] ICSEng 2008, Las Vegas, USA, August 19-21, 2008: Call For Papers   ICSEng 2008
• [nada.kth.se #22756] Oz and mozart on Sun solaris 10   Serafim Dahl
• [nada.kth.se #22756] Oz and mozart on Sun solaris 10   Serafim Dahl
• [ozcurl] Installation problem   Torsten Anders
• [ozcurl] Installation problem   Pavel
• [SPAM] Call for Papers /Slovenia, Italy, Montenegro/ (QoL); c/bb   VIPSI Conference
• A question about "College timetabling"   manu suarez
• A question about concurrent propagators (was: a silly question...)   Aurélien Campéas
• A question about concurrent propagators (was: a silly question...)   David Hopwood
• A question about tuples   mostafa eslahi
• A question about tuples   Luis Quesada
• A question about tuples   Raphael Collet
• a silly question about concurrent propagators   Aurélien Campéas
• a silly question about concurrent propagators   Raphael Collet
• a silly question about concurrent propagators   Aurélien Campéas
• a silly question about concurrent propagators   Torsten Anders
• About runtime...   mostafa eslahi
• About runtime...   Raphael Collet
• Accellera events at DATE > VHDL 3.0 Tutorial & Low Power Workshop   info at ecsi.org
• ACL2 2007 CALL FOR PAPER   sawada at us.ibm.com
• ACM SAC - Constraint Solving and Programming Track: extended deadline   Stefano Bistarelli
• ACM SAC Track on Constraint Solving and Programming - final call for paper   Stefano Bistarelli
• Advertising Collozeum?   Pavel
• Advertising Collozeum?   Boriss Mejias
• Advertising Collozeum?   Torsten Anders
• AIPR-08: Call for papers   Bhanu Prasad
• Announcement: USI-CMU Summe School on Dependable Computer Systems   CAV 2007 Announce
• AOSD 2007: call for participation   Oege.de.Moor at comlab.ox.ac.uk
• ARCS-08 Call for papers   John E. Edward
• ArgNMR 2007 Deadline Extension (Feb 19, 2007)   ArgNMR 2007
• ASE07 doctoral symposium   Yunwen Ye
• ASE07 submission deadline: 6/4 (abstract) and 6/11(paper)   Yunwen Ye
• BCBGC-08 Call for papers   John E. Edward
• BCI 2007 - call for participation   Luca Bortolussi
• BCI 2007 - call for participation   Luca Bortolussi
• best-search example for Mostafa and curious best-search method (was: How can I sort...)   Jorge Marques Pelizzoni
• Bin Packing Problem   Tripti Saxena
• Bin Packing Problem   Raphael Collet
• Blocking a procedure   Lavanya r
• Blocking a procedure   Raphael Collet
• Book - Finite Model Theory and Its Applications   MYV
• Browse   Wacek Kusnierczyk
• Browse   Torsten Anders
• bug in FS.reified.include   Jorge Marques Pelizzoni
• bug in FS.reified.include   Ralph Debusmann
• bug in FS.reified.include   Ralph Debusmann
• Bug migration process finished (was: Re: Migrating bug reports: please help!)   Torsten Anders
• Bug migration process finished (was: Re: Migrating bug reports: please help!)   Boriss Mejias
• Bytecode'07: call for participation   Fausto Spoto
• C/C++-Based Modelling of Embedded Mixed-Signal Systems - 25-26 June - Dresden   training at ecsi.org
• C/C++-Based Modelling of Embedded Mixed-Signal Systems - June 25-26, 2007   info at ecsi.org
• Call for book chapters   Bhanu Prasad
• Call for CAV Award Nominations (CAV 2008)   Aarti Gupta
• Call for Contributions: Integrated Formal Methods, Doctoral Symposium   Eerke Boiten
• Call for Editorial Boards' Members   m.fayad at ijop.org
• call for paper   =?gb2312?q?=C2=ED=D1=DE=B7=BC?=
• Call for papers - Workshop on Termination (WST 2007) - Paris   A Serebrenik
• Call for papers -- ASIAN'07   Iliano Cervesato
• Call for Papers for the Special Session on Multi-Agent Systems at IICAI'07   Gauthier Picard
• Call for Papers: ACSD 2008 - Xian, China   maciej koutny
• Call for Papers: PLAS 2008   PLAS2008
• Call for Papers: TAP 2008 (NEW SUBMISSION DEADLINES)   TAP2008
• Call For Papers: The Second International Conference on Knowledge Science, Engineering and Management (KSEM'2007)   Dr Dongmo Zhang
• Call for Participation CSMR 2007   icsm-info at FernUni-Hagen.de
• Call for Participation: CAV 2007   CAV 2007 Announce
• Call for Participation: The Second International Conference on Knowledge Science, Engineering and Management (KSEM'2007)   Dongmo Zhang
• Call for Proposals to Organize ICLP 2008   Gopal Gupta
• Call for workshop proposals (ASE07): International Conference on Automated Software Engineering   Yunwen Ye
• case, patterns   Wacek Kusnierczyk
• case, patterns   Jorge Marques Pelizzoni
• case, patterns   Wacek Kusnierczyk
• case, patterns   Jorge Marques Pelizzoni
• case, patterns   Wacek Kusnierczyk
• case, patterns   Torsten Anders
• case, patterns   Wacek Kusnierczyk
• case, patterns   Filip Konvička
• case, patterns   Waclaw Kusnierczyk
• case, patterns   Filip Konvička
• case, patterns   Wacek Kusnierczyk
• case, patterns   Filip Konvička
• CAV 08: 2nd Call for Papers   Aarti Gupta
• CAV 2007: 2nd Call for Participation   CAV 2007 Announce
• CAV 2007: Final Call for Papers   CAV 2007 Announce
• CAV 2008: Call for Papers   Aarti Gupta
• CAV 2008: Call for Workshops   Aarti Gupta
• CAV Award: Call for Nominations   Aarti Gupta
• CFP - 2nd IEEE International Workshop Towards Stable and Adaptable Software Architectures (SASA 2007)   E. Segura
• CFP - DAMP 2008 - Declarative Aspects of Multicore Programming   Manuel Hermenegildo
• CFP - Deadline Extension - SPAC 2007   E. Segura
• CfP - DMIN'07 Data Mining Conference   Data Mining 2007
• CFP ASE07 workshop on Empirical Assessment of Software Engineering Language and Technologies   Yunwen Ye
• CFP ASE07: International Conference on Automated Software Engineering   Yunwen Ye
• CFP ASE07: International Conference on Automated Software Engineering   Yunwen Ye
• CFP FICS 2008   Huibiao Zhu
• CFP FICS 2008   Russ Abbott
• CFP RelMiCS/AKA08   bernhard Möller
• CfP SAT08   Theodor Lettmann
• CFP TASE 2008   Huibiao Zhu
• CFP TASE 2008   tase08
• CFP TASE2008   tase08
• CFP: ISMM'07   Greg Morrisett
• CFP: 23rd IEEE ICSM - International Conference on Software Maintenance   icsm-info at FernUni-Hagen.de
• CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)   Demis
• CFP: 5th Worskhop on "Methods for Modalities" (M4M-5)   Carlos Areces
• CFP: 5th Worskhop on "Methods for Modalities" (M4M-5)   Carlos Areces
• CFP: ACM Web Information and Data Management workshop   Enrico Franconi
• CFP: ASP2007 - 4th International Workshop on Answer Set Programming   ICLP07 publicity
• CFP: CICLOPS 2007   Salvador Abreu
• CFP: Constraints Journal Special Issue on Abstraction and Automation in Constraint Modelling   Ian Miguel
• CFP: E-Service Environments **deadline extended to Oct 30**   Gregorio Díaz Descalzo
• CFP: FCS-ARSPA'07 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)   Luca Vigano
• CFP: FCS-ARSPA'07 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)   Luca Vigano
• CFP: International Workshop on Hybrid Logic 2007 (HyLo 2007)   Carlos Areces
• CFP: JOURNAL OF LOGIC, LANGUAGE AND INFORMATION   Carlos Areces
• CFP: PSC @ ACM SAC 2008   Emiliano Tramontana
• CFP: RV'08   Martin Leucker
• CFP: RV'08 EXTENDED DEADLINE   Martin Leucker
• CFP: SARA 2007, 7th International Symposium on Abstraction, Reformulation and Approximation   Ian Miguel
• CFP: SCAM 2007   icsm-info at FernUni-Hagen.de
• CFP: SPAC 07 - Software Patterns: Addressing Challenges   eduardo segura
• CFP: special issue of Constraints on qcsp and qbf   Stergiou Konstantinos
• CFP: TAP 2008 - The Second International Conference on Tests and Proof   Bernhard Beckert
• CFP: TAP 2008 - The Second International Conference on Tests and Proof   Bernhard Beckert
• CfP: TTSS'07 - Harnessing Theories for Tool Support in Software   Volker Stolz
• CFP: VERIFY'07 - 4th International Verification Workshop   Bernhard Beckert
• CFP: Workshop Logic, Rationality and Interaction, Beijing, China   Carlos Areces
• CfPart: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)   demis at dimi.uniud.it
• CHINA 2008 Workshop 1st CfP   Jetty Kleijn
• CISP 2008, Sanya, China: Deadline 10 November   John Liu
• Collaborative development of Oz libraries and tools   Torsten Anders
• Collaborative development of Oz libraries and tools   Torsten Anders
• Collaborative development of Oz libraries and tools   Boriss Mejias
• Collaborative development of Oz libraries and tools   Torsten Anders
• Collaborative development of Oz libraries and tools   Andreas Franke
• Collaborative development of Oz libraries and tools   Torsten Anders
• Collaborative development of Oz libraries and tools   Raphael Collet
• Collaborative development of Oz libraries and tools   Waclaw Kusnierczyk
• Collaborative development of Oz libraries and tools   Torbjörn Lager
• Collaborative development of Oz libraries and tools   Torsten Anders
• Collaborative development of Oz libraries and tools   Fred Spiessens
• Collaborative development of Oz libraries and tools   Fred Spiessens
• Collaborative development of Oz libraries and tools   Torsten Anders
• Collaborative development of Oz libraries and tools   Boriss Mejias
• Collozeum created   Torsten Anders
• Collozeum project added: ozh   Torsten Anders
• Collozeum project added: ozh   Filip Konvička
• Collozeum project added: ozh   Torsten Anders
• Collozeum project added: ozh   Pavel
• Collozeum project added: ozh   Torsten Anders
• Compilation error: micq   Torsten Anders
• Compilation failed   Donald Halomoan
• Compilation of Mozart with individual contributions   Torsten Anders
• Compilation of Mozart with individual contributions   Torsten Anders
• Compilation of Mozart with individual contributions   Boriss Mejias
• Compilation of Mozart with individual contributions   Boriss Mejias
• compile/install problems...   Boriss Mejias
• Compiling mozart on OpenBSD/zaurus   Julian Fondren
• Compiling mozart on OpenBSD/zaurus   Denys Duchier
• Compiling on Solaris?   Trevor Wennblom
• Computing shifted dot product   George Rudolph
• Computing shifted dot product   Raphael Collet
• Computing shifted dot product   George Rudolph
• Computing shifted dot product   Raphael Collet
• Computing shifted dot product   George Rudolph
• Computing shifted dot product   George Rudolph
• CONCUR 2008 Call for Workshop Proposals   Richard Trefler
• Concurrent use of Filter   Torsten Anders
• Concurrent use of Filter   Wolfgang Meyer
• Concurrent use of Filter   Pavel
• Concurrent use of Filter   Torsten Anders
• cond & condis   Vladimir N. Dzhivsanoff
• cond & condis   Vladimir N. Dzhivsanoff
• cond & condis   Chris vanBuskirk
• Confirmation: mozart on 8 core machines should be fine?   Raphael Collet
• Confirmation: mozart on 8 core machines should be fine?   Torsten Anders
• Confirmation: mozart on 8 core machines should be fine?   Torsten Anders
• Control Abstractions   terrence.x.brannon at jpmchase.com
• Control Abstractions   Wolfgang Meyer
• Control Abstractions   Torsten Anders
• Convert fd var into string?   Jan Tammen
• Convert fd var into string?   Gustavo Gutierrez
• Convert fd var into string?   Raphael Collet
• Cool language   Hendy Irawan
• Cool language   terrence.x.brannon at jpmchase.com
• Cool language   Wacek Kusnierczyk
• CSR 2007 DEADLINE EXTENSION   csr2007
• CSR 2007 LAST REMINDER   csr2007
• CSR 2008: First Call for Papers   Yuri Pritykin
• CSR 2008: Last Call for Papers - deadline extended!   Yuri Pritykin
• CSR 2008: Second Call for Papers   Yuri Pritykin
• CTM book (p. 262)   Craig Ugoretz
• CTM book (p. 262)   Boriss Mejias
• CTM book (p. 262)   Aurélien Campéas
• CTM book solutions (Ch.2 #1 and #2)   Craig Ugoretz
• CTM book solutions (Ch.2 #1 and #2)   Raphael Collet
• curl   Pavel
• CVS problem   Craig Ugoretz
• CVS problem   Gustavo Gutierrez
• CVS problem   Boriss Mejias
• CVS space for Eclipse/Mozart-Oz work   Craig Ugoretz
• CVS space for Eclipse/Mozart-Oz work   Craig Ugoretz
• CVS space for Eclipse/Mozart-Oz work   Boriss Mejias
• DAMP2008 Decl. Aspects of Multicore Prog, - *extended* deadline Oct31   Manuel Hermenegildo
• DAMP2008 Declarative Aspects of Multicore Programming - Deadline Oct26   Manuel Hermenegildo
• DASIP Workshop 2007 > Advance Programme & Call for Participation   training at ecsi.org
• DASIP Workshop 2007 > Advance Programme & Call for Participation   training at ecsi.org
• DASIP Workshop 2007 > Call for Papers   info at ecsi.org
• DASIP Workshop 2007 > Call for Papers   info at ecsi.org
• DASIP Workshop 2007 > Call for Papers: Extended Deadline: June 1, 2007   training at ecsi.org
• DASIP Workshop 2007 > Call for Papers: Reminder of Extended Deadline: June 1, 2007   training at ecsi.org
• DASIP Workshop 2007 > Call for Participation - Advance Registration until November 20   training at ecsi.org
• DASIP Workshop 2007 > Call for Participation - Advance Registration until tomorrow (November 20)   training at ecsi.org
• Data Mining - CfP Special Issue Annals of Information Systems   Data Mining CfP
• Data Mining student funding   DMIN07 Data Mining
• DCM '07 Call for Papers   Mariangiola Dezani
• Deadline extension: POPL Call for Event Proposals   Yitzhak Mandelbaum
• Deadline extention: ICLP 2007 Doctoral Consortium   ICLP07 publicity
• deductive databases in Oz   Marian Babik
• Deep concurrent combinators (or/cond/dis/choice/...) purpose in Oz ?   Raphael Collet
• Deep concurrent combinators (or/cond/dis/choice/...) purpose in Oz ?   Chris vanBuskirk
• Deep concurrent combinators (or/cond/dis/choice/...) purpose in Oz ?   Vladimir N. Dzhivsanoff
• Deep concurrent combinators (or/cond/dis/choice/...) purpose in Oz ?   Vladimir N. Dzhivsanoff
• Description Logics workshop: registration open   Enrico Franconi
• Developer Positions in the Embedded System Unit of Fondazione Bruno Kessler   Marco Roveri
• Difference between Inspect and Browse (concurrent programming)   Torsten Anders
• DISPROVING '07 Call f. Papers   Wolfgang Ahrendt
• DISPROVING'07 - DEADLINE EXTENDED to May 25, 2007   Wolfgang Ahrendt
• DISPROVING'07, 2nd CfP   Wolfgang Ahrendt
• Distance between elements of a set   Jeffery Candiloro
• Distance between elements of a set   Torsten Anders
• Distance between elements of a set   Raphael Collet
• Distance between elements of a set   Torsten Anders
• Distance between elements of a set   Luis Quesada
• DL08 Call for Papers   Carsten Lutz
• Doctoral Consortium at the 8th EUROLAN Summer School   Carlos Areces
• Doctoral Consortium at the Eurolan 2007 Summer School: Last CFP   Carlos Areces
• Doubt in OS.pipe   kanchana vasudevan
• Doubt in OS.pipe   Raphael Collet
• Doubt in OS.pipe   kanchana vasudevan
• Doubt in OS.pipe   Raphael Collet
• DSD'2007 submission deadline extended to March 25   Hana Kubatova
• DSD'2007 submission deadline shift   Hana Kubatova
• DSD'2007 submission reminder   Hana Kubatova
• E. W. Beth Dissertation Prize 2007: Extended Deadline   Carlos Areces
• ECOOP 2008 Call for Papers   Dave Clarke
• ECOOP 2008 Call for Workshops   Patrick Eugster
• ECSI Workshop > SoC Debug Standards > April 16, 2007 - *** Nice, France *** - updated agenda and corrected place   training at ecsi.org
• ECSI Workshop > SoC Debug Standards > April 16, 2007 - Nice, France - Last reminder   training at ecsi.org
• ECSI Workshop > SoC Debug Standards > April 16, 2007 - Nice, France   info at ecsi.org
• ECSI Workshop > SoC Debug Standards > April 16, 2007 - Nice, France   training at ecsi.org
• ECSI Workshop > SoC Debug Standards > April 16, 2007 - Nice, France   training at ecsi.org
• ECSI Workshop > TLM 2.0 New Standard Draft > January 29, 2008 - Paris, France   training at ecsi.org
• EISWT-08 Call for papers   John E. Edward
• Emacs Show next error -- Control-x backquote   Pierre Radermecker
• Emacs Show next error -- Control-x backquote   Pierre Radermecker
• Emacs Show next error -- Control-x backquote   Wolfgang Meyer
• Emacs Show next error -- Control-x backquote   Pierre Radermecker
• Emacs Show next error -- Control-x backquote   Kevin Glynn
• Emacs Show next error -- Control-x backquote   Boriss Mejias
• Emacs Show next error -- Control-x backquote   Pierre Radermecker
• Emacs Show next error -- Control-x backquote   Boriss Mejias
• Emacs Show next error -- Control-x backquote   Pierre Radermecker
• Emacs Show next error -- Control-x backquote   Kevin Glynn
• Emacs Show next error -- Control-x backquote   Boriss Mejias
• Error compiling on OS X - Error: distributed programming / Ozcar.ozf   Trevor Wennblom
• Error compiling on OS X - Error: distributed programming / Ozcar.ozf   Torsten Anders
• Error compiling on OS X - Error: distributed programming / Ozcar.ozf   Trevor Wennblom
• Error compiling on OS X - Error: distributed programming / Ozcar.ozf   Trevor Wennblom
• Error while reporting error   Torbjörn Lager
• ESSLLI 2008   ESSLLI2008
• ESSLLI 2008: Call for Course and Workshop Proposals   Rineke Verbrugge
• ESSLLI 2008: Call for Course and Workshop Proposals   Carlos Areces
• ESSLLI 2008: Second Call for Course and Workshop Proposals   Rineke Verbrugge
• EUROCORES Programme LogICCC - CfP   Carlos Areces
• European Master in Computational Logic - openings and scholarships for Europeans   Enrico Franconi
• European Master in Computational Logic - scholarships for non-European and European students   Enrico Franconi
• example required pls!!!   Lavanya r
• example required pls!!!   Raphael Collet
• Execution problem   mufid musrati
• Execution problem   Gustavo Gutierrez
• Execution problem   Torsten Anders
• EXTENDED DEADLINE - DMIN'07 Data Mining Conference   Sven F. Crone
• Extended deadline: CFP - SASA 2007   E. Segura
• Extended deadline: CFP - SSW 2007   E. Segura
• Extended deadline: CFP - UDME 2007   UDME-2007 at ijop.org
• Extended submission deadlnie: FOOL2008   Atsushi Igarashi
• FD.distribute never returns and manual constraining fails?   Joshua ben Jore
• FD.distribute never returns and manual constraining fails?   Torsten Anders
• FD.distribute never returns and manual constraining fails?   Joshua ben Jore
• FD.distribute never returns and manual constraining fails?   Torsten Anders
• FDL2007 > Advance Programme   info at ecsi.org
• FDL2007 > Advance Registration deadline - September 1st   training at ecsi.org
• FDL2007 > Invitation to participate   training at ecsi.org
• FDL2007: Call for Papers   ECSI at neuf.fr
• FDL2007: Call for Papers - Deadline April 30, 2007!   info at ecsi.org
• FDL2007: Call for Papers - Deadline extension: May 11, 2007!   info at ecsi.org
• feeding functor into OPI   Wojciech Kaczmarek
• Fetching URLs hangs indefinitely on Windows?   Joshua ben Jore
• Final Call for abstract submission for 2007 IEEE/INFORMS SOLI Conference   Qiu, Robin
• Final Call for full paper submission for 2007 IEEE/INFORMS SOLI   Qiu, Robin
• Final Call for Participation (KSEM-07)   Dongmo Zhang
• final CFP ESOP 2008 - abstract due 5th October   Sophia Drossopoulou
• Final CFP track PSC @ ACM SAC 2008   Emiliano Tramontana
• Final CFP: 23rd International Conference on Logic Programming (ICLP 2007)   ICLP07 publicity
• Final CFP: ICLP 2007 Doctoral Consortium   ICLP07 publicity
• FinalCFP: ASP2007 - 4th International Workshop on Answer Set Programming   ICLP07 publicity
• FinalCFP: RV'08 - Runtime Verification   Martin Leucker
• First Call for Papers --- ICALP 2008   Icalp08
• First Call for Papers SARA'07   Karen Petrie
• first CfP: ACM SAC Track on Software Verification 2008   Fausto Spoto
• First CFP: Advances in Modal Logic, 9-12 September 2008, LORIA, Nancy, France   Carlos Areces
• First Mozart-Oz/Eclipse integration ideas and issues   Craig Ugoretz
• First Mozart-Oz/Eclipse integration ideas and issues   Craig Ugoretz
• First-year programming course based on enrichment of microworlds   Peter Van Roy
• First-year programming course based on enrichment of microworlds   Wacek Kusnierczyk
• First-year programming course based on enrichment of microworlds   Benjamin L. Russell
• First-year programming course based on enrichment of microworlds   Benjamin L. Russell
• FLAIRS 2008: AI Planning and Scheduling Special Track   Hana Rudova
• FLAIRS 2008: AI Planning and Scheduling Special Track   Hana Rudova
• FLAIRS 2008: AI Planning and Scheduling Special Track   Hana Rudova
• Float problem   Torsten Anders
• Float problem   Torsten Anders
• Float problem   Filip Konvička
• Float problem   Raphael Collet
• Float problem   Torsten Anders
• FLOPS 2008 - Final CFP - Deadline: Oct 10 / Oct 17 (extended!)   Manuel Hermenegildo
• FLOPS 2008 - Second Call for Papers - Deadline: October 10   flops2008 at clip.dia.fi.upm.es
• FMCAD 2007 Call for Papers   Jason Baumgartner
• FMCAD 2007 Call for Participation   jasonb at austin.ibm.com
• FMCAD 2007 Early Registration   jasonb at austin.ibm.com
• FMCAD 2007 Second Call for Papers [Apologies for duplicate postings]   jasonb at austin.ibm.com
• FMCO 2007: 1st call for participation   M.M. Bonsangue
• FMCO 2007: 2nd call for participation   M.M. Bonsangue
• FMOODS 2008: 1st call for papers   marcello at liacs.nl
• FMOODS 2008: 2nd call for papers   M.M. Bonsangue
• FOOL2008 Call for Papers   Atsushi Igarashi
• FOOL2008: 2nd Call for papers   Atsushi Igarashi
• For loop linguistic abstraction (usage)   Craig Ugoretz
• For loop linguistic abstraction (usage)   Peter VAN ROY
• For loop linguistic abstraction (usage)   Filip Konvička
• For loop linguistic abstraction (usage)   Filip Konvička
• For loop linguistic abstraction (usage)   Raphael Collet
• For loop linguistic abstraction (usage)   Filip Konvička
• For loop linguistic abstraction (usage)   Torsten Anders
• For loop linguistic abstraction (usage)   Filip Konvička
• For loop linguistic abstraction (usage)   Raphael Collet
• For loop linguistic abstraction (usage)   Filip Konvička
• For loop linguistic abstraction (usage)   Kevin Glynn
• For loop linguistic abstraction (usage)   Filip Konvička
• French translation of CTM + interactive programming lab   Peter Van Roy
• French translation of CTM + interactive programming lab   Benjamin L. Russell
• French translation of CTM + interactive programming lab   Peter Van Roy
• Fwd: Blocking a procedure   Lavanya r
• Fwd: Blocking a procedure   HP Wei
• Fwd: Blocking a procedure   Raphael Collet
• General questions about Mozart-oz   Udo Bartschat
• General questions about Mozart-oz   Peter Van Roy
• General questions about Mozart-oz   Boriss Mejias
• Grant and Professorship   Eugene Freuder
• GUI under Vista   Gabriel Skantze
• GUI under Vista   Boriss Mejias
• Hardware dependent Software Workshop at DAC > June 3, 2007   training at ecsi.org
• hash code (was: Sets in oz)   Torsten Anders
• HELP REQUIRED TO INVOKE EXTERNAL APPLICATION FROM OZ ENVIRONMENT   Jorge Marques Pelizzoni
• HELP REQUIRED TO INVOKE EXTERNAL APPLICATION FROM OZ ENVIRONMENT   Jorge Marques Pelizzoni
• HELP REQUIRED TO INVOKE EXTERNAL APPLICATION FROM OZ ENVIRONMENT   Lavanya r
• HELP REQUIRED TO INVOKE EXTERNAL APPLICATION FROM OZ ENVIRONMENT   Raphael Collet
• HELP REQUIRED TO INVOKE EXTERNAL APPLICATION FROM OZ ENVIRONMENT   kanchana vasudevan
• HELP REQUIRED TO INVOKE EXTERNAL APPLICATION FROM OZ ENVIRONMENT   kanchana vasudevan
• HELP REQUIRED TO INVOKE EXTERNAL APPLICATION FROM OZ ENVIRONMENT   Filip Konvička
• Help with design?   andrew cooke
• Help with design?   Boriss Mejias
• How can deal with this model...   mostafa eslahi
• How can deal with this model...   Torsten Anders
• How can deal with this model...   Raphael Collet
• How can I deal with this constrains?   mostafa eslahi
• How can I install a package in windows xp...   mostafa eslahi
• How can I install a package in windows xp...   Jorge Marques Pelizzoni
• How can I install a package in windows xp?   mostafa eslahi
• How can I install a package in xp?   mostafa eslahi
• How can I install a package in xp?   mostafa eslahi
• How can I install a package in xp?   Jorge Marques Pelizzoni
• How can I install a package in xp?   Jorge Marques Pelizzoni
• How can I sort   mostafa eslahi
• How can I sort   Raphael Collet
• How can I sort...   mostafa eslahi
• How can I sort...   Jorge Marques Pelizzoni
• How can I sort...   mostafa eslahi
• How can I sort...   Jorge Marques Pelizzoni
• How can I sort...   mostafa eslahi
• How can I sort...   Jorge Marques Pelizzoni
• How can I sort...   mostafa eslahi
• How can I sort...   Raphael Collet
• How can I sort...   Jorge Marques Pelizzoni
• How does case work?   Jules Jacobs
• How does case work?   Andreas Franke
• How does case work?   Jules Jacobs
• How to define new type in Oz ?   Vladimir N. Dzhivsanoff
• How to define new type in Oz ?   Gustavo Gutierrez
• How to define new type in Oz ?   Vladimir N. Dzhivsanoff
• How to define new type in Oz ?   Vladimir N. Dzhivsanoff
• How to define new type in Oz ?   Jorge Marques Pelizzoni
• How to define new type in Oz ?   Torsten Anders
• how to design a stateful dictionary?   Enrico Santoemma
• how to design a stateful dictionary?   Raphael Collet
• how to design a stateful dictionary?   Enrico Santoemma
• how to design a stateful dictionary?   Jorge Marques Pelizzoni
• how to design a stateful dictionary?   Enrico Santoemma
• how to design a stateful dictionary?   Jorge Marques Pelizzoni
• how to design a stateful dictionary?   Peter Van Roy
• ICALP 07 -- Call for participation   ICALP 2007 conference
• ICALP 2007 - Last Call for Participation   ICALP 2007 conference
• ICALP 2008 - Call for workshops   Icalp08
• ICALP 2008: Second Call for Papers   Icalp08
• ICFP 2008 Call for Workshop Proposals   Michael Sperber
• ICLP07: call for participation   ICLP07 publicity
• ICLP07: second call for participation   ICLP07 publicity
• ICSM 2007 Call for Participation   icsm-info at FernUni-Hagen.de
• ICSR 2008 - Beijing: Final Call for Paper.   lig at sei.pku.edu.cn
• ICTAC 2007: Final call for papers   Chris George
• ICTAC07: deadline extended to 4 May   Chris George
• IEEE Computer Security Foundations Symposium (CSF 2008)   Andrei Sabelfeld
• IEEE Computer Security Foundations Symposium (CSF 2008)   Andrei Sabelfeld
• IEEE Computer Security Foundations Symposium 2007 - Call for Participation   Riccardo Focardi
• IEEE ISQED 2008 Call for Papers   Lech Jozwiak
• IEEE ISQED 2008 Call for Papers   Lech Jozwiak
• IEEE/INFORMS SOLI2007: Paper submissions due in less than 2 weeks   Qiu, Robin
• IFM2007 Final call for contributions   Jeremy.Gibbons at comlab.ox.ac.uk
• IICAI-07 Call for papers   Bhanu Prasad
• IICAI-07: call for papers   Bhanu Prasad
• IICAI-07: paper submission deadline is extended   Bhanu Prasad
• IJCAR Call for Papers, and Workshop and Tutorial Proposals   geoff at cs.miami.edu
• IJCAR Call for Papers, and Workshop and Tutorial Proposals   geoff at cs.miami.edu
• Illegal arity in application error   Craig Ugoretz
• Illegal arity in application error   Juergen Stuber
• Illegal arity in application error   Peter Van Roy
• Illegal arity in application error   Filip Konvička
• Illegal arity in application error   Filip Konvička
• Importing a shared object twice   Pavel
• Importing a shared object twice   Raphael Collet
• Importing a shared object twice   Pavel
• Importing a shared object twice   Raphael Collet
• Importing a shared object twice   Pavel
• INAP 2007 - Extended Deadline: July 01   Dietmar Seipel
• Installation of Mozart on Windows vista   Mary Aranda Cabezas
• Installation of Mozart on Windows vista   Boriss Mejias
• Installation of Mozart on Windows vista   Mary Aranda Cabezas
• Installation via subversion (Intel Mac)   Torsten Anders
• Installation via subversion (Intel Mac)   Boriss Mejias
• Installation via subversion (Intel Mac)   Torsten Anders
• Installation via subversion (Intel Mac)   Boriss Mejias
• Installing Oz functors   Andreas Franke
• Installing Oz functors   Torsten Anders
• Installing Oz functors   Torsten Anders
• Integers and floats with fixed size   Torsten Anders
• Integers and floats with fixed size   Pavel
• Integers and floats with fixed size   Torsten Anders
• Integers and floats with fixed size   Pavel
• Integers and floats with fixed size   Torsten Anders
• Integrated Formal Methods 2007: Call for participation   Jeremy.Gibbons at comlab.ox.ac.uk
• Integration of Mozart-Oz into the Eclipse CDT?   Craig Ugoretz
• Integration of Mozart-Oz into the Eclipse CDT?   Gustavo Gutierrez
• Intel MacBook   Boriss Mejias
• Invitation: 2nd SASA 2007   m.fayad at sjsu.edu
• Invitation: 2nd SSW 2007 -- 9(2)   m.fayad at sjsu.edu
• invoking Explorer.object using script that takes parameters   George Rudolph
• invoking Explorer.object using script that takes parameters   Raphael Collet
• IRCAM talk   petervanroy at wanadoo.fr
• Is it due to memory?   mostafa eslahi
• Is it due to memory?   Jorge Marques Pelizzoni
• Is it due to memory?   Torsten Anders
• Is it due to memory?   mostafa eslahi
• Is it due to memory?   Jorge Marques Pelizzoni
• ISF'07 New York City - Last reminder   NN3 Forecasting Competition
• ISIPTA '07 - DEADLINE EXTENSION   Alessandro Antonucci
• ISIPTA '07 Second Call for Papers   Alessandro Antonucci
• ISMM 2008 Call for Papers   R.E.Jones
• ISMM'07: call for participation   Greg Morrisett
• KANCHANA has Tagged you! :)   KANCHANA Vasudevan
• KANCHANA has Tagged you! :)   KANCHANA Vasudevan
• KR08 Doctoral Consortium, Call for Applications   Carsten Lutz
• KSEM-07 CFP: Deadline for submission extended to 10 July 2007   Dongmo Zhang
• KSEM-07 CFP: Deadline for submission extended to 10 July 2007   Broderick Crawford L.
• KSEM-07 Deadline for submissions due on today (10 July 2007)   Dongmo Zhang
• LADS'007 - Call for Papers - Workshop on Languages, methodologies and Development tools for multi-agent Systems   LADS'007 Co-organisers
• Last Call for Papers for the Special Session on Multi-Agent Systems at IICAI'07   Gauthier Picard
• Last Call for Papers: Working Conference on Source Code Analysis and Manipulation   icsm-info at FernUni-Hagen.de
• Last Call: EURO XXII Timetabling and Rostering Stream   Hana Rudova
• Last cfp track PSC @ ACM SAC 2008   Emiliano Tramontana
• Last CfP: ACM SAC Software Verification track   Fausto Spoto
• Launching a standard C "Window Events Loop" thread.   Julien ERES
• Launching a standard C "Window Events Loop" thread.   Yves Jaradin
• Lavanya Raghunath is inviting you to join StanaCard.com   Lavanya Raghunath
• Learning Mozart   =?gb2312?B?0e667Me/?=
• Learning Mozart   Zoom.Quiet
• Learning Mozart   Boriss Mejias
• Link to call me for free   lavanya raghunath
• List comprehension macro   Wolfgang Meyer
• LOPSTR 2007 Call for Papers   A.M.King
• LOPSTR 2007 Call for Papers   A.M.King
• LOPSTR 2007 Call for Participation   A.M.King
• LOPSTR 2007 Final Call for Papers   A.M.King
• LPAR 2007 (Yerevan, Armenia) - submission deadline June 4th   geoff at cs.miami.edu
• LPAR Call for Short Papers   geoff at cs.miami.edu
• M4M-5 Call for Papers   Carlos Areces
• M4M-5: Deadline Extension, 15th of September   Carlos Areces
• M4M-5: EasyChair Submission Page Now Open   Carlos Areces
• mailing list admin request - subscribe mozart-users-archives-garchive-49748@googlegroups.com   Terrence Brannon
• mailing list admin request - subscribe mozart-users-archives-garchive-49748@googlegroups.com   Kevin Glynn
• mailing list admin request - subscribe mozart-users-archives-garchive-49748@googlegroups.com   Torsten Anders
• Mailing list search   Torsten Anders
• Making reference to tuples within a constraint   M Dobrogost
• Making reference to tuples within a constraint   Filip Konvička
• Making reference to tuples within a constraint   Raphael Collet
• Making reference to tuples within a constraint   M Dobrogost
• Making reference to tuples within a constraint   M Dobrogost
• MAP-I doctoral programme   Rui Mendes - Dep. Informatica
• Meaning of orange star in Explorer window?   George Rudolph
• Meaning of orange star in Explorer window?   Raphael Collet
• Meaning of orange star in Explorer window?   George Rudolph
• MIDI   Torsten Anders
• MIDI   Enrico Santoemma
• MIDI   Torsten Anders
• MIDI programming in Oz   Enrico Santoemma
• MIDI programming in Oz   Torsten Anders
• Migrating bug reports: please help!   Boriss Mejias
• Migrating bug reports: please help!   Torsten Anders
• Migrating bug reports: please help!   Boriss Mejias
• Migrating bug reports: please help!   Torsten Anders
• Migrating bug reports: please help!   Wacek Kusnierczyk
• Migrating bug reports: please help!   Filip Konvička
• Migrating bug reports: please help!   Torsten Anders
• Migrating bug reports: please help!   Boriss Mejias
• Migrating bug reports: please help!   Boriss Mejias
• Migrating bug reports: please help!   Filip Konvička
• Migrating bug reports: please help!   Wacek Kusnierczyk
• Migrating bug reports: please help!   Torsten Anders
• Migrating bug reports: please help!   Torsten Anders
• Migrating bug reports: please help!   Torsten Anders
• Migrating bug reports: please help!   Chris vanBuskirk
• Migrating bug reports: please help!   Torsten Anders
• Migrating bug reports: please help!   Wacek Kusnierczyk
• Migrating bug reports: please help!   Torsten Anders
• Migrating bug reports: please help!   Torsten Anders
• Migrating bug reports: please help!   Torsten Anders
• Migrating bug reports: please help!   Torsten Anders
• Moart/OZ in Eclipse   Craig Ugoretz
• Moart/OZ in Eclipse   Torsten Anders
• Module.link weirdness   Pavel
• Module.link weirdness   Pavel
• Module.link weirdness   Kevin Glynn
• Module.link weirdness   Pavel
• Module.link weirdness   Kevin Glynn
• Module.link weirdness   Pavel
• Module.link weirdness   George Rudolph
• Mozart application bundle for MacOs X   Torsten Anders
• Mozart application bundle for MacOs X   Gustavo Gutierrez
• Mozart development   Torsten Anders
• Mozart development   Boriss Mejias
• Mozart development   Filip Konvička
• Mozart development   Torsten Anders
• Mozart development   Filip Konvička
• Mozart development   Torsten Anders
• Mozart development   Robert Ritchey
• Mozart development   Denys Duchier
• Mozart development   Torsten Anders
• Mozart development   Denys Duchier
• Mozart development   Torsten Anders
• Mozart development   Torsten Anders
• Mozart development   Denys Duchier
• Mozart development   Boriss Mejias
• Mozart development   Denys Duchier
• mozart on mac problems   Tim Tesluk
• mozart on mac problems   Alan Schmitt
• mozart on mac problems   Boriss Mejias
• Mozart parser in reflexive Metaprogramming   Joachim Niehren
• Mozart parser in reflexive Metaprogramming   Joachim Niehren
• Mozart parser in reflexive Metaprogramming   afranke at ags.uni-sb.de
• Mozart parser in reflexive Metaprogramming   Joachim Niehren
• Mozart parser in reflexive Metaprogramming   afranke at ags.uni-sb.de
• Mozart parser in reflexive Metaprogramming   Enrico Santoemma
• Mozart tools development   Torsten Anders
• Mozart tools development   Boriss Mejias
• Mozart tools development   Torsten Anders
• Mozart tools development   Boriss Mejias
• Mozart-Oz 1.3.2 demos. Problem with images (.xbm).   Петров Александр
• Mozart-Oz 1.3.2 demos. Problem with images (.xbm).   Torsten Anders
• Mozart-Oz 1.3.2 demos. Problem with images (.xbm).   Петров Александр
• Mozart-Oz 1.3.2 demos. Problem with images (.xbm).   Raphael Collet
• Mozart-Oz 1.3.2 demos. Problem with images (.xbm).   Wacek Kusnierczyk
• Mozart-Oz 1.3.2 demos. Problem with images (.xbm).   Петров Александр
• Mozart-Oz 1.3.2 demos. Problem with images (.xbm).   Raphael Collet
• Mozart-Oz 1.3.2 demos. Problem with images (.xbm).   Torsten Anders
• Mozart/Oz on MacOS X Intel   Rodrigo Miranda
• Mozart/Oz on MacOS X Intel   Boriss Mejias
• MPC 2008: FIRST CALL FOR PAPERS   Christine Paulin
• MPC 2008: SECOND CALL FOR PAPERS   Christine Paulin
• MPOOL'07 - LNCS Survey on the State of the Art in Multiparadigm Programming   MPOOL'07
• multicast() in P2PS   HP Wei
• need help   mufid musrati
• need u help to use oz for timetabling   mufid musrati
• need u help to use oz for timetabling   Torsten Anders
• Network transparency in Oz: public thesis defense of Raphael Collet   Peter Van Roy
• New data type in Oz   Vladimir N. Dzhivsanoff
• New Deadlines for 2007 International Conference on Service Operations and Logistics, and Informatics: May 10   Qiu, Robin
• New programming paradigms for computer music   Peter VAN ROY
• New: Parallel Computing Blog   Interactive Supercomputing
• Newbie problem with ozc   Ed Keith
• Newbie problem with ozc   Boriss Mejias
• Newbie problem with ozc   Ed Keith
• Newbie problem with ozc   Boriss Mejias
• newbie question about lists   Isaac Levin
• newbie question about lists   Raphael Collet
• newbie question about lists   Enrico Santoemma
• NN3 competition @ ISF'07 New York City - Last reminder   Sven F. Crone
• NordSec 2007 Second Call for Papers   nordsec2007
• Online Journal -- Call for Editorial Borads' Members -- 9-2   m.fayad at sjsu.edu
• Open.pipe problem   Torsten Anders
• Open.pipe problem   afranke at ags.uni-sb.de
• Open.pipe problem   Torsten Anders
• Open.pipe problem   Ryan Kelly
• Open.pipe problem   afranke at ags.uni-sb.de
• Open.pipe problem   Torsten Anders
• Open.pipe problem   Torsten Anders
• Overview of principal programming paradigms   Peter VAN ROY
• Overview of principal programming paradigms   Ramon Diaz-Uriarte
• Overview of principal programming paradigms   Mark Miller
• Overview of principal programming paradigms   Peter Van Roy
• Overview of principal programming paradigms   Peter Van Roy
• Overview of principal programming paradigms   George Rudolph
• Overview of principal programming paradigms   Mark S. Miller
• Overview of principal programming paradigms   David Hopwood
• Overview of principal programming paradigms   Peter Van Roy
• Overview of principal programming paradigms   Mark S. Miller
• Overview of principal programming paradigms   Peter Van Roy
• Overview of principal programming paradigms   Mark S. Miller
• Overview of principal programming paradigms   Peter Van Roy
• Overview of principal programming paradigms   Boriss Mejias
• Overview of principal programming paradigms   George Rudolph
• Overview of principal programming paradigms   Scott Parish
• Overview of principal programming paradigms   Ramon Diaz-Uriarte
• Overview of principal programming paradigms   Kemp Watson
• Overview of principal programming paradigms   twanvds at xs4all.nl
• Overview of principal programming paradigms   Peter VAN ROY
• Overview of principal programming paradigms   Boriss Mejias
• Overview of principal programming paradigms   Boriss Mejias
• Overview of principal programming paradigms   Kilian Sprotte
• Oz lacks a meteor contest entry in the Alioth Shootout   terrence.x.brannon at jpmchase.com
• Oz Panel and heap size   Torsten Anders
• Oz Panel and heap size   Kevin Glynn
• Oz Panel and heap size   Boriss Mejias
• Oz Panel and heap size   Torsten Anders
• ozh   Torsten Anders
• ozmake + compiler flags   Filip Konvička
• ozmake + compiler flags (was: Float problem)   Torsten Anders
• ozwish with x11 (not aqua) on macosx   Graham Percival
• p.s. Grant and Professorship   Eugene Freuder
• PADL 2008: Call for Papers   Gopal Gupta
• PADL'08: Call for Participation (Early Reg. Deadline: Dec 13)   Gopal Gupta
• Paper submission deadline extended   Devip Sr
• Parallel Computing Survey   research1 at simonmanagement.com
• Passing values larger than int to C   Pavel
• Patch for Mozart on "Windows Vista"   Wolfgang Meyer
• Patch for ozmake / macros   Wolfgang Meyer
• Patch for ozmake / macros   Torsten Anders
• Patch for ozmake / macros   Raphael Collet
• Patch for ozmake / macros   Torsten Anders
• Patch for ozmake / macros   Raphael Collet
• Patch for ozmake / macros   Torsten Anders
• Patch for ozmake / macros   Torsten Anders
• Patch for ozmake / macros   Wolfgang Meyer
• Patch for ozmake / macros   Torsten Anders
• Patch for ozmake / macros   Wolfgang Meyer
• Pattern matching of results   Torsten Anders
• Pattern matching of results   Luis Quesada
• PEPM 2008   Oege.de.Moor at comlab.ox.ac.uk
• PEPM 2008 Call For Participation -- ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (with POPL 2008)   John Hatcliff
• PEPM 2008: abstracts due Oct 12   Oege.de.Moor at comlab.ox.ac.uk
• PEPM 2008: abstracts due Oct 12   Oege.de.Moor at comlab.ox.ac.uk
• PhD on refactoring at Oxford   Oege.de.Moor at comlab.ox.ac.uk
• PhD Positions in the Embedded System Unit of Fondazione Bruno Kessler   Marco Roveri
• Pickle.load problem   Irene Langkilde-Geary
• Pickle.load problem   Wolfgang Meyer
• PLAC-2007@ijop.org   Extended deadline: CFP - PLAC 2007
• POPL 08 Call for Papers   Sorin Lerner
• POPL 2008 - CALL FOR WORKSHOPS AND CO-LOCATED EVENT PROPOSALS   Sorin Lerner
• Positions at Oxford: refactoring tools   Oege.de.Moor at comlab.ox.ac.uk
• Post-doc position in the European project Credo   Frank de Boer
• Post-Doc Positions in the Embedded System Unit of Fondazione Bruno Kessler   Marco Roveri
• Postdoc Opening in Nancy (France)   Claire Gardent
• Postdoc position in NLP, Nancy (France)   Claire Gardent
• Problem with MacPorts build   Philip Yi
• Problem with MacPorts build   Torsten Anders
• Problem with {Solve F} - relational programming   Craig Ugoretz
• Problem with {Solve F} - relational programming   Craig Ugoretz
• Problem with {Solve F} - relational programming   Craig Ugoretz
• Problem with {Solve F} - relational programming   Craig Ugoretz
• Problem with {Solve F} - relational programming   Craig Ugoretz
• Problem with {Solve F} - relational programming   Raphael Collet
• Problem with {Solve F} - relational programming   Craig Ugoretz
• Problem with {Solve F} - relational programming   Raphael Collet
• Problem with {Solve F} - relational programming   Craig Ugoretz
• Problem with {Solve F} - relational programming   Craig Ugoretz
• Problem: parallel search engine, Mozart 1.3.1 / Ubuntu 6.06   Adam Meissner KARI
• problems compiling gtk   Andrew McVeigh
• problems with 'from'   Jaime Alberto Parra Plaza
• problems with 'from'   Kevin Glynn
• problems with 'from'   Wacek Kusnierczyk
• problems with 'from'   Raphael Collet
• procedure arguments   Vladimir N. Dzhivsanoff
• procedure arguments   Raphael Collet
• Programme de VSST'2007 21-25 octobre Marrakech   Bernard DOUSSET
• Prolog embedding   Pavel
• PSSE 2007: registration deadline approaching - two weeks to go   Ana Cavalcanti
• QAC'07 deadline extended   Sun Meng
• QAPL 2008 Call for Papers   QAPL 2008
• QAPL 2008 Second Call for Papers   QAPL 2008
• QTk and Profiler   Martin Kay
• QTk and Profiler   Boriss Mejias
• query to run an application from oz code   kanchana vasudevan
• query to run an application from oz code   Raphael Collet
• QUestions about formatted output   George Rudolph
• QUestions about formatted output   Torsten Anders
• Questions of newbie   Raphael Collet
• Questions of newbie   Vladimir N. Dzhivsanoff
• Questions of newbie   Raphael Collet
• Questions of newbie   Vladimir N. Dzhivsanoff
• Recommended way to package C libraries   Pavel
• Recommended way to package C libraries   Yves Jaradin
• Research position   Jean-Marie JACQUET
• Resolving x-ozlib URIs   Torsten Anders
• Resolving x-ozlib URIs   Torsten Anders
• resource discovery   kanchana vasudevan
• resource discovery   Raphael Collet
• Retrieving class type   Chris Rathman
• Retrieving class type   Torsten Anders
• Retrieving class type   Torsten Anders
• Retrieving class type   Torsten Anders
• Retrieving class type   Filip Konvička
• Retrieving class type   Torsten Anders
• Retrieving class type   Filip Konvička
• Retrieving class type   Torsten Anders
• Retrieving class type   Filip Konvička
• Retrieving class type   Torsten Anders
• Retrieving class type   Boriss Mejias
• run on Ubuntu amd64   David Schein
• run on Ubuntu amd64   Kevin Glynn
• SAC 2008. Call for papers   Carlos Olarte
• SAS 2007: Call for Participation   Terkel K. Tolstrup
• SAT 2007 Call for Participation   Joao Marques-Silva
• SCAM 2007 Call for Participation   icsm-info at FernUni-Hagen.de
• search engine with timeout   Torsten Anders
• Second Call for papers - Workshop on Termination (WST 2007) - Paris   A Serebrenik
• Second Call for Papers -- ASIAN'07   Kazunori UEDA
• Second CFP: 23rd International Conference on Logic Programming (ICLP 2007)   ICLP07 publicity
• Second CFP: CICLOPS 2007   Salvador Abreu
• Second CFP: ICLP 2007 Doctoral Consortium   ICLP07 publicity
• Selecting parser error   Craig Ugoretz
• Selecting parser error   Craig Ugoretz
• Server maintenance, tomorrow, July 25, 9:00-11:00   Guido Tack
• Sets in oz   Christophe Taton
• Sets in oz   Raphael Collet
• Sets in oz   Filip Konvička
• single propagator   Akbar
• SIPTA Newsletter Announcement - New issue   Alessandro Antonucci
• software engineering tools for mozart/oz.   Gal Amram
• software engineering tools for mozart/oz.   Ed Keith
• software engineering tools for mozart/oz.   Boriss Mejias
• software engineering tools for mozart/oz.   Gal Amram
• software engineering tools for mozart/oz.   Torsten Anders
• software engineering tools for mozart/oz.   Juergen Stuber
• software engineering tools for mozart/oz.   Gal Amram
• software engineering tools for mozart/oz.   Torsten Anders
• software engineering tools for mozart/oz.   Torsten Anders
• Software Patterns Blog   SPBlog
• Solving a path-finding-like problem   M Askar
• Solving a path-finding-like problem   Luis Quesada
• Solving a path-finding-like problem   Masgad Askar
• Some paradigm examples in Oz   Peter VAN ROY
• Some paradigm examples in Oz   Chris Rathman
• Some paradigm examples in Oz   Chris Rathman
• some questions about thread statement   Vladimir N. Dzhivsanoff
• some questions about thread statement   Vladimir N. Dzhivsanoff
• some questions about thread statement   Boriss Mejias
• some questions about thread statement   Jorge Marques Pelizzoni
• some questions about thread statement   Boriss Mejias
• Special issue of Information Fusion on 7th Int Conf Information Fusion   Johan Schubert
• SpiderMonkey Embedding   Pavel
• SpiderMonkey Embedding   Andreas Franke
• SpiderMonkey Embedding   Torsten Anders
• SpiderMonkey Embedding   Torsten Anders
• SpiderMonkey Embedding   Torsten Anders
• start of tutorial issues   Terrence Brannon
• start of tutorial issues   Pavel
• start of tutorial issues   Torsten Anders
• start of tutorial issues   Benjamin L. Russell
• start of tutorial issues   Benjamin L. Russell
• struggling with syntax and semantics, need help with code   George Rudolph
• struggling with syntax and semantics, need help with code   Raphael Collet
• sudoku demo   Fred Spiessens
• sudoku demo   Raphael Collet
• sudoku demo   Fred Spiessens
• Teaching reasoning about imperative programs with MPVS   Peter Van Roy
• test   Raphael Collet
• The LP Module (Again)   Paul Snively
• The LP Module (Again)   Boriss Mejias
• The Third International CISSE Conference   The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering.
• The Third International IETA Conference   IETA 2007 Online E-Conference
• The Third International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2007)   CISSE 2007 Online E-Conference
• The Third International SCSS Conference   SCSS 2007 Online E-Conference
• thread as value   Vladimir N. Dzhivsanoff
• thread as value   Wolfgang Meyer
• thread as value   Vladimir N. Dzhivsanoff
• thread as value   Raphael Collet
• thread as value   Vladimir N. Dzhivsanoff
• thread as value   Raphael Collet
• thread as value   Vladimir N. Dzhivsanoff
• Tk graphics engine and threads; Eclipse   Craig Ugoretz
• Tk graphics engine and threads; Eclipse   Craig Ugoretz
• Tk graphics engine and threads; Eclipse   Gustavo Gutierrez
• Tk graphics engine and threads; Eclipse   Yves Jaradin
• Track on Constraint Solving and Programming - ACM SAC call for paper   Stefano Bistarelli
• Track on Constraint Solving and Programming - ACM SAC call for paper   Stefano Bistarelli
• troubleshooting installation on MacBook Pro (Intel) via MacPort   Celine Kuttler
• troubleshooting installation on MacBook Pro (Intel) via MacPort   Torsten Anders
• troubleshooting installation on MacBook Pro (Intel) via MacPort   Kevin Glynn
• troubleshooting installation on MacBook Pro (Intel) via MacPort   Celine Kuttler
• troubleshooting installation on MacBook Pro (Intel) via MacPort   Torsten Anders
• TSD 2007 Call For Papers   tsd at kiv.zcu.cz
• TSD 2007 Call For Papers   tsd at kiv.zcu.cz
• TSD 2008 Preliminary announcement   TSD 2008
• Using a class; Eclipse   Craig Ugoretz
• Using a class; Eclipse   Fred Spiessens
• using college timetabling demo   mufid musrati
• VMCAI'08: Call for papers   Francesco Logozzo
• WGT 2008 Call for Papers   Workshop on Generative Technologies
• WGT 2008 Final Call for Papers   Workshop on Generative Technologies
• WGT 2008 Second Call for Papers   Workshop on Generative Technologies
• What I have in mind (next step)   George Rudolph
• What I have in mind (next step)   Raphael Collet
• Wiki   Torsten Anders
• Wiki   Denys Duchier
• Wiki   Boriss Mejias
• Wiki   Denys Duchier
• Wiki   Boriss Mejias
• WLPE'07 - Deadline extension   Wim Vanhoof
• WoLLIC 2008 - Call for Papers   ruy at cin.ufpe.br
• WoLLIC'2007 - Call for Participation   ruy at cin.ufpe.br
• WoLLIC'2007 - CfP   ruy at cin.ufpe.br
• Writing Solutions to Constraint Program to a File   George Rudolph
• Writing Solutions to Constraint Program to a File   Torsten Anders
• Young Researcher Award   Eugene Freuder
• Yuri Matiyasevich - 60! Call for papers.   Maxim Vsemirnov
• {Property.get 'platform.os'} issue (Bug?)   Torsten Anders
• {Property.get 'platform.os'} issue (Bug?)   Torsten Anders
• {Property.get 'platform.os'} issue (Bug?)   Raphael Collet
• {Property.get 'platform.os'} issue (Bug?)   Raphael Collet
• {Property.get 'platform.os'} issue (Bug?)   Torsten Anders
• {Property.get 'platform.os'} issue (Bug?)   Torsten Anders
• {Property.get 'platform.os'} issue (Bug?)   Boriss Mejias
• {Property.get 'platform.os'} issue (Bug?)   Torsten Anders
• {Property.get 'platform.os'} issue (Bug?)   Gustavo Gutierrez
• {Property.get 'platform.os'} issue (Bug?)   Gustavo Gutierrez
• {Property.get 'platform.os'} issue (Bug?)   Boriss Mejias
• {Property.get 'platform.os'} issue (Bug?)   Boriss Mejias
• {Property.get 'platform.os'} issue (Bug?)   Raphael Collet
• {Property.get 'platform.os'} issue (Bug?)   Torsten Anders
• {Property.get 'platform.os'} issue (Bug?)   Gustavo Gutierrez
• {Property.get 'platform.os'} issue (Bug?)   Gustavo Gutierrez
• {Property.get 'platform.os'} issue (Bug?)   Torsten Anders
• {Property.get 'platform.os'} issue (Bug?)   Torsten Anders
• {Property.get 'platform.os'} issue (Bug?)   Andreas Franke
• {Property.get 'platform.os'} issue (Bug?)   Kevin Glynn
• {Property.get 'platform.os'} issue (Bug?)   Gustavo Gutierrez
• {Property.get 'platform.os'} issue (Bug?)   Torsten Anders

Last message date: Mon Dec 31 19:12:06 CEST 2007
Archived on: Tue Jan 1 00:42:21 CEST 2008

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...