卿俊's profileShawn's SpacePhotosBlogLists Tools Help
Photo 1 of 5
January 23

Christmas Trip to Europe – German – Munich (THE END)

IMG_7231 IMG_7225
The mechanical bell The town hall in St. Mary's Square - the heart and soul of Munich

The people prayed for an end of the epidemic and really soon it came to an end. So in honor of patroness Maria, the square's name was changed to Marienplatz.

IMG_7222 IMG_7229
MM We walk from St. Mary's Square to National Museum

IMG_7235 IMG_7275
GG An elegant lady’s statue aside the street

IMG_7238 IMG_7243
a windmill a steam engine

IMG_7244 IMG_7249
Germany’s love for machinery V1 missile, which ever destroyed half of London

IMG_7266 IMG_7248
An old airborne fighter with double engines Air Bus

IMG_7254 IMG_7255
   

IMG_7259 IMG_7258
Cray, the super computer IBM, system 360

IMG_7263 IMG_7261
pottery porcelain

IMG_7268 IMG_7273
Return to hotel, and a Night view of Munich Mercedes Benz

IMG_7278 IMG_7277
Beer Hall in Munich Beer Hall in Munich

IMG_7279 IMG_7287
King’s lake GG on the bank of King’s lake

IMG_7310 IMG_7301
MM on the bank of King’s lake The sun is falling, and our journal is near its end.

IMG_7299  
Finally, it’s the end of our Christmas journey around Europe  

Christmas Trip to Europe – German – New Swan Castle

Start from Friedrichshafen

IMG_7099 IMG_7106
in a park in a park

New Swan Castle in Fussen

IMG_7110 IMG_7112
Arrive at Fussen Train Station Take the bus to the castle

IMG_7115 IMG_7124
The old castle Walk to the new castle

IMG_7127 IMG_7126
Half an hour’s walk Half an hour’s walk

IMG_7140  
A distant view of new swan castle  

IMG_7151 IMG_7142
MM Help another Chinese Tourist

IMG_7171 IMG_7166
阿May before the new swan castle 阿June before the new swan castle

IMG_7189 IMG_7199
Finally, arrive at the new swan castle Finally, arrive at the new swan castle

Christmas Trip to Europe – Switzerland – Zermatt

IMG_6974 IMG_6975
Start from Brig and take an early train with nobody except us. The weather is no good, aha  

IMG_6986 IMG_6987
People in Zermatt station  were prepared for ski  Arrive at Zermatt Riffealp (for beginners, ^-^)

IMG_6996 IMG_6992
my playing  Toboggan The train that brought us uphill

IMG_7000 IMG_6998
back to Zermatt town Our celebration of a perfect sliding down to Zermatt Riffealp

  IMG_7011
  a picture taken behind the train window

IMG_7025  
the town of Zermatt  

IMG_7034  
Tomorrow morning, we are to take the glacier express. A picture of Brig before our leaving.  

IMG_7063 IMG_7080
阿May On the glacier express 阿June On the glacier express
January 22

Christmas Trip to Europe – Switzerland – Rigi Mountain

IMG_6825 IMG_6826
A Female Demon in Luzern A Male Demon in Luzern

IMG_6835 IMG_6819
阿June in Luzern 阿May in Luzern

IMG_6852 IMG_6855
On the board On the board to Rigi Mountain

IMG_6843 IMG_6856
On the board to Rigi On the board to Rigi Mountain

IMG_6867 IMG_6866
On the board to Rigi On the board to Rigi Mountain

  IMG_6873
  On the mountain foot

  IMG_6877
  On the train to Rigi Staffel

IMG_6893 IMG_6891
Climb up to Rigi Kuml Get off the train at Staffel, and Climb up to Rigi Kuml

IMG_6907 IMG_6898
My Hit of the very Peak Finally, at Rigi Kuml

IMG_6922 IMG_6928
Play Toboggan Play Toboggan between Rigid Staffel and Rigi Kroterli

IMG_6951 IMG_6966
Puzzling Sign at Klosterli End of Our Trip to Rigi Mountain

Christmas Trip to Europe – Italy – Rome (3)

Vatican Museum

IMG_6718 IMG_6717
Egyptian Coffin Within Gregorian Egyptian Museum

IMG_6736 IMG_6735
Courtyard of the Pinecone Courtyard of the Pinecone

IMG_6750 IMG_6743
Gallery of the Statues Gallery of the Statues

IMG_6752 IMG_6758
Gallery of the Statues Gallery of the Statues

IMG_6759 IMG_6757
Gallery of the Statues Gallery of the Statues

IMG_6746 IMG_6748 IMG_6747
Gladiator Hero Perseus kills Gorgon Medusa Gladiator

IMG_6775 IMG_6774
   

IMG_6785 IMG_6787
Highly Decorated Ceilings Highly Decorated Ceilings

IMG_6793 IMG_6789
A piece of modern art A Painting, by Raphael ?

IMG_6791 IMG_6792
Rodin’s thinker by Van Gogh
January 20

Computer Science Department Conference Rankings

