logo
programming languages

Conference Results (12)

International Conference on Internet Technologies and Applications (ITA)

Rank: National: USAHybrid
Sydney, Australia
Jun 20, 2026 - Jun 22, 2026
Artificial IntelligenceMachine LearningData Mining+111 more

Logic Programming and Automated Reasoning (LPAR)

Rank: BOffline
Balaclava, Mauritius
May 26, 2024 - May 31, 2024
automated reasoningcomputational logicprogramming languages+1 more

USENIX Workshop on Hot Topics in Operating Systems (HotOS)

Rank: AOffline
Bertinoro, Italy
May 12, 2019 - May 15, 2019
operating systemsstoragedistributed systems+13 more

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BUnknown
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Formal MethodsSoftware EngineeringSoftware Development Methods+49 more

International Conference on Parallel Architecture and Compilation Techniques (PACT)

Rank: BOffline
Chicago, Illinois, United States
Oct 19, 2026 - Oct 22, 2026
softwarecompilersexecution environments+5 more

International Joint Conference on Automated Reasoning (IJCAR)

Rank: AOffline
Lisbon, Portugal
Jul 26, 2026 - Jul 29, 2026
Artificial IntelligenceDistributed ComputingDatabase Systems+7 more

Euromicro Conference on Real-Time Systems (ECRTS)

Rank: BOffline
Lund, Sweden
Jul 7, 2026 - Jul 10, 2026
operating systemshypervisorsprogramming languages+7 more

European Conference on Object-Oriented Programming (ECOOP)

Rank: AOffline
Brussels, Belgium
Jun 29, 2026 - Jul 3, 2026
programming languagessoftware developmentsystems+1 more

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Rank: A*Offline
Boulder, Colorado, United States
Jun 15, 2026
designimplementationtheory+4 more

ACM International Conference on Supercomputing (ICS)

Rank: AOffline
Salt Lake City, United States
Jun 8, 2025 - Jun 11, 2025
Processoracceleratormemory+19 more

Applied Computing Conference (ACC)

Rank: COffline
Porto
Nov 1, 2025 - Nov 3, 2025
eCommerceePaymenteLearning+41 more

The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)

Rank: COffline
Amsterdam, Netherlands
Nov 19, 2026 - Nov 20, 2026
Abstraction techniquesAssessment for real-time systemsAI & Formal methods+44 more