The 6th Balkan Conference in Informatics (BCI) 2013

Key Topics

• Theory of computation
  • Formal languages and automata theory
  • Models of computation
  • Logic
  • Computational complexity and cryptography
  • Randomness, geometry and discrete structures
  • Design and analysis of algorithms
  • Semantics and reasoning
• Software and its engineering
  • Software notations and tools
  • Software organization and properties
  • Software creation and management
• Information systems
  • Information storage systems
  • Data management systems
  • World Wide Web
  • Information systems applications
  • Information retrieval
• Mathematics of computing
  • Probability and statistics
  • Discrete mathematics
  • Information theory
  • Mathematical software
  • Continuous mathematics
  • Mathematical analysis
• Human-centered computing
  • Interaction design
  • Human computer interaction (HCI)
  • Ubiquitous and mobile computing
  • Collaborative and social computing
  • Accessibility
  • Visualization
• Security and privacy
  • Formal methods and theory of security
  • Cryptography
  • Intrusion/anomaly detection and malware mitigation
  • Security services
  • Systems security
  • Security in hardware
  • Database and storage security
  • Network security
  • Human and societal aspects of security and privacy
  • Software and application security
• Applied computing
  • Enterprise computing
  • Electronic commerce
  • Life and medical sciences
  • Physical sciences and engineering
  • Computer forensics
  • Law, social and behavioral sciences
  • Computers in other domains
  • Arts and humanities
  • Education
  • Operations research
  • Document management and text processing
• Computing methodologies
  • Parallel computing methodologies
  • Symbolic and algebraic manipulation
  • Machine learning
  • Artificial intelligence
  • Computer graphics
  • Modeling and simulation
  • Concurrent computing methodologies
  • Distributed computing methodologies
• Cloud computing
• Social and professional topics
  • Computing / technology policy
  • Professional topics
  • User characteristics