AREA: Artificial Intelligence and Related Subjects

  Rank 1:
       AAAI: American Association for AI National Conference
       CVPR: IEEE Conf on Comp Vision and Pattern Recognition
       IJCAI: Intl Joint Conf on AI
       ICCV: Intl Conf on Computer Vision
       ICML: Intl Conf on Machine Learning
       KDD: Knowledge Discovery and Data Mining
       KR:  Intl Conf on Principles of KR & Reasoning
       NIPS: Neural Information Processing Systems
       UAI: Conference on Uncertainty in AI
       AAMAS: Intl Conf on Autonomous Agents and Multi-Agent Systems (past: ICAA)
       ACL: Annual Meeting of the ACL (Association of Computational Linguistics)
  Rank 2:
       NAACL: North American Chapter of the ACL
       AID: Intl Conf on AI in Design
       AI-ED: World Conference on AI in Education
       CAIP: Inttl Conf on Comp. Analysis of Images and Patterns
       CSSAC: Cognitive Science Society Annual Conference
       ECCV: European Conference on Computer Vision
       EAI: European Conf on AI
       EML: European Conf on Machine Learning
       GECCO: Genetic and Evolutionary Computation Conference (used to be GP)
       IAAI: Innovative Applications in AI
       ICIP: Intl Conf on Image Processing
       ICNN/IJCNN: Intl (Joint) Conference on Neural Networks
       ICPR: Intl Conf on Pattern Recognition
       ICDAR: International Conference on Document Analysis and Recognition
       ICTAI: IEEE conference on Tools with AI
       AMAI:  Artificial Intelligence and Maths
       DAS: International Workshop on Document Analysis Systems
       WACV:  IEEE Workshop on Apps of Computer Vision
       COLING: International Conference on Computational Liguistics
       EMNLP: Empirical Methods in Natural Language Processing
       EACL: Annual Meeting of European Association Computational Lingustics
       CoNLL: Conference on Natural Language Learning
       DocEng: ACM Symposium on Document Engineering
       IEEE/WIC International Joint Conf on Web Intelligence and Intelligent Agent Technology
  Rank 3:
       PRICAI: Pacific Rim Intl Conf on AI
       AAI: Australian National Conf on AI
       ACCV: Asian Conference on Computer Vision
       AI*IA: Congress of the Italian Assoc for AI
       ANNIE: Artificial Neural Networks in Engineering
       ANZIIS: Australian/NZ Conf on Intelligent Inf. Systems
       CAIA: Conf on AI for Applications
       CAAI: Canadian Artificial Intelligence Conference
       ASADM: Chicago ASA Data Mining Conf: A Hard Look at DM
       EPIA:  Portuguese Conference on Artificial Intelligence
       FCKAML: French Conf on Know. Acquisition & Machine Learning
       ICANN: International Conf on Artificial Neural Networks
       ICCB: International Conference on Case-Based Reasoning
       ICGA: International Conference on Genetic Algorithms
       ICONIP: Intl Conf on Neural Information Processing
       IEA/AIE: Intl Conf on Ind. & Eng. Apps of AI & Expert Sys
       ICMS: International Conference on Multiagent Systems
       ICPS: International conference on Planning Systems
       PACES: Pacific Asian Conference on Expert Systems
       PAKDD: Pacific-Asia Conf on Know. Discovery & Data Mining
       PAKDDM: Practical App of Knowledge Discovery & Data Mining
       WCNN: The World Congress on Neural Networks
       WCES: World Congress on Expert Systems
       ASC: Intl Conf on AI and Soft Computing
       PACLIC: Pacific Asia Conference on Language, Information and Computation
       ICCC: International Conference on Chinese Computing
       ICADL: International Conference on Asian Digital Libraries
       RANLP: Recent Advances in Natural Language Processing
       NLPRS: Natural Language Pacific Rim Symposium
       Meta-Heuristics International Conference
  Un-ranked:
       ICRA: IEEE Intl Conf on Robotics and Automation
       NNSP: Neural Networks for Signal Processing
       ICASSP: IEEE Intl Conf on Acoustics, Speech and SP
       GCCCE: Global Chinese Conference on Computers in Education
       ICAI:  Intl Conf on Artificial Intelligence
       AEN: IASTED Intl Conf on AI, Exp Sys & Neural Networks
       WMSCI: World Multiconfs on Sys, Cybernetics & Informatics
       LREC: Language Resources and Evaluation Conference
       AIMSA: Artificial Intelligence: Methodology, Systems, Applications
       AISC: Artificial Intelligence and Symbolic Computation
       CIA: Cooperative Information Agents
       International Conference on Computational Intelligence for Modelling, Control and Automation
       Pattern Matching
       ECAL: European Conference on Artificial Life
       EKAW: Knowledge Acquisition, Modeling and Management
       EuroGP: European Conference on Genetic Programming
       FoIKS: Foundations of Information and Knowledge Systems
       IAWTIC: International Conference on Intelligent Agents, Web Technologies and Internet Commerce
       ICAIL: International Conference on Artificial Intelligence and Law
       SMIS: International Syposium on Methodologies for Intelligent Systems
       IS&N: Intelligence and Services in Networks
       JELIA: Logics in Artificial Intelligence
       KI: German Conference on Artificial Intelligence
       KRDB: Knowledge Representation Meets Databases
       MAAMAW: Modelling Autonomous Agents in a Multi-Agent World
       NC: ICSC Symposium on Neural Computation
       PKDD: Principles of Data Mining and Knowledge Discovery
       SBIA: Brazilian Symposium on Artificial Intelligence
       XPS: Knowledge-Based Systems
       I2CS: Innovative Internet Computing Systems
       ATAL: Agent Theories, Architectures, and Languages
       LACL: International Conference on Logical Aspects of Computational Linguistics

