中国计算机学会推荐国际学术刊物

noodleproudΛογισμικό & κατασκευή λογ/κού

29 Οκτ 2013 (πριν από 4 χρόνια και 2 μήνες)

69 εμφανίσεις

中国计算机学会推荐国际学术会议

B


B

-
计算机科学理论

序号

会议简称

会议全称

出版社

网址

1.


LICS

IEEE Symposium on Logic in Computer Science

IEEE

http://www2.informatik.hu
-
berlin.de/lics/

2.


ICALP

International Colloquium on Automata, Languages
and Programming

European
Association for
Theoretical

Computer Science
(EATCS)

http://icalp09.cti.gr/index.php/Main/HomePage

3.


SCG

ACM Symposium on Computational Geometry

ACM

http://socg06.cs.arizona.edu/

4.


SODA

ACM/SIAM Symposium on Discrete Algorithms

SIAM

http://www.siam.org/meetings/da07/

5.


SPAA

ACM Symp
osium on Parallel Algorithms and
Architectures

ACM

http://www.cs.dartmouth.edu/SPAA/

6.


CCC

IEEE Conference on Computational Complexity

IEEE

http://facweb.cs.depaul.edu/jrogers/Complexity/

7.


CSFW

IEEE Computer Security Foundations Workshop

IEEE

http://www.i
eee
-
security.org/CSFWweb/

8.


DATE

IEEE/ACM Design, Automation & Test in Europe
Conference

IEEE
/ACM

http://www.date
-
conference.com/

9.


I
S
IT

IEEE Symposium on Information Theory

IEEE

http://www.isit2008.org/

10.


CP

Int
ernational

Conf
erence

on Principles & Practi
ce
of Constraint Programming

Springer

http://www.cs.mu.oz.au/cp2008/

11.


TACAS

Tools and Algorithms for the Const
ruction

and
An
alysis
of Systems

Springer

http://www.cs.stonybrook.edu/~tacas2008/

12.


RTA

Rewriting Techniques and Applications

Springer

http://rew
riting.loria.fr/rta/

13.


TLCA

Typed Lambda Calcul
i

and Applications

Springer

http://www.lsv.ens
-
cachan.fr/rdp07/tlca.html

14.


CSL

Computer Science Logic

Springer

http://web2.comlab.ox.ac.uk/oucl/conferences/CSL0
5/

15.


MFPS

Mathematical Foundations of Programming

Semantics

Elsevier

http://www.math.tulane.edu/~mfps/

16.


TCS

IFIP International Conference on Theoretical
Computer Science

Springer Science
and Business Media

http://bioinformatics.bio.disco.unimib.it/tc1/

17.


STACS

International Conference on Theoretical A
spects of
Computer Science

Springer

http://www.lif.univ
-
mrs.fr/STACS06/

18.


MFCS

Mathematical Foundations of Computer Science

Springer

http://www.mfcs.sk/

19.


FCT

International Symposium
Fundamentals of
Computation Theory

Springer

http://www.conferences.
hu/fct2007/

20.


FSTTCS

Conference on Foundations of Software
Technology and Theoretical Computer Science

IARCS, the Indian
Association for
Research in
Computing Science

http://www.fsttcs.org/

21.


ICLP

International Conference on Logical Programming

Springer

ht
tp://iclp08.dimi.uniud.it/



B

-
计算机体系结构

序号

会议简称

会议全称

出版社

网址

1.


ASPLOS

Architectural Support for Programming Languages
and Operating Systems

ACM
SIGOPS/SIGARCH/
SIGPLAN

http://www.acm.org/pubs/contents/proceedings/serie
s/asplos/

2.


FAST

Conference on File and

Storage Technologies

USENIX

http://www.usenix.org/events/bytopic/fast.html

3.


PACT

Parallel Architectures and Compilation Techniques

IEEE

ACM SIGARCH

http://pact07.cs.tamu.edu/

4.


PPoPP

Principles and Practice of Parallel Programming

ACM SIGPLAN

http://rese
arch.ihost.com/ppopp08/

5.


SPAA

ACM Symposium on Parallelism in Algorithms
and Architectures

ACM

http://www.cs.jhu.edu/~spaa/2007/

6.


SIGMETRICS

International Conference on Measurement and
Modeling of Computer Systems

