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