AREA: Hardware and Architecture


  Rank 1:
       ASPLOS: Architectural Support for Prog Lang and OS
       ISCA: ACM/IEEE Symp on Computer Architecture
       ICCAD: Intl Conf on Computer-Aided Design
       DAC: Design Automation Conf
       MICRO: Intl Symp on Microarchitecture
       HPCA: IEEE Symp on High-Perf Comp Architecture
  Rank 2:
       FCCM: IEEE Symposium on Field Programmable Custom Computing Machines
       SUPER: ACM/IEEE Supercomputing Conference
       ICS: Intl Conf on Supercomputing
       HCS: Hot Chips Symp
       VLSI: IEEE Symp VLSI Circuits
       CODES+ISSS: Intl Conf on Hardware/Software Codesign & System Synthesis
       DATE: IEEE/ACM Design, Automation & Test in Europe Conference
       FPL: Field-Programmable Logic and Applications
       CASES: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems
  Rank 3:
       ICA3PP:  Algs and Archs for Parall Proc
       EuroMICRO: New Frontiers of Information Technology
       ACS: Australian Supercomputing Conf
       ISC: Information Security Conference
  Unranked:
       Advanced Research in VLSI
       International Symposium on System Synthesis
       International Symposium on Computer Design
       International Symposium on Circuits and Systems
       Asia Pacific Design Automation Conference
       International Symposium on Physical Design
       International Conference on VLSI Design
       CANPC: Communication, Architecture, and Applications for Network-Based Parallel Computing
       CHARME: Conference on Correct Hardware Design and Verification Methods
       CHES: Cryptographic Hardware and Embedded Systems
       NDSS: Network and Distributed System Security Symposium
       NOSA: Nordic Symposium on Software Architecture
       ACAC: Australasian Computer Architecture Conference
       CSCC: WSES/IEEE world multiconference on Circuits, Systems, Communications & Computers
       ICN: IEEE International Conference on Networking Topology in Computer Science Conference

AREA: Applications and Media


  Rank 1:
       I3DG: ACM-SIGRAPH Interactive 3D Graphics
       SIGGRAPH: ACM SIGGRAPH Conference
       ACM-MM: ACM Multimedia Conference
       DCC: Data Compression Conf
       SIGMETRICS: ACM Conf on Meas. & Modelling of Comp Sys
       SIGIR: ACM SIGIR Conf on Information Retrieval
       PECCS: IFIP Intl Conf on Perf Eval of Comp \& Comm Sys
       WWW: World-Wide Web Conference(may)
  Rank 2:
       IEEE Visualization
       EUROGRAPH: European Graphics Conference
       CGI: Computer Graphics International
       CANIM: Computer Animation
       PG: Pacific Graphics
       ICME: Intl Conf on MMedia & Expo(July)
       NOSSDAV: Network and OS Support for Digital A/V
       PADS: ACM/IEEE/SCS Workshop on Parallel \& Dist Simulation
       WSC: Winter Simulation Conference
       ASS: IEEE Annual Simulation Symposium
       MASCOTS: Symp Model Analysis \& Sim of Comp \& Telecom Sys
       PT: Perf Tools - Intl Conf on Model Tech \& Tools for CPE
       NetStore: Network Storage Symposium
       MMCN: ACM/SPIE Multimedia Computing and Networking
       JCDL: Joint Conference on Digital Libraries
       ICWE: International Conference on Web Engineering(July)
       European Conference on Digital Libraries (ECDL)(September)
  Rank 3:
       ACM-HPC: ACM Hypertext Conf (August)
       MMM: Multimedia Modelling(January)
       DSS: Distributed Simulation Symposium
       SCSC: Summer Computer Simulation Conference
       WCSS: World Congress on Systems Simulation
       ESS: European Simulation Symposium
       HPCN:  High-Performance Computing and Networking
       Geometry Modeling and Processing
       WISE
       DS-RT:  Distributed Simulation and Real-time Applications
       IEEE Intl Wshop on Dist Int Simul  and Real-Time Applications
       ECIR: European Colloquium on Information Retrieval
       Ed-Media
       IMSA: Intl Conf on Internet and MMedia Sys
  Un-ranked:
       WikiSym: International Symposium on Wikis (October)
       DVAT: IS\&T/SPIE Conf on Dig Video Compression Alg \& Tech
       MME: IEEE Intl Conf. on Multimedia in Education
       ICMSO: Intl Conf on Modelling, Simulation and Optimisation
       COTIM: Conference on Telecommunications and Information Markets
       DOA: International Symposium on Distributed Objects and Applications
       ECMAST: European Conference on Multimedia Applications, Services and Techniques
       GIS: Workshop on Advances in Geographic Information Systems
       IDMS: Interactive Distributed Multimedia Systems and Telecommunication Services
       IUI: Intelligent User Interfaces
       MIS: Workshop on Multimedia Information Systems
       WECWIS: Workshop on Advanced Issues of E-Commerce and Web/based Information Systems
       WIDM: Web Information and Data Management
       WOWMOM: Workshop on Wireless Mobile Multimedia
       WSCG: International Conference in Central Europe on Computer Graphics and Visualization
       LDTA: Workshop on Language Descriptions, Tools and Applications
       IPDPSWPIM: International Workshop on Parallel and Distributed Computing Issues in Wireless Networks and Mobile Computing
       IWST: International Workshop on Scheduling and Telecommunications
       APDCM: Workshop on Advances in Parallel and Distributed Computational Models
       CIMA: International ICSC Congress on Computational Intelligence: Methods and Applications
       FLA: Fuzzy Logic and Applications Meeting
       ICACSD: International Conference on Application of Concurrency to System Design
       ICATPN: International conference on application and theory of Petri nets
       AICCSA: ACS International Conference on Computer Systems and Applications
       CAGD: International Symposium of Computer Aided Geometric Design
       International Workshop on Cluster Infrastructure for Web Server and E-Commerce Applications
       WSES ISA: Information Science And Applications Conference
       CHT: International Symposium on Advances in Computational Heat Transfer
       IMACS: International Conference on Applications of Computer Algebra
       VIPromCom: International Symposium on Video Processing and Multimedia Communications
       PDMPR: International Workshop on Parallel and Distributed Multimedia Processing & Retrieval
       PDCAT: International Conference on Parallel and Distributed Computing, Applications, and Techniques
       Biennial Computational Techniques and Applications Conference
       WCCE: World Conference on Computers in Education
       Conference on Commercial Applications for High-Performance Computing
       MSA: Metacomputing Systems and Applications Workshop
       WPMC : International Symposium on Wireless Personal Multimedia Communications
       WSC: Online World Conference on Soft Computing in Industrial Applications
       PARA: Workshop on Applied Parallel Computing
       IW-MMDBMS - Int. Workshop on Multi-Media Data Base Management Systems

