PEPM 2011
Call for Papers
Important Dates
Program Committee
Advice for Authors
Research Paper
Tool Paper
Submission
PEPM Program
Invited Talks
Accepted Papers
Schedule
Local Information
Venue
Registration & Accommodation
History
Previous Meetings
Statistics
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
Rev 5
(diff 4)
Rev 4
(diff 3)
Rev 3
(diff 2)
Total History
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Publicity List 06
ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation
Mailing lists
Address
List name
Sent
OK
Comment
eapls@jiscmail.ac.uk
yes
yes
sent
pl-seminar@ccs.neu.edu
yes
?
rejected/pending membership
announce@aosd.net
Aspect Oriented Software Development
Yes
?
Pending moderator approval
announcements@oopsla.acm.org
OOPSLA
Yes
Pending moderator approval
cgn-talk@yahoogroups.com
Yes
?
Pending moderation
cphc-conf@jiscmail.ac.uk
yes
?
Pending moderation
haskell-cafe@haskell.org
yes
?
pending moderation
template-haskell@haskell.org
yes
pending moderation
prog-lang@diku.dk
yes
pending moderation
vki-list@dfki.de
yes
not approved (as far as I understand German :)
vdm-forum@JiSCMAIL.AC.UK
yes
needs joining/resend
security@fosad.org
yes
moderator approval pending
haskell@haskell.org
yes
yes.
confirmed
stratego@cs.uu.nl
yes
yes
confirmed
types@cis.upenn.edu
yes
yes
confirmed
logic@Cs.Cornell.EDU
yes
bounced/underliverable
logic@theory.lcs.mit.edu
yes
no
bounced/underliverable
elf-list@cs.cmu.edu
yes
no
bounced/undeliverable
facs-members@lut.ac.uk
yes
?
bounced/undeliverable
fme@mailbase.ac.uk
yes
?
bounced/undeliverable
fsdm@cs.uq.oz.au
yes
No
bounced/undeliverable
glp@first.gmd.de
yes
No
bounced/undeliverable
gulp@di.unipi.it
yes
no
bounced/undeliverable
igparse-list@cs.cmu.edu
yes
no
bounced/undeliverable
info-hol@jaguar.cs.byu.edu
yes
no
bounced/undeliverable
ipalist@win.tue.nl
yes
no
bounced/undeliverable
lego-club@dcs.ed.ac.uk
yes
no
bounced/undeliverable
lfcs-interest@dcs.ed.ac.uk
yes
no
bounced/undeliverable
linear@cs.stanford.edu
yes
bounced/undeliverable
nuprllist@cs.cornell.edu
yes
bounced/undeliverable
pldg@Cs.Cornell.EDU
yes
no
bounced/undeliverable
pvs@csl.sr.com
yes
bounced/undeliverable
rewriting@loria.fr
yes
bounced/undeliverable
softverf@nist.gov
yes
bounced/undeliverable
theory-a@vm1.nodak.edu
yes
bounced/undeliverable
types-wg@durham.ac.uk
yes
bounced/undeliverable
zforum@prg.oz.ac.uk
yes
bounced/undeliverable
alp@doc.ic.ac.uk
Yes
Bounced
amast@cs.utwente.nl
Yes
Bounced
compunode@dfki.de
yes
?
bounced
deducktion@intellektik.informatik.th-darmstadt.de
yes
no
bounced
dreamers@dai.ed.ac.uk
yes
no
bounced
lcs@cis.upenn.edu
yes
awaiting moderator aproval
clean-list@cs.kun.nl
yes
?
gpce-news@cs.rice.edu
Gpce News
Yes
clp@comp.nus.edu.sg
yes
compulog@doc.imperial.ac.uk
yes
?
compulognet-parimp@dia.fi.upm.es
yes
?
compunode@compulog.org
yes
?
concurrency@cwi.nl
yes
?
coq-club@pauillac.inria.fr
yes
?
csl@dbai.tuwien.ac.at
yes
?
cs-logic@cs.indiana.edu
yes
?
curry@informatik.rwth-aachen.de
yes
?
dbworld@cs.wisc.edu
yes
?
ecoop-info@ecoop.org
yes
?
erlang-questions@erlang.org
yes
?
finite-model-theory@lists.RWTH-Aachen.de
yes
?
fm-info@air16.larc.nasa.gov
yes
?
formal-methods@cs.uidaho.edu
yes
?
forum@jsoftware.com
yes
?
grin@di.unipi.it
yes
gulp@www.dimi.uniud.it
yes
?
imps@linus.mitre.org
yes
ipa@tue.nl
yes
isabelle-users@cl.cam.ac.uk
yes
kgs@logic.tuwien.ac.at
yes
lande@irisa.fr
yes
< bgcolor="#ececec"> >
lics@math.uic.edu
yes
< bgcolor="#f6f6f6"> >
logic-announce@uclink4.berkeley.edu
yes
logic-list@cs.rice.edu
yes
lprolog@cs.umn.edu
yes
mercury-ads@cs.mu.oz.au
yes
metaocaml-users@mailman.rice.edu
yes
mfpsmail4@linus.math.tulane.edu
yes
mizar-forum@mizar.uwb.edu.pl
yes
pept@kb.ecei.tohoku.ac.jp
yes
?
plt-scheme@fast.cs.utah.edu
yes
prolia@tlxf.geomail.org
yes
prolog-vendors@sics.se
yes
pvs@csl.sri.com
yes
qed@mcs.anl.gov
yes
quintus-users@quintus.com
yes
< bgcolor="#f6f6f6"> >
sdrl@cis.upenn.edu
yes
seworld@cs.colorado.edu
yes
sicstus-users@sics.se
yes
softtech@cs.uu.nl
yes
stp@dcs.gla.ac.uk
yes
sts@lists.urchin.earth.li
yes
theorem-provers@ai.mit.edu
yes
theory@brics.dk
yes
theory-logic@cs.cmu.edu
yes
theorynt@listserv.nodak.edu
yes
thoeorynt@listserv.uic.edu
yes
--
EmirPasalic
- 17 Jan 2006