ACM
SIGMETRICS

http://www1.cs.columbia.e
du/~sigmet08/

7.


RTSS

Real
-
Time Systems Symposium

IEEE

http://www.rtss.org/

8.


ICCD

International Conference on Computer Design

IEEE

http://www.iccd
-
conference.org/

9.


MSST

Mass Storage Systems and Technologies

IEEE

http://storageconference.org/2007/

10.


HOT CH
IPS

A Symposium on High Performance Chips

IEEE

http://www.
hotchips
.org/

11.


HPDC

High
-
Performance Distributed Computing

IEEE

http://www.isi.edu/hpdc2007/

12.


CLUSTER

Cluster Computing

IEEE

http://www.clustercomp.org/

13.


IPDPS

International Parallel & Distribute
d Processing
Symposium

IEEE

http://
www.
ipdps
.
org

14.


EuroSys

E
uro
S
ys

ACM

http://www.gsd.inesc
-
id.pt/conference/EuroSys2007
/

15.


ICDCS

International Conference on

Distributed Computing Systems

IEEE

http://www.eecg.utoronto
.ca/icdcs07/

16.


ICPP

International Conference on
Parallel Processing


IEEE

http://www.cse.ohio
-
state.edu/~icpp2007/

17.


Euro
-
Par

European Conference on Parallel and Distributed
Computing

Springer

http:/
/europar2007.irisa.fr/

18.


FPGA

International Symposium on Field
-
Programmable
Gate Arrays

ACM SIGDA

http://www.ece.wisc.edu/~kati/fpga2008/

19.


LCTES

Conference on Language, Compiler and Tool
Support for Embedded Systems

ACM SIGEBD

http://lctes08.flux.utah.edu
/


B

-
计算机网络

序号

会议简称

会议全称

出版社

网址

1.


SenSys

ACM Conference
on Embedded Networked
Sensor Systems

ACM

http://sensys.acm.org/2008/organizers.html

2.


Per
c
om

International Conference on Pervasive Computing
and Communications

IEEE

http://www4.comp.polyu.edu.hk/~percom0
8/

3.


IMC

Internet Measurement Conference

ACM/USENIX

http://www.imconf.net/imc
-
2008/

4.


IWQoS

International Workshop on Quality of Service

IEEE

http://iwqos08.ewi.utwente.nl/

5.


CoNEXT

ACM International Conference on emerging
Networking EXperiments and Techno
logies

ACM

www.sigcomm.org/co
-
next2008/

6.


NSDI

Symposium on Network System Design and
Implementation

USENIX

http://www.usenix.org/event/nsdi08/

7.


Networking

International Conferences on Networking

IFIP

http://www3.ntu.edu.sg/SCE/networking2008/

8.


M
obi
H
oc

I
nternational Symposium on Mobile Ad Hoc
Networking and Computing

ACM/IEEE

http://www.sigmobile.org/mobihoc/2008/

9.


ICNP

International Conference on Network Protocols

IEEE

http://www.cs.purdue.edu/homes/fahmy/icnp2008/

10.


IPTPS

International workshop on Peer
-
To
-
Peer Systems

ACM/USENIX

http://www.iptps.org/



B

-
人工智能与模式识别

序号

会议简称

会议全称

出版社

网址

1.


NIPS

Annual Conference on Neural Information
Processing Systems

MIT Press

http://www.nips.cc

2.


KR

Int
ernationa
l Conf
erence

on Principles of
K
nowledge Representation and

Reasoning

Morgan
Kaufmann

http://www.kr.org/

3.


ACL

Annual Meeting of the Association for
Computational Linguistics

ACL

http://www.aclweb.org/






1.


AAMAS

International Joint Conference on Autonomous
Agents and Multi
-
agent Systems

Springer

http://www.aamas2007.org/

2.


ECCV

European Conference on Computer Vision

Springer

http://eccv2008.inrialpes.fr/

3.


ECML

European Conference on Machine Learning

Springer

http://www.ecmlpkdd2008.org

4.


ECAI

European Conference on Artificial Intelligence

IOS Press

http://www.ece.upatras.gr/eca
i2008/

5.


COLT

Annual Conference on Computational Learning
Springer

http://www.learningtheory.org/colt2007/

Theory

6.


UAI

International Conference on Uncertainty in
Artificial Intelligence