AREA: System Technology


  Rank 1:
       SIGCOMM: ACM Conf on Comm Architectures, Protocols & Apps
       INFOCOM: Annual Joint Conf IEEE Comp & Comm Soc
       SPAA: Symp on Parallel Algms and Architecture
       PODC: ACM Symp on Principles of Distributed Computing
       PPoPP: Principles and Practice of Parallel Programming
       RTSS: Real Time Systems Symp
       SOSP: ACM SIGOPS Symp on OS Principles
       SOSDI: Usenix Symp on OS Design and Implementation  
       CCS: ACM Conf on Comp and Communications Security
       IEEE Symposium on Security and Privacy
       MOBICOM: ACM Intl Conf on Mobile Computing and Networking
       ICNP: Intl Conf on Network Protocols
       PACT: Intl Conf on Parallel Arch and Compil Tech
       RTAS: IEEE Real-Time and Embedded Technology and Applications Symposium
       ICDCS: IEEE Intl Conf on Distributed Comp Systems
  Rank 2:
       CC:  Compiler Construction
       IPDPS: Intl Parallel and Dist Processing Symp
       IC3N: Intl Conf on Comp Comm and Networks
       ICPP: Intl Conf on Parallel Processing
       SRDS: Symp on Reliable Distributed Systems
       ASAP: Intl Conf on Apps for Specific Array Processors
       Euro-Par: European Conf. on Parallel Computing
       Fast Software Encryption
       Usenix Security Symposium
       European Symposium on Research in Computer Security
       WCW:  Web Caching Workshop
       LCN: IEEE Annual Conference on Local Computer Networks
       IPCCC: IEEE Intl Phoenix Conf on Comp & Communications
       CCC:  Cluster Computing Conference
       ICC:  Intl Conf on Comm
       WCNC: IEEE Wireless Communications and Networking Conference
       CSFW: IEEE Computer Security Foundations Workshop
  Rank 3:
       MPCS: Intl. Conf. on Massively Parallel Computing Systems
       GLOBECOM: Global Comm
       ICCC: Intl Conf on Comp Communication
       NOMS: IEEE Network Operations and Management Symp
       CONPAR: Intl Conf on Vector and Parallel Processing
       VAPP: Vector and Parallel Processing
       ICPADS: Intl Conf. on Parallel and Distributed Systems
       Public Key Cryptosystems
       Annual Workshop on Selected Areas in Cryptography
       Australasia Conference on Information Security and Privacy
       Int. Conf on Inform and Comm. Security
       Workshop on Information Hiding
       Smart Card Research and Advanced Application Conference
       ICON: Intl Conf on Networks
       NCC: Nat Conf Comm
       IN: IEEE Intell Network Workshop
       Softcomm: Conf on Software in Tcomms and Comp Networks
       INET:  Internet Society Conf
       Workshop on Security and Privacy in E-commerce
  Un-ranked:
       PARCO: Parallel Computing
       SE: Intl Conf on Systems Engineering
       PDSECA: workshop on Parallel and Distributed Scientific and Engineering Computing with Applications
       CACS: Computer Audit, Control and Security Conference
       SREIS: Symposium on Requirements Engineering for Information Security
       SAFECOMP: International Conference on Computer Safety, Reliability and Security
       IREJVM: Workshop on Intermediate Representation Engineering for the Java Virtual Machine
       EC: ACM Conference on Electronic Commerce
       EWSPT: European Workshop on Software Process Technology
       HotOS: Workshop on Hot Topics in Operating Systems
       HPTS: High Performance Transaction Systems Hybrid Systems
       ICEIS: International Conference on Enterprise Information Systems
       IOPADS: I/O in Parallel and Distributed Systems
       IRREGULAR: Workshop on Parallel Algorithms for Irregularly Structured Problems
       LCR: Languages, Compilers, and Run-Time Systems for Scalable Computers
       MCS: Multiple Classifier Systems
       MSS: Symposium on Mass Storage Systems
       NGITS: Next Generation Information Technologies and Systems
       OOIS: Object Oriented Information Systems
       SCM: System Configuration Management
       Security Protocols Workshop
       SIGOPS European Workshop
       SPDP: Symposium on Parallel and Distributed Processing
       TreDS: Trends in Distributed Systems
       VISUAL: Visual Information and Information Systems
       FoDS: Foundations of Distributed Systems: Design and Verification of Protocols conference
       RV: Post-CAV Workshop on Runtime Verification
       ICAIS: International ICSC-NAISO Congress on Autonomous Intelligent Systems
       ITiCSE: Conference on Integrating Technology into Computer Science Education
       CSCS: CyberSystems and Computer Science Conference
       AUIC: Australasian User Interface Conference
       European Conference on Parallel Processing
       RODLICS: Wses International Conference on Robotics, Distance Learning & Intelligent Communication Systems
       International Conference On Multimedia, Internet & Video Technologies
       PaCT: Parallel Computing Technologies workshop
       PPAM: International Conference on Parallel Processing and Applied Mathematics
       International Conference On Information Networks, Systems And Technologies
       DSN: The International Conference on Dependable Systems and Networks
       GTVMT: International Workshop on Graph Transformation and Visual Modeling Techniques

