» IRC search  details

Chat Rooms Logic

Search chat rooms within the Internet Relay Chat! – Chat rooms on IRC are usually called channels. Use this IRC search engine to search in channel names and topics of around 500 IRC networks! Find interesting chat rooms and chat with people that share your interests!

 Related queries: computer science (21)   aviation (6)   analytics (3)   geology (2)   ecology (3)  


Searched for Logic chat rooms. 24 matching entries found.  Displaying 1-10...


##logic freenode

85 users – 102 minutes ago – Symbolic and Mathematical Logic -- http:/​/​en.​wikipedia.​org/​wiki/​Symbolic_​logic -- http:/​/​en.​wikipedia.​org/​wiki/​Mathematical_​logic -- Share,​ http:/​/​www.​reddit.​com/​r/​logic/​ -- Paste,​ http:/​/​mathbin.​net
chat category: Logicnetwork: freenode  –  irc2go: ##logic

##logic-offtopic freenode

3 users – 102 minutes ago – Off-topic discussion for ##logic
chat category: Logicnetwork: freenode  –  irc2go: ##logic-offtopic

##computerscience freenode

44 users – 102 minutes ago – Welcome to ##ComputerScience,​ the channel where you can discuss semantics,​ type systems,​ parallelism,​ complexity theory,​ quantum computing,​ cryptography,​ data structures,​ algorithmics,​ logic,​ AI,​ machine learning,​ operations research,​ data compression and even hardware design.​ |​ Ask your questions clearly,​ please.​ |​ Math questions? Try #math |​ Linux question? Try ##linux
chat category: Computer Sciencenetwork: freenode  –  irc2go: ##computerscience

##smt freenode

3 users – 102 minutes ago – In computer science,​ the Satisfiability Modulo Theories (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first-order logic with equality.​ |​ http:/​/​en.​wikipedia.​org/​wiki/​Satisfiability_​Modulo_​Theories |​ All talk about SMT or any other automated reasoning procedures on interesting theories is welcome!
network: freenode  –  irc2go: ##smt

##science freenode

178 users – 102 minutes ago – Welcome to the science channel! |​ Rules: https:/​/​is.​gd/​dD2F3B |​ Topics that are welcome: astronomy/​biology/​chemistry/​computers/​ecology/​engineering/​geology/​logic/​mathematics/​physics plus some social sciences |​ Please visit our sister channels,​ ##alerts ##news ##weather
chat category: Sciencenetwork: freenode  –  irc2go: ##science

#mela Azzurra

17 users – 99 minutes ago – …escono MacUser dalle fottute pareti!!!  iOS 11  High Sierra 10.​13  logic X 10.​3   ATTENZIONE #MELA SI AUTODISTRUGGERÀ ALLE 17:30 AVETE X MINUTI PER RAGGIUNGERE LA DISTANZA MINIMA DI SICUREZZA [ https:/​/​goo.​gl/​z7iaiy ] - High sierra bug,​ AGGIORNATE -> https:/​/​lpl.​ovh/​u6rJ1
network: Azzurra  –  irc2go: #mela

#writescribbles Rizon

3 users – 102 minutes ago – Welcome to the unofficial 4chan writing channel |​ Questrunners,​ make yourselves known to the administration|​ the double logic of the double devil |​ You are expected not to spoil things for others.​ Bans will be dispensed for the immature|​ http:/​/​steamcommunity.​com/​groups/​Writescribblers
network: Rizon  –  irc2go: #writescribbles

#AutoNomic freenode

20 users – 102 minutes ago – Home of the AutoNomic block-chain project |​ Please ask anything |​ Wiki: 167.​88.​171.​233/​AutoNomic |​ Log: 167.​88.​171.​233/​logs/​AutoNomic.​log |​ ncatlab.​org/​nlab/​show/​computational​+trinitarianism |​ rbjones.​com/​rbjpub/​logic/​cl/​tlc001.​htm |​ www.​cse.​chalmers.​se/​research/​group/​logic/​book/​book.​pdf
network: freenode  –  irc2go: #AutoNomic

#joehotlogic SpigotMC

6 users – 84 minutes ago – Ofishual chanel 2 diskus n link le logic of joehot200 n affliliatez :: Git: http:/​/​git.​yawk.​at/​?p=​jhq-server.​git;a=​tree (send PR patches to Literallie or Suddenly) :: Type ​+joehot for an instant quote! :: Ping Literallie if the bot doesn't work
chat category: Logicnetwork: SpigotMC  –  irc2go: #joehotlogic

#oyatsu Rizon

39 users – 102 minutes ago – Oyatsu Fansubs |​|​ Site: http:/​/​oyatsu-jikan.​org/​ |​|​ Latest Release(s): Bang Dream! 14 OVA,​ Denpa Kyoushi 03,​ Luck & Logic 06,​ Planetarian 02,​ Robomasters 02 |​|​ XDCC Triggers: !list,​ @​find |​|​ We're 6 Years Old,​ yay! |​|​
chat category: Tsunetwork: Rizon  –  irc2go: #oyatsu
<    1    2    3   >

  

 Top IRC networks 
   IRCnet
   Ø 27546
   EFnet
   Ø 19477
   QuakeNet
   Ø 18506
   Undernet
   Ø 17113
   Rizon
   Ø 15180
   OFTC
   Ø 12375
   Chatzona
   Ø 7743
   DALnet
   Ø 7170
   IRC-Hispano
   Ø 6641
   freenode
   non-competitive

Chat Directory
Asia Chat
Australia Chat
Europe Chat
India Chat
USA Chat
. . .

0.0674 seconds
© 1998-2018 netsplit.de  de    IRC Online Chat
This website is being developed in Heusenstamm, Germany.