AUAI

http://auai.org/

7.


ICAPS

International Conference on Automated P
lanning
and Scheduling

AAAI

http://icaps07.icaps
-
conference.org/

8.


ICCBR

International Conference on Case
-
Based
Reasoning

Springer

http://www.iccbr.org/

9.


COLING

International Conference on Computational
Linguistics

ACM

http://www.coling2008.org.uk/

10.


ALT

International Conference on Algorithmic
Learning Theory

Springer

http://www
-
alg.ist.hokudai.ac.jp/~thomas/ALT07/alt
07.jhtml

11.


ILP

International Conference on Inductive Logic
Progra
mming

Springer

http://oregonstate.edu/conferences/ilp2007/

12.


ICRA

IEEE International Conference on Robotics and
Automation

IEEE

http://www.icra07.org/

13.


CogSci

Cognitive Sc
ience Society Annual Conference

Psychology Press

http://www.cognitivesciencesociety.
org/cogsci.html

14.


IJCAR

International Joint Conference on Automated
Reasoning



15.


EMNLP

Conference on Empirical Methods in Natural
Language Processing

ACL

http://www.cs.jhu.edu/~yarowsky/SIGDAT/emnlp06.
html




B

-
软件工程

序号

会议简称

会议全称

出版社

网址

1.


PEPM

ACM SIGPLA
N Symposium on Partial
Evaluation and Semantics Based Programming
Manipulation

ACM SIGPLAN

http://www.cis.ksu.edu/santo
s/pepm06/

2.


PLDI

ACM

SIGPLAN Symp
osium

on Prog
ramming

Lang
uage

Design & Impl
ementa
tion

ACM

SIGPLAN

http://www.acm.org/sigs/sigplan/pldi.htm


3.


ICFP

Int
ernationa
l Conf on Function Pr
ogramming

ACM

http://www.cs.luc.edu/icfp/

4.


FM

Forma
l Methods, World Congress

FME

http://www.fmeurope.org/


5.


LICS

IEEE Symposium on Logic in Computer Science

IEEE

http://www2.informatik.hu
-
berlin.de/lics/


6.


ASE

International Conference on Automated Software
Engineering

IEEE/ACM

http://www.ase.org.uk/


7.


ECOOP

European Conf
erence

on Object
-
Oriented

Programming

AITO

http://ecoop.org/

8.


COLING

International Conference on Computational
Linguistics

ICCL

http://www.dcs.shef.ac.uk/research/ilash/iccl/

9.


MoDELS

International Conference on Model Driven
Engineering Languages and Systems

ACM
,
IEEE

http://www.umlconference.org/

10.


SAS

International Static Ana
lysis Symposium

Springer

http://www.sas.com/events/dmconf/m2005/

11.


RE

IEEE International Requirement Engineering
Conference

IEEE

http://sites.upc.edu/~www
-
gessi/re08/

12.


CONCUR

International Conferenc
e on Concurrency Theory

ACM SIGACT

http://www.cse.yorku.ca/concur08/

13.


ISSTA

International Symposium on Software Testing
ACM SIGSOFT

http://issta08.rutgers.edu/

and Analysis

14.


ICSM

International. Conference on Software
Maintenance

IEEE

http://www.icsm2008.
org/

15.


CC

International Conference on Compiler
Construction

Springer

http://www.sable.mcgill.ca/~hendren/CC2008/

16.


COMPSAC

International Computer Software and
Applications Conference

IEEE

http://conferences.computer.org/compsac/2008/

17.


ESEC

European Softwa
re Engineering Conference

ACM

http://www.idt.mdh.se/esec
-
fse
-
2007/

18.


ICSR

International Conference on Software Reuse

Springer

http:/
/www.icsrc.org/



B

-
数据库

序号

会议简称

会议全称

出版社

网址

16.


WWW

International World Wide Web Conferences

W3C

http://www.informatik.uni
-
trier.de/~ley/db/conf/www
/index.html

17.


PODS

ACM SIGMOD Conf
erence

on Prin
ciples of DB
Systems

ACM

http://www.informatik.uni
-
trier.de/~ley/db/conf/icde/

18.


EDBT

Int
ernationa
l Conf
erence

on Extending DB
Technology

Springer

L NCS

h t t p://w w w.e d b t.o r g/