AREA: Programming Languages and Software Engineering


  Rank 1:
       POPL: ACM-SIGACT Symp on Principles of Prog Langs
       PLDI: ACM-SIGPLAN Symp on Prog Lang Design & Impl
       OOPSLA: OO Prog Systems, Langs and Applications
       ICFP: Intl Conf on Function Programming
       JICSLP/ICLP/ILPS: (Joint) Intl Conf/Symp on Logic Prog
       ICSE: Intl Conf on Software Engineering
       FSE:  ACM Conf on the Foundations of Software Engineering (inc: ESEC-FSE)
       FM/FME:  Formal Methods, World Congress/Europe
       CAV: Computer Aided Verification
  Rank 2:
       CP: Intl Conf on Principles & Practice of Constraint Prog
       TACAS:  Tools and Algos for the Const and An of Systems
       ESOP: European Conf on Programming
       ICCL: IEEE Intl Conf on Computer Languages
       PEPM: Symp on Partial Evalutation and Prog Manipulation
       SAS: Static Analysis Symposium
       RTA: Rewriting Techniques and Applications
       CAiSE: Intl Conf on Advanced Info System Engineering
       SEKE: Intl Conf on S/E and Knowledge Engineering
       ICSR: IEEE Intl Conf on Software Reuse
       ASE: Automated Software Engineering Conference
       PADL:  Practical Aspects of Declarative Languages
       ISRE:  Requirements Engineering
       ICECCS: IEEE Intl Conf on Eng. of Complex Computer Systems
       IEEE Intl Conf on Formal Engineering Methods
       Intl Conf on Integrated Formal Methods
       FOSSACS:  Foundations of Software Science and Comp Struct
       APLAS: Asian Symposium on Programming Languages and Systems
       MPC: Mathematics of Program Construction
       ECOOP: European Conference on Object-Oriented Programming
       ICSM: Intl. Conf on Software Maintenance
       HASKELL - Haskell Workshop
       WCRE: SIGSOFT Working Conf on Reverse Engineering
       PPDP: Principles and Practice of Declarative Programming
       GCSE: International Conference on Generative and Component-Based Software Engineering
  Rank 3:
       FASE: Fund Appr to Soft Eng
       APSEC: Asia-Pacific S/E Conf
       PAP/PACT: Practical Aspects of PROLOG/Constraint Tech
       ALP: Intl Conf on Algebraic and Logic Programming
       PLILP: Prog, Lang Implentation & Logic Programming
       LOPSTR: Intl Workshop on Logic Prog Synthesis & Transf
       ICCC: Intl Conf on Compiler Construction
       COMPSAC: Intl. Computer S/W and Applications Conf
       TAPSOFT: Intl Joint Conf on Theory & Pract of S/W Dev
       Intl Conf of Z Users
       IFIP Joint Int'l Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification
       UML: International Conference on the Unified Modeling Language
  Un-ranked:
       Australian Software Engineering Conference
       IEEE International Symposium on High Assurance Systems Engineering
       The Northern Formal Methods Workshops
       Int. Workshop on Formal Methods for Industrial Critical Systems
       JFPLC - International French Speaking Conference on Logic and Constraint Programming
       L&L - Workshop on Logic and Learning
       LCCS - International Workshop on Logic and Complexity in Computer Science
       VLFM - Visual Languages and Formal Methods
       NASA LaRC Formal Methods Workshop
       PASTE: Workshop on Program Analysis For Software Tools and Engineering
       TLCA: Typed Lambda Calculus and Applications
       Workshop On Java For High-Performance Computing
       DSLSE - Domain-Specific Languages for Software Engineering
       FTJP - Workshop on Formal Techniques for Java Programs
       WFLP - International Workshop on Functional and (Constraint) Logic Programming
       FOOL - International Workshop on Foundations of Object-Oriented Languages
       HLPP - International workshop on High-level parallel programming and applications
       INAP - International Conference on Applications of Prolog
       MPOOL - Workshop on Multiparadigm Programming with OO Languages
       PADO - Symposium on Programs as Data Objects
       Australasian Conference on Parallel And Real-Time Systems
       PASTE: Workshop on Program Analysis For Software Tools and Engineering
       AvoCS: Workshop on Automated Verification of Critical Systems
       SPIN: Workshop on Model Checking of Software
       FemSys: Workshop on Formal Design of Safety Critical Embedded Systems
       APL Conference
       ASM: Workshops on Abstract State Machines
       COORDINATION: Coordination Models and Languages
       DocEng: ACM Symposium on Document Engineering
       DSV-IS: Design, Specification, and Verification of Interactive Systems
       FMCAD: Formal Methods in Computer-Aided Design
       FMLDO: Workshop on Foundations of Models and Languages for Data and Objects
       IFL: Implementation of Functional Languages
       ILP: International Workshop on Inductive Logic Programming
       ISSTA: International Symposium on Software Testing and Analysis
       ITC: International Test Conference
       IWFM: Irish Workshop in Formal Methods
       LP: Logic Programming: Japanese Conference
       LPAR: Logic Programming and Automated Reasoning
       LPE: Workshop on Logic Programming Environments
       LPNMR: Logic Programming and Non-monotonic Reasoning
       PJW: Workshop on Persistence and Java
       RCLP: Russian Conference on Logic Programming
       STEP: Software Technology and Engineering Practice
       TestCom: IFIP International Conference on Testing of Communicating Systems
       VL: Visual Languages
       WRS: International Workshop on Reduction Strategies in Rewriting and Programming
       DRE: conference Data Reverse Engineering
       STAREAST: Software Testing Analysis & Review Conference
       Conference on Applied Mathematics and Scientific Computing
       International Testing Computer Software Conference
       Linux Showcase & Conference
       FLOPS: International Symposum on Functional and Logic Programming
       JOSES: Java Optimization Strategies for Embedded Systems
       AADEBUG: Automated and Algorithmic Debugging
       AMAST: Algebraic Methodology and Software Technology

AREA: Algorithms and Theory


  Rank 1:
       STOC: ACM Symp on Theory of Computing
       FOCS: IEEE Symp on Foundations of Computer Science
       COLT: Computational Learning Theory
       LICS: IEEE Symp on Logic in Computer Science
       SCG: ACM Symp on Computational Geometry
       SODA: ACM/SIAM Symp on Discrete Algorithms
       ISSAC: Intl. Symp on Symbolic and Algebraic Computation
       CRYPTO: Advances in Cryptology
  Rank 2:
       EUROCRYPT: European Conf on Cryptography
       CONCUR: International Conference on Concurrency Theory
       ICALP: Intl Colloquium on Automata, Languages and Prog
       STACS: Symp on Theoretical Aspects of Computer Science
       CC: IEEE Symp on Computational Complexity
       WADS: Workshop on Algorithms and Data Structures
       MFCS: Mathematical Foundations of Computer Science
       SWAT: Scandinavian Workshop on Algorithm Theory
       ESA: European Symp on Algorithms
       IPCO: MPS Conf on integer programming & comb optimization
       LFCS: Logical Foundations of Computer Science
       ALT: Algorithmic Learning Theory
       EUROCOLT: European Conf on Learning Theory
       DSIC: Int'l Symp om Distributed Computing (formally WDAG: Workshop on Distributed Algorithms)
       ISTCS: Israel Symp on Theory of Computing and Systems
       ISAAC: Intl Symp on Algorithms and Computation
       FST&TCS: Foundations of S/W Tech & Theoretical CS
       LATIN: Intl Symp on Latin American Theoretical Informatics
       CADE: Conf on Automated Deduction
       IEEEIT: IEEE Symposium on Information Theory
       Asiacrypt
  Rank 3:
       MEGA: Methods Effectives en Geometrie Algebrique
       ASIAN: Asian Computing Science Conf
       CCCG: Canadian Conf on Computational Geometry
       FCT: Fundamentals of Computation Theory
       WG: Workshop on Graph Theory
       ICCI: Advances in Computing and Information
       AWTI: Argentine Workshop on Theoretical Informatics
       CATS: The Australian Theory Symp
       COCOON: Annual Intl Computing and Combinatorics Conf
       UMC: Unconventional Models of Computation
       MCU: Universal Machines and Computations
       GD: Graph Drawing
       SIROCCO: Structural Info & Communication Complexity
       ALEX: Algorithms and Experiments
       ALG: ENGG  Workshop on Algorithm Engineering
       LPMA: Intl Workshop on Logic Programming and Multi-Agents
       EWLR: European Workshop on Learning Robots
       FTP: Intl Workshop on First-Order Theorem Proving (FTP)
       CSL: Annual Conf on Computer Science Logic (CSL)
       AAAAECC: Conf On Applied Algebra, Algebraic Algms & ECC
       DMTCS: Intl Conf on Disc Math and TCS
       JCDCG: Japan Conference on Discrete and Computational Geometry
  Un-ranked:
       Information Theory Workshop
       COSIT: Spatial Information Theory
       ICCS: International Conference on Conceptual Structures
       ICISC: Information Security and Cryptology
       PPSN: Parallel Problem Solving from Nature
       SOFSEM: Conference on Current Trends in Theory and Practice of Informatics
       TPHOLs: Theorem Proving in Higher Order Logics
       WADT: Workshop on Algebraic Development Techniques
       TERM: THEMATIC TERM: Semigroups, Algorithms, Automata and Languages
       IMGTA: Italian Meeting on Game Theory and Applications
       International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications
       APPROX: Internationl Workshop on Approximation Algorithms for Combinatorial Optimization Problems
       WAE: Workshop on Algorithm Engineering
       CMFT: Computational Methods and Function Theory
       AWOCA: Australasian Workshop on Combinatorial Algorithms
       ICTCS: Italian Conference on Theoretical Computer Science
       ComMaC: International Conference On Computational Mathematics
       TLCA: Typed Lambda Calculus and Applications
       DCAGRS: Workshop on Descriptional Complexity of Automata, Grammars and Related Structures