19.


SIGIR

Int
ernationa
l Conf
erence

on Research and
Development in Information Retrieval

ACM

http://www.acm.org/sigir/

20.


ICDT

Int
ernationa
l Conf
erence

on Database Theory

Springer

http://alpha.uhasselt.be/~lucp1080/icdt/

21.


ICDM

IEEE In
ternational Conference on Data Mining

IEEE Computer
Society

http://www.cs.uvm.edu/~icdm/

22.


CIKM

ACM International Conference on Information and
Knowledge Management

ACM

http://w
ww.cikm.org/

23.


PKDD

European Conference on Principles and Practice of
Knowledge Discovery in Databases

Springer
-
Verlag
LNAI

http://www.ecmlpkdd2008.org/

24.


ER

International Conference on Conceptual Modeling

Lecture Notes in
Computer Science

http://www.er.byu.edu/

25.


SDM

SIAM International Conference on Data Mining

Society for
Industrial and
Applied
Mathematics

http://www.siam.org/



B

-
计算机图形学

序号

会议简称

会议全称

出版社

网址

1.


EG

EUROGRAPHICS

Computer Graphics
Forum,
Blackwell Ltd.

http://www.eg.org/

2.


PG

PACIFIC GRAPHICS

Computer Graphics
Forum,
Blackwell Ltd.

http://graphics.im.ntu.edu.tw/pg2006/

3.


ACM SPM

ACM Solid and Physic
al Modeling Symposium

ACM

http://graphics.im.ntu.edu.tw/pg2006/

4.


SGP

Eurographics Symposium on Geometry
Processing

Eurographics
, A K
Peters

http://
www.
geometryprocessing
.org/

5.


EGSR

Eurographics Symposium on
Rendering

Eurographics

http://www.cs.ucy.ac.cy/egsr2006/

6.


UIST

ACM Symposium on User Interface Software and
Technology

ACM

http://
www.acm.org/
uist
/

7.


SCA

ACM/Eurographics Symposium on Computer
Animation

ACM

h
ttp://graphics.cs.ucr.edu/sca/sca05.html

8.


EuroVis

Eurographics/IEEE
-
VGTC Symposium on
Visualization

ACM

http://bmia.bmt.tue.nl/EuroVis08/index.php

9.


ICME

IEEE International Conference on Multimedia &
Expo

IEEE

http://
www.icme
2008
.org/

10.


ICMI

Internationa
l Conference on Multimodal
I
nterface


ACM

http://icmi.cs.ucsb.edu/

B

-
网络
/
信息安全

序号

会议简称

会议全称

出版社

网址

1.


Security

U
SENIX

Security

Symposium

USENIX

http://www.usenix.org/events/

2.


NDSS

ISOC Network and Distributed System Security
Symposium

Internet Society

http://www.isoc.org/isoc/conferences/ndss/

3.


Eurocrypt

Annual International Conference on the Theory
and

Applications of Cryptographic Techniques

Springer

http://www.iacr.org/conferences/eurocrypt2009/

4.


IH

Workshop

on

Information

Hiding

Springer
-
Verlag

http://www.cl.cam.ac.uk/~rja14/ihws.html

5.


ESORICS

European

Symposium

on

Research

in

Computer

S
ecurity

Springer
-
Verlag

http://www.laas.fr/%7Eesorics/

6.


RAID

International Symposium on Recent Advances in
Intrusion Detection

Springer
-
Verlag

http://www.raid
-
symposium.org
/

7.


ACSAC

Annual Computer Security Applications
Conference

IEEE

http://www.acsac.org/

8.


DSN

The International Conference on Dep
endable
Systems and Networks

IEEE/IFIP

http://www.dsn.org/

9.


CSFW

IEEE

Computer

Security

Foundations

Workshop


http://www.ieee
-
security.org/CSFWweb/

10.


TCC

Theory of Cryptography Conference

Springer
-
Ver
lag

http://cs.nyu.edu/~tcc08/

11.


ASIACRYPT

Annual
International Conference on the Theory
and Application of Cryptology and Information
Security

Springer
-
Verlag

http://www.iacr.org/conferences/

12.


PKC

International Workshop on
Practice and Theory in
Public

Ke
y Cryptography

Springer
-
Verlag

http://www.iacr.org/workshops/pkc2008/