AREA: Data Bases


  Rank 1:
       SIGMOD: ACM SIGMOD Conf on Management of Data
       PODS: ACM SIGMOD Conf on Principles of DB Systems
       VLDB: Very Large Data Bases
       ICDE: Intl Conf on Data Engineering
       ICDT: Intl Conf on Database Theory
  Rank 2:
       SSD: Intl Symp on Large Spatial Databases
       DEXA: Database and Expert System Applications
       FODO: Intl Conf on Foundation on Data Organization
       EDBT: Extending DB Technology
       DOOD: Deductive and Object-Oriented Databases
       DASFAA: Database Systems for Advanced Applications
       CIKM: Intl. Conf on Information and Knowledge Management
       SSDBM: Intl Conf on Scientific and Statistical DB Mgmt
       CoopIS - Conference on Cooperative Information Systems
       ER - Intl Conf on Conceptual Modeling (ER)
  Rank 3:
       COMAD: Intl Conf on Management of Data
       BNCOD: British National Conference on Databases
       ADC: Australasian Database Conference
       ADBIS: Symposium on Advances in DB and Information Systems
       DaWaK - Data Warehousing and Knowledge Discovery
       RIDE Workshop
       IFIP-DS: IFIP-DS Conference
       IFIP-DBSEC - IFIP Workshop on Database Security
       NGDB: Intl Symp on Next Generation DB Systems and Apps
       ADTI: Intl Symp on Advanced DB Technologies and Integration
       FEWFDB: Far East Workshop on Future DB Systems
       MDM - Int. Conf. on Mobile Data Access/Management (MDA/MDM)
       ICDM - IEEE International Conference on Data Mining
       VDB - Visual Database Systems
       IDEAS - International Database Engineering and Application Symposium
  Un-ranked:
       ARTDB - Active and Real-Time Database Systems
       CODAS: Intl Symp on Cooperative DB Systems for Adv Apps
       DBPL - Workshop on Database Programming Languages
       KRDB - Knowledge Representation Meets Databases
       NLDB - Applications of Natural Language to Data Bases
       FQAS - Flexible Query-Answering Systems
       IDC(W) - International Database Conference (HK CS)
       RTDB - Workshop on Real-Time Databases
       SBBD: Brazilian Symposium on Databases
       WebDB - International Workshop on the Web and Databases
       WAIM: Interational Conference on Web Age Information Management
       DASWIS - Data Semantics in Web Information Systems
       DMDW - Design and Management of Data Warehouses
       DOLAP - International Workshop on Data Warehousing and OLAP
       DMKD - Workshop on Research Issues in Data Mining and Knowledge Discovery
       KDEX - Knowledge and Data Engineering Exchange Workshop
       NRDM - Workshop on Network-Related Data Management
       MobiDE - Workshop on Data Engineering for Wireless and Mobile Access
       MDDS - Mobility in Databases and Distributed Systems
       MEWS - Mining for Enhanced Web Search
       TAKMA - Theory and Applications of Knowledge MAnagement
       WIDM: International Workshop on Web Information and Data Management
       W2GIS - International Workshop on Web and Wireless Geographical Information Systems
       CDB - Constraint Databases and Applications
       DTVE  - Workshop on Database Technology for Virtual Enterprises
       IWDOM - International Workshop on Distributed Object Management
       OODBS - Workshop on Object-Oriented Database Systems

AREA: BioMedical


  Rank 1:
       RECOMB: Annual Intl Conf on Comp Molecular Biology
       ISMB: Intelligent Systems for Molecular Biology
  Rank 2:
       AMIA: American Medical Informatics Annual Fall Symposium
       DNA: Meeting on DNA Based Computers
       WABI: Workshop on Algorithms in Bioinformatics
  Rank 3:
       MEDINFO: World Congress on Medical Informatics
       International Conference on Sequences and their Applications
       ECAIM: European Conf on AI in Medicine
       APAMI: Asia Pacific Assoc for Medical Informatics Conf
       INBS: IEEE Intl Symp on Intell. in Neural \& Bio Systems
       CITB: Complexity & info-theoretic approaches to biology
  Unranked:
       MCBC: Wses conf on Mathematics And Computers In Biology And Chemistry
       KDDMBD - Knowledge Discovery and Data Mining in Biological Databases

AREA: Miscellaneous


  Rank 1:
  Rank 2:
       CSCW: Conference on Computer Supported Cooperative Work (*)
  Rank 3:
       SAC: ACM/SIGAPP Symposium on Applied Computing
       ICSC: Intl Computer Science Conference
       ISCIS: Intl Symp on Computer and Information Sciences
       ICSC2: International Computer Symposium Conference
       ICCE:  Intl Conf on Comps in Edu
       WCC:  World Computing Congress
       PATAT:  Practice and Theory of Automated Timetabling
  Un-ranked:
       ICCI: International Conference on Cognitive Informatics
       APISIT: Asia Pacific International Symposium on Information Technology
       CW: The International Conference on Cyberworlds
       Workshop on Open Hypermedia Systems
       Workshop on Middleware for Mobile Computing
       International Working Conference on Distributed Applications and Interoperable Systems
       ADL: Advances in Digital Libraries
       AVI: Working Conference on Advanced Visual Interfaces
       DL: Digital Libraries
       DLog: Description Logics
       ECDL: European Conference on Digital Libraries
       EDCC: European Dependable Computing Conference
       FroCos: Frontiers of Combining Systems
       FTCS: Symposium on Fault-Tolerant Computing
       IFIP World Computer Congress
       INTEROP: Interoperating Geographic Information Systems
       IUC: International Unicode Conference
       IWMM: International Workshop on Memory Management
       MD: IEEE Meta-Data Conference
       Middleware
       MLDM: Machine Learning and Data Mining in Pattern Recognition
       POS: Workshop on Persistent Object Systems
       SPIRE: String Processing and Information Retrieval
       TABLEAUX: Analytic Tableaux and Related Methods
       TIME Workshops
       TREC: Text REtrieval Conference
       UIDIS: User Interfaces to Data Intensive Systems
       VRML Conference
       AFIPS: American Federation of Information Processing Societies
       ACSC: Australasian Computer Science Conference
       CMCS: Coalgebraic Methods in Computer Science
       BCTCS: British Colloquium for Theoretical Computer Science
       IJCAR: The International Joint Conference on Automated Reasoning
       STRATEGIES: International Workshop on Strategies in Automated Deduction
       SOCO: Meeting on Soft Computing
       ConCoord: International Workshop on Concurrency and Coordination
       CIAA: International Conference on Implementation and Application of Automata
       Workshop on Information Stucture, Discourse Structure and Discourse Semantics
       RANDOM: International Workshop on Randomization and Approximation Techniques in Computer Science
       WMC: Workshop on Membrane Computing
       FI-CS: Fixed Points in Computer Science
       Workshop on Novel Approaches to Hard Discrete Optimization
       NALAC: Numerical Analysis, Linear Algebra And Computations Conference
       ICLSSC: International Conference on Large-Scale Scientific Computations
       ECCM: European Conference On Computational Mechanics
       JCIS: Joint Conference on Information Sciences
       CHP: Compilers for High Performance conference
       SIAM Conference on Geometric Design and Computing
Not Encouraged (due to dubious referee process):
       International Multiconferences in Computer Science -- 14 joint int'l confs.
       SCI: World Multi confs on systemics, sybernetics and informatics
       SSGRR: International conf on Advances in Infrastructure for e-B, e-Edu and e-Science and e-Medicine
       SSCCII: Symposium of Santa Caterina on Challenges in Internet and Interdisciplinary research
       IASTED conferences
       CCCT: International Conference on Computer, Communication and Control Technologies

January 17

Christmas Trip to Europe – Italy – Rome (2)

National Museum of Rome

IMG_6612 IMG_6617
Socrate The Three Goddess

IMG_6614 IMG_6625
Venus Unknown

IMG_6627 IMG_6633
Apollo Defeat of Barbarian

IMG_6620 IMG_6635
Athlete 罗马晚期 - 惊恐的统治者,提防着随时可能的刺杀

IMG_6640 IMG_6651
Mosaic